ホーム > 西村泰一/ Nishimura, Hirokazu

西村泰一

ALUMNI 2025年4月現在、筑波大学が主たる所属機関ではありません

Nishimura, Hirokazu

数理物質系 , 講師
Faculty of Pure and Applied Sciences , Assistant Professor

41. Empirical Set Theory 西村, 泰一
International Journal of Theoretical Physics 32: 1293-1321 (1993)
42. On a Duality between Boolean Valued Analysis and Topological Reduction Theory 西村, 泰一
Mathematical Logic Quartery 39: 23-32 (1993)
43. Boolean Transfer from Coherent Quantum Logics to luantum Logics with continous superselection Rules 西村, 泰一
International Journal of Theoretical Physics 31: 855-869 (1992)
44. Boolean Valued Lie Algebras 西村, 泰一
The Journal of symbolic Logic 56: 731-741 (1991)
45. Some Connections between Boolean valued analysis and topological reduction theory fo C^*-Algebras 西村, 泰一
Zeitschr. f. Math. Logik und Grundlagen d. Math. 36: 471-479 (1990)
46. An approach to the Dimension Theory of Continuous Geometry from the Standpoint of Boolean valued Analysis 西村, 泰一
Publications RIMS Kyoto University 20: 1091-1101 (1984)
47. Sequential Method in Quantum Logic 西村, 泰一
The Journal of Symbolic Logic 45: 339-352 (1980)
48. Interval Logics with Applications to Study of Tense and Aspect in English 西村, 泰一
Publications RIMS, Kyoto University 16: 417-459 (1980)
49. Descriptively Complete Process Logic 西村, 泰一
Acta Informatica 14: 359-369 (1980)
50. Sequential Method in Propositional Dynamic Logic 西村, 泰一
Acta Informatica 12: 377-400 (1979)

1. Emerging Topics in Differential Geometry and Graph Theory 西村, 泰一
Nova Publishing Company 2009年1月
2. A Lost Mathematician, Takeo Nakazawa: The Forgotten Father of Matroid Theory Hirokazu, Nishimura; Susumu Kuroda
Birkhauser 2009年1月
3. Handbook of Quantum Logic and Quantum Structures 西村, 泰一
Elsevier 2008年1月
4. 筑波大学数学系は今日もbuzzing ! 蜀山人
Hon's ペンギン 2007年1月

講演・口頭発表情報はまだありません。

知財情報はまだありません。

560 total views