石原哉

イシハラハジメ | Ishihara Hajime

所属機関・部署：
職名：訪問教授
ホームページURL (1件)： http://www.jaist.ac.jp/~ishihara

研究分野 (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

講演・口頭発表等 (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件)：

学位 (3件)：

経歴 (9件)：

全件表示

委員歴 (4件)：

所属学会 (1件)：

Association for Symbolic Logic

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

石原 哉