石原 哉
イシハラ ハジメ (Hajime Ishihara)
更新日: 2025/11/23
基本情報
- 所属
- 東邦大学 理学部 訪問教授
- 学位
-
理学士(1980年3月 東京工業大学)理学修士(1987年3月 東京工業大学)理学博士(1990年3月 東京工業大学)
- J-GLOBAL ID
- 200901096693287974
- researchmap会員ID
- 5000087701
経歴
9-
2023年10月 - 現在
-
2023年4月 - 現在
-
2010年4月 - 2023年3月
-
2012年7月 - 2012年9月
-
1992年4月 - 2010年3月
-
2004年10月 - 2004年12月
-
1993年2月 - 1993年11月
-
1988年10月 - 1992年3月
-
1980年4月 - 1984年3月
学歴
3-
1987年4月 - 1988年9月
-
1985年4月 - 1987年3月
-
1976年4月 - 1980年3月
委員歴
5-
2016年1月 - 現在
-
2017年1月 - 2025年4月
-
2017年12月 - 2020年11月
-
2008年12月 - 2009年11月
論文
93-
The Bulletin of Symbolic Logic 29(3) 311-353 2023年7月26日
-
Handbook of Constructive Mathematics 636-660 2023年4月30日 査読有り
-
Handbook of Constructive Mathematics 221-254 2023年4月30日 査読有り
-
Handbook of Constructive Mathematics 201-220 2023年4月30日 査読有り
-
Mathematics for Computation (M4C) 143-164 2023年4月2日 査読有り招待有り責任著者
-
Journal of Logic and Computation 33(5) 937-960 2022年7月30日
-
Theory and Applications of Computability 347-365 2021年 査読有り招待有り
-
Archive for Mathematical Logic 59(7-8) 793-815 2020年11月 査読有り
-
Annals of Pure and Applied Logic 170(10) 1256-1272 2019年10月 査読有り
-
Mathesis Universalis, Computability and Proof 101-112 2019年 査読有り
-
Archive for Mathematical Logic 58(1-2) 203-217 2019年 査読有り
-
Proof and Computation 109-165 2018年12月 査読有り
-
Indagationes Mathematicae 29(6) 1511-1524 2018年12月 査読有り
-
Archive for Mathematical Logic 57(7-8) 1-16 2018年1月27日 査読有り
-
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 27(8) 1285-1286 2017年12月 査読有り
-
MATHEMATICAL LOGIC QUARTERLY 62(1-2) 94-101 2016年2月 査読有り
-
MATHEMATICAL LOGIC QUARTERLY 62(1-2) 72-76 2016年2月 査読有り
-
CONCEPTS OF PROOF IN MATHEMATICS, PHILOSOPHY, AND COMPUTER SCIENCE 6 163-170 2016年 査読有り
-
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 25(8) 1626-1648 2015年12月 査読有り
-
ARCHIVE FOR MATHEMATICAL LOGIC 54(7-8) 861-870 2015年11月 査読有り
書籍等出版物
2-
Cambridge University Press 2023年4月30日 (ISBN: 9781316510865) -
共立出版 2023年3月25日 (ISBN: 9784320114890)
講演・口頭発表等
54-
LLAL@GSIS (X) 2025年11月14日 招待有り
-
Autumn school "Proof and Computation" 招待有り
-
Categorical Logic and Constructive Mathematics 2024年10月23日 招待有り
-
LLAL@GSIS (IV) 2024年9月21日 招待有り
-
数学基礎論サマースクール 2024年9月18日 招待有り
-
Proof, Argumentation, Computation, Modalities and Negation 2024年3月21日 招待有り
-
日本数学会年会 2024年3月18日 招待有り
-
Logic Winter School 2023 2023年2月20日 招待有り
-
AVM 2023, Arbeitstagung Verona-München 2023年1月18日 招待有り
-
4th Workshop on Proof Theory and its Applications 2022年11月12日 招待有り
-
Autumn school "Proof and Computation" 2022年9月26日 招待有り
-
International Conference on Applied Proof Theory 2022 2022年8月30日
-
Memorial Conference for Erik Palmgren, 1963–2019 2020年11月20日
-
Mathematical Logic and Constructivity: The Scope and Limits of Neutral Constructivism 2019年8月20日 招待有り
-
Hausdorff Trimester Program: Types, Sets and Constructions 2018年7月13日
-
Workshop: Constructive Mathematics 2018年8月7日
-
Proof, Computation, Complexity 2018 2018年7月19日 招待有り
-
Workshop: Proofs and Computation 2018年7月6日
-
手形 L4 研究集会 2018年3月27日
-
third CORE meeting 2018年1月26日
担当経験のある科目(授業)
4所属学協会
1共同研究・競争的資金等の研究課題
11-
日本学術振興会 科学研究費助成事業 基盤研究(C) 基盤研究(C) 2022年4月 - 2026年3月
-
日本学術振興会 科学研究費助成事業 国際共同研究加速基金(国際共同研究強化(B)) 国際共同研究加速基金(国際共同研究強化(B)) 2021年10月 - 2026年3月
-
日本学術振興会 研究拠点形成事業 A. 先端拠点形成型 A. 先端拠点形成型 2015年4月 - 2020年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 基盤研究(C) 2016年4月 - 2019年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 基盤研究(C) 2011年 - 2013年
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 基盤研究(C) 2007年 - 2009年
-
日本学術振興会 科学研究費助成事業 特別研究員奨励費 2006年 - 2008年
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 基盤研究(C) 2003年 - 2006年
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2001年 - 2003年
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 基盤研究(C) 1997年 - 2000年
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 1996年 - 1997年
学術貢献活動
25-
企画立案・運営等(Dagstuhl, Germany) 2024年1月7日 - 2024年1月12日
-
企画立案・運営等(Marseille, France) 2023年5月1日 - 2023年5月5日
-
企画立案・運営等(Dagstuhl, Germany) 2021年11月21日 - 2021年11月26日
-
企画立案・運営等2020年9月9日 - 2020年9月11日
-
企画立案・運営等(Stockholm, Sweden) 2019年8月20日 - 2019年8月23日
-
企画立案・運営等(Nancy, France) 2019年3月11日 - 2019年3月14日
-
企画立案・運営等(東京) 2015年7月12日 - 2015年7月15日
-
企画立案・運営等(Ljubljana, Slovenia) 2014年9月15日 - 2014年9月19日