You are here

Nishimura Hirokazu

Affiliation
Faculty of Pure and Applied Sciences
Official title
Assistant Professor
Research fields
Geometry
Mathematical physics/Fundamental condensed matter physics
Research keywords
nilpotent infinitesimals
topos theory
constructive mathematics
category theory
Research projects
synthetic differetial geometry -- (current)/
Academic background
-- 1976Kyoto University Faculty of Science 生物物理学
-- 1978Kyoto University Graduate School, Division of Natural Science 数理解析
Academic societies
-- (current)American Mathematical Society
-- (current)日本数学会
Honors & Awards
2012Distinguished Reviewer of Zentralblatt MATH
Articles
  • Axiomatic differential geometry III-3-its landscape-chapter 3:the old kingdom of differential geometers
    Nishimura Hirokazu
    Applied Mathematics/pp.835-845, 2017
  • From Lie Algebras to Lie Groups within Synthetic Differential Geometry
    西村 泰一
    Mathematics for Applications/2(2)/pp.135-151, 2013-6
  • From the Biot-Savart Law to Ampere's Circuital Law via Synthetic Differenitial GeometryG
    西村 泰一
    Far East Journal of Mathematical Sciences/87(2)/pp.207-223, 2014-5
  • Axiomatic differential geometry II-2, differential forms
    Nishimura Hirokazu
    Mathematics for Applications/2(1)/pp.43-60, 2013-6
  • The Baker-Campbell-Hausdorff formula and the Zassenhaus formula in synthetic differential geometry
    Nishimura Hirokazu
    Mathematics for Applications/2(1)/pp.61-91, 2013-6
  • Axiomatic differential geometry II-1, vector fields
    西村 泰一
    Mathematica for Applications/1(2)/pp.183-195, 2012-12
  • Axiomatic differential geometry I-1, towards model categories of differential geometry
    Nishimura Hirokazu
    Mathematics for Applications/1(2)/pp.171-182, 2012-12
  • On a Duality between Boolean Valued Analysis and Topological Reduction Theory
    西村 泰一
    Mathematical Logic Quartery/39(1)/p.23-32, 1993-01
  • On the Duality between Boolean-valued Analysis and Reduction Theory under the Assumption of Separability
    西村 泰一
    International Journal of Theoretical Physics/32(3)/p.443-488, 1993-01
  • Proof Theory for Minimal Quantum Logic I
    西村 泰一
    International Journal of Theoretical Physics/33(1)/p.103-113, 1994-01
  • Proof Theory for Minimal Quantum Logic II
    西村 泰一
    International Journal of Theoretical Physics/33(7)/p.1427-1443, 1994-01
  • Manuals in Orthogonal Categories
    西村 泰一
    International Journal of Theoretical Physics/34(2)/p.211-228, 1995-01
  • Empirical Sets
    西村 泰一
    International Journal of Theoretical Physics/34(2)/p.229-252, 1995-01
  • The logical quantization of differential geometry
    西村 泰一
    International Journal of Theoretical Physics/35(1)/p.3-30, 1996-01
  • Logical quantizations of first-order structures
    西村 泰一
    International Journal of Theoretical Physics/35(3)/p.495-517, 1996-01
  • Empirical quantum mechanics
    西村 泰一
    International Journal of Theoretical Physics/35(6)/p.1175-1200, 1996-01
  • Theory of Microcubes
    西村 泰一
    International Journal of Theoretical Physics/36(5)/p.1099-1131, 1997-01
  • Nonlinear connections synthetic defferential geometry
    西村 泰一
    Journal of Pure and Applied algebra/131/p.49-77, 1998-01
  • Infinitesimal calculus of variations
    西村 泰一
    International Journal of Theoretical Physics/38(6)/p.1771-1782, 1999-01
  • General gacobi identity revisited
    西村 泰一
    International Journal of Theoretical Physics/38(8)/p.2163-2174, 1999-01
  • Another curvature in synthetic differential geometry
    西村 泰一
    Bulletin of Belgian Mathematical Society/7(2)/p.161-171, 2000-01
  • Supersmooth topoi
    西村 泰一
    International Journal of Theoretical Physics/39(5)/p.1221-1231, 2000-01
  • The first Bianchi identity in synthetic differential geometry
    西村 泰一
    Journal of Pure and Applied Algebra/160(2-3)/p.263-274, 2001-01
  • Synthetic braided geometry (]G0002[)
    西村 泰一
    International Journal of Theoretical Physics/40(7)/p.1363-1385, 2001-01
  • Synthetic differential geometry of higher-order total differentials
    Hirokazu Nishimura
    Cahiers de topologie et geometrie differentiells categoriques/47(2)/p.129-154, 2006-01
Books
  • 筑波大学数学系は今日もbuzzing !
    蜀山人
    2007-01
  • Handbook of Quantum Logic and Quantum Structures
    西村 泰一
    2008-01
  • A Lost Mathematician, Takeo Nakazawa: The Forgotten Father of Matroid Theory
    Hirokazu Nishimura Susumu Kuroda
    2009-01
  • Emerging Topics in Differential Geometry and Graph Theory
    西村 泰一
    2009-01
Works
  • Japan 2020
    西村 泰一
  • 遐幽の過去からの来訪者
    西村 泰一
  • The Evanescent Ambition of the Great Empire of Japan
    西村 泰一
  • An Extravaganza of Mathematicians
    西村 泰一
  • Born in this Planet
    西村 泰一
  • Soaring High
    西村 泰一
  • The Emerging Universe
    西村 泰一
  • 大日本帝国の落日
    西村 泰一
Teaching
2017-10 -- 2018-02Research in Mathematical Science IVBUniversity of Tsukuba.
2017-10 -- 2018-02Research in Mathematical Science VBUniversity of Tsukuba.
2017-04 -- 2017-08Research in Mathematical Science IBUniversity of Tsukuba.
2017-04 -- 2017-08Research in Mathematical Science IIIBUniversity of Tsukuba.
2017-04 -- 2017-08Research in Mathematical Science VBUniversity of Tsukuba.
2017-04 -- 2017-08Research in Mathematical Science IVAUniversity of Tsukuba.
2017-10 -- 2018-02Research in Mathematical Science IVAUniversity of Tsukuba.
2017-10 -- 2018-02Research in Mathematical Science IIIAUniversity of Tsukuba.
2017-10 -- 2018-02Research in Mathematical Science IIAUniversity of Tsukuba.
2017-10 -- 2018-02Research in Mathematical Science IAUniversity of Tsukuba.
Other activities
-- (current)http://ocw.tsukuba.ac.jp/iv-1-751f72695b667fa4/5fae7a4d5206-1 http://ocw.tsukuba.ac.jp/iv-1-751f72695b667fa4/5fae7a4d5206 http://ocw.tsukuba.ac.jp/25a0-iv-2-751f72698cc76e905b66985e/57fa790e65705b66-1 http://ocw.tsukuba.ac.jp/25a0-iv-2-751f72698cc76e905b66985e/57fa790e65705b66

(Last updated: 2017-06-30)