ISHIHARA Hajime

J-GLOBAL         Last updated: Oct 4, 2019 at 02:50
 
Avatar
Name
ISHIHARA Hajime
Affiliation
Japan Advanced Institute of Science and Technology
Section
School of Information Science, Department of Information Science
Degree
B.S., M.S. and Ph.D.from Tokyo Institute of Technology (1980,1987,1990)

Academic & Professional Experience

 
 
   
 
Researcher at Mitsubishi Research Institute, Inc. (1980), Associate at Hiroshima University (1988), Associate Professor at Japan Advanced Institute of Science and Technology (1992)
 

Published Papers

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

Conference Activities & Talks

 
A monad on the combinatory algebras [Invited]
Hajime Ishihara
Operations, Sets, and Types   18 Apr 2016   
Constructive reverse mathematics: an introduction and recent results [Invited]
Hajime Ishihara
Frontiers of Non-Classicality: Logic, Mathematics, Philosophy   26 Jan 2016   
Constructive reverse mathematics and omniscience pringiples [Invited]
Hajime Ishihara
14th Asian Logic Conference   5 Jan 2015   
Intuitionistic logic and reverse mathematics [Invited]
Hajime Ishihara
Proof, Truth, Computation: Summer School on the Interactions between Modern Foundations of Mathematics and Contemporary Philosophy   21 Jul 2014   
A monad in the combinatory algebras [Invited]
Hajime Ishihara
Correctness by Construction CORCON 2014 Workshop   24 Mar 2014   

Social Contribution

 
Workshop on Constructive Aspects of Logic and Mathematics
[]  Japan Advanced Institute of Science and Technology, School of Information Science, Associate Professor Hajime Ishihara  (Kanazawa)  8 Mar 2010 - 12 Mar 2010
Workshop on Constructivism: Logic and Mathematics
[]  Japan Advanced Institute of Science and Technology, School of Information Science, Associate Professor, Hajime Ishihara  (Kanazawa)  26 May 2008 - 30 May 2008