石原哉

イシハラハジメ | Ishihara Hajime

所属機関・部署：
職名：訪問教授

研究分野 (2件)：応用数学、統計数学 , 数学基礎

研究キーワード (3件)：構成的数学 , 数理論理学 , 計算論

競争的資金等の研究課題 (11件)：

全件表示

論文 (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

講演・口頭発表等 (54件)：

A constructive theory of uniformity and its application to integration theory
(LLAL@GSIS (X) 2025)
Uniform spaces and integration theory
(Autumn school "Proof and Computation")
A constructive theory of uniform spaces and its application to integration theory
(Categorical Logic and Constructive Mathematics 2024)
A constructive theory of uniform spaces and its application to integration theory
(LLAL@GSIS (IV) 2024)
構成的・可述的集合論
(数学基礎論サマースクール 2024)

学歴 (3件)：

学位 (3件)：

経歴 (9件)：

全件表示

委員歴 (5件)：

2025/04 - 現在 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 編集委員
2016/01 - 現在 Computability 編集委員
2017/01 - 2025/04 Mathematical Logic Quarterly 編集委員
2017/12 - 2020/11 日本学術振興会科学研究費委員会専門委員(2段階書面審査審査委員)
2008/12 - 2009/11 日本学術振興会科学研究費委員会第1段審査(書面審査)委員

所属学会 (1件)：

Association for Symbolic Logic

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

石原 哉