Rchr
J-GLOBAL ID：200901096693287974
Update date: Jun. 06, 2024
Ishihara Hajime
イシハラ ハジメ | Ishihara Hajime
Affiliation and department：
Job title：
Visiting Professor
Research field (2)：
Applied mathematics and statistics
, Basic mathematics
Research keywords (3)：
構成的数学
, 数理論理学
, 計算論
Research theme for competitive and other funds (11)：
- 2022 - 2026 Duality in Banach spaces and uniform spaces in constructive and predicative set theory
- 2021 - 2026 Constructive reverse mathematics and computational content of mathematical theorems
- 2015 - 2020 Foundation of a Global Core Research Center for Mathematical Logic and its Applications
- 2016 - 2019 A study of sheaf models in constructive reverse mathematics
- 2011 - 2013 Reverse Mathematics in Constructive Set Theory
- 2007 - 2009 Reverse Mathematics in Constructive Mathematics
- 2006 - 2008 構成的逆数学の研究
- 2003 - 2006 Computability and Complexity in Constructive Mathematics
- 2001 - 2003 Logic of Limit Computing and its Applications
- 1997 - 2000 Subrecursive Realizability Interpretation for Intuitionistic Arithmetic
- 1996 - 1997 Applications of Mathematical Logic in Theoretical Computer Science
Show all
Papers (93)：
-
MAKOTO FUJIWARA, HAJIME ISHIHARA, TAKAKO NEMOTO, NOBU-YUKI SUZUKI, KEITA YOKOYAMA. EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES. The Bulletin of Symbolic Logic. 2023. 29. 3. 311-353
-
Hajime Ishihara. An Introduction to Constructive Reverse Mathematics. Handbook of Constructive Mathematics. 2023. 636-660
-
Hajime Ishihara. Constructive Functional Analysis. Handbook of Constructive Mathematics. 2023. 221-254
-
Hajime Ishihara. Elements of Constructive Analysis. Handbook of Constructive Mathematics. 2023. 201-220
-
Josef Berger, Hajime Ishihara, Takako Nemoto. Varieties of the Weak Kőnig Lemma and the Disjunctive Dependent Choice. Mathematics for Computation (M4C). 2023. 143-164
ｍore...
Books (2)：
-
Handbook of Constructive Mathematics (Encyclopedia of Mathematics and its Applications)
2023 ISBN:9781316510865
-
証明作法: 論理の初歩から証明の実践へ
共立出版 2023 ISBN:9784320114890
Lectures and oral presentations (49)：
-
Constructive uniform spaces
(Proof, Argumentation, Computation, Modalities and Negation 2024)
-
Reverse mathematics in constructive and predicative set theory
(MSJ Spring Meeting 2024)
-
構成的数学の景色
(Logic Winter School 2023 2023)
-
Reflexive combinatory algebras
(AVM 2023, Arbeitstagung Verona-München 2023)
-
Reductio ad absurdum
(4th Workshop on Proof Theory and its Applications 2022)
ｍore...
Education (3)：
- 1987 - 1988 Tokyo Institute of Technology Graduate School of Science and Engineering
- 1985 - 1987 Tokyo Institute of Technology Graduate School of Science and Engineering
- 1976 - 1980 Tokyo Institute of Technology School of Science Dept. of Information Science
Professional career (3)：
- B.S. (Tokyo Institute of Technology)
- M.S. (Tokyo Institute of Technology)
- Ph.D. (Tokyo Institute of Technology)
Work history (9)：
- 2023/10 - 現在 Toho University Faculty of Science Visiting Professor
- 2023/04 - 現在 Japan Advanced Institute of Science and Technology
- 2010/04 - 2023/03 Japan Advanced Institute of Science and Technology Graduate School of Advanced Science and Technology Professor
- 2012/07 - 2012/09 University of Canterbury Department of Mathematics and Statistics
- 1992/04 - 2010/03 Japan Advanced Institute of Science and Technology School of Information Science Associate Professor
- 2004/10 - 2004/12 Ludwig-Maximilians-Universität München Mathematisches Institut
- 1993/02 - 1993/11 Cornell University Mathematical Sciences Institute
- 1988/10 - 1992/03 Hiroshima University School of Integrated Arts and Sciences Associate
- 1980/04 - 1984/03 Mitsubishi Research Institute, Inc.
Show all
Committee career (4)：
- 2017/01 - 現在 Mathematical Logic Quarterly Editorial Board
- 2016/01 - 現在 Computability Editorial Board
- 2017/12 - 2020/11 日本学術振興会 科学研究費委員会専門委員(2段階書面審査審査委員)
- 2008/12 - 2009/11 日本学術振興会 科学研究費委員会第1段審査(書面審査)委員
Association Membership(s) (1)：
Association for Symbolic Logic
