研究者
J-GLOBAL ID:200901096693287974
更新日: 2024年02月02日
石原 哉
イシハラ ハジメ | Ishihara Hajime
所属機関・部署:
職名:
訪問教授
ホームページURL (1件):
http://www.jaist.ac.jp/~ishihara
研究分野 (2件):
応用数学、統計数学
, 数学基礎
研究キーワード (3件):
構成的数学
, 数理論理学
, 計算論
競争的資金等の研究課題 (11件):
- 2022 - 2026 構成的・可述的集合論におけるBanach空間の双対性と一様空間
- 2021 - 2026 構成的逆数学の新たな展開と数学定理の計算論的意味の解明
- 2015 - 2020 数理論理学とその応用の国際研究拠点形成
- 2016 - 2019 層モデルを用いた構成的逆数学の研究
- 2011 - 2013 構成的集合論における逆数学の研究
- 2007 - 2009 構成的数学における逆数学の研究
- 2006 - 2008 構成的逆数学の研究
- 2003 - 2006 構成的数学における計算可能性と計算の複雑さに関する研究
- 2001 - 2003 極限計算の論理とその応用
- 1997 - 2000 構成的算術体系に対する部分帰納的実現可能性解釈の研究
- 1996 - 1997 理論計算機科学における数理論理学の応用
全件表示
論文 (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
もっと見る
書籍 (2件):
-
Handbook of Constructive Mathematics (Encyclopedia of Mathematics and its Applications)
Cambridge University Press 2023 ISBN:9781316510865
-
証明作法: 論理の初歩から証明の実践へ
共立出版 2023 ISBN:9784320114890
講演・口頭発表等 (47件):
-
構成的数学の景色
(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)
-
Reverse mathematics in constructive set theory
(Autumn school "Proof and Computation" 2022)
-
Place holders
(International Conference on Applied Proof Theory 2022 2022)
もっと見る
学歴 (3件):
- 1987 - 1988 東京工業大学 大学院理工学研究科 情報科学専攻 博士課程
- 1985 - 1987 東京工業大学 大学院理工学研究科 情報科学専攻 修士課程
- 1976 - 1980 東京工業大学 理学部 情報科学科
学位 (3件):
- 理学士 (東京工業大学)
- 理学修士 (東京工業大学)
- 理学博士 (東京工業大学)
経歴 (9件):
- 2023/10 - 現在 東邦大学 理学部 訪問教授
- 2023/04 - 現在 北陸先端科学技術大学院大学
- 2010/04 - 2023/03 北陸先端科学技術大学院大学 先端科学技術研究科 教授
- 2012/07 - 2012/09 カンタベリー大学 数学・統計学科
- 1992/04 - 2010/03 北陸先端科学技術大学院大学 情報科学研究科 助教授
- 2004/10 - 2004/12 ルートヴィッヒ・マキシミリアン大学ミュンヘン 数学科
- 1993/02 - 1993/11 コーネル大学 数理科学研究所
- 1988/10 - 1992/03 広島大学 総合科学部 助手
- 1980/04 - 1984/03 株式会社三菱総合研究所
全件表示
委員歴 (4件):
- 2017/01 - 現在 Mathematical Logic Quarterly 編集委員
- 2016/01 - 現在 Computability 編集委員
- 2017/12 - 2020/11 日本学術振興会 科学研究費委員会専門委員(2段階書面審査審査委員)
- 2008/12 - 2009/11 日本学術振興会 科学研究費委員会第1段審査(書面審査)委員
所属学会 (1件):
Association for Symbolic Logic
前のページに戻る