石原 哉

J-GLOBALへ         更新日: 19/10/04 02:50
 
アバター
研究者氏名
石原 哉
 
イシハラ ハジメ
URL
http://www.jaist.ac.jp/~ishihara
所属
北陸先端科学技術大学院大学
部署
先端科学技術研究科
職名
教授
学位
理学士(東京工業大学), 理学修士(東京工業大学), 理学博士(東京工業大学)

研究分野

 
 

経歴

 
 
   
 
(株)三菱総合研究所 (1980),広島大学総合科学部助手 (1988),北陸先端科学技術大学院大学情報科学研究科助教授(1992)
 

学歴

 
 
 - 
1987年
東京工業大学 理工学研究科 情報科学専攻
 
 
 - 
1980年
東京工業大学 理学部 情報科学科
 

論文

 
Hajime Ishihara,Maria Emilia Maietti,Samuele Maschio,Thomas Streicher
Arch. Math. Log.   57(7-8) 873-888   2018年   [査読有り]
Hajime Ishihara,Margarita V. Korovina,Arno Pauly,Monika Seisenberger,Dieter Spreen
Mathematical Structures in Computer Science   27(8) 1285-1286   2017年   [査読有り]
Hajime Ishihara,Helmut Schwichtenberg
Math. Log. Q.   62(1-2) 94-101   2016年   [査読有り]
Hajime Ishihara,Takako Nemoto
Math. Log. Q.   62(1-2) 72-76   2016年   [査読有り]
Hajime Ishihara,Tatsuji Kawai
Mathematical Structures in Computer Science   25(8) 1626-1648   2015年   [査読有り]

講演・口頭発表等

 
A monad on the combinatory algebras [招待有り]
Hajime Ishihara
Operations, Sets, and Types   2016年4月18日   
Constructive reverse mathematics: an introduction and recent results [招待有り]
Hajime Ishihara
Frontiers of Non-Classicality: Logic, Mathematics, Philosophy   2016年1月26日   
Constructive reverse mathematics and omniscience pringiples [招待有り]
Hajime Ishihara
14th Asian Logic Conference   2015年1月5日   
Intuitionistic logic and reverse mathematics [招待有り]
Hajime Ishihara
Proof, Truth, Computation: Summer School on the Interactions between Modern Foundations of Mathematics and Contemporary Philosophy   2014年7月21日   
A monad in the combinatory algebras [招待有り]
Hajime Ishihara
Correctness by Construction CORCON 2014 Workshop   2014年3月24日   

担当経験のある科目

 
 

競争的資金等の研究課題

 
構成的数学
数理論理学
計算論

社会貢献活動

 
Workshop on Constructive Aspects of Logic and Mathematics
【】  Japan Advanced Institute of Science and Technology, School of Information Science, Associate Professor Hajime Ishihara  (Kanazawa)  2010年3月8日 - 2010年3月12日
Workshop on Constructivism: Logic and Mathematics
【】  Japan Advanced Institute of Science and Technology, School of Information Science, Associate Professor, Hajime Ishihara  (Kanazawa)  2008年5月26日 - 2008年5月30日