FUJIWARA, Makoto

J-GLOBAL         Last updated: Mar 29, 2019 at 02:49
 
Avatar
Name
FUJIWARA, Makoto
Affiliation
Waseda University
Section
Institue for Advanced Study
Degree
Doctor of Science(Tohoku University)
Research funding number
20779095

Academic & Professional Experience

 
Sep 2012
 - 
Mar 2013
Exchange Student, COLABS Program of Tohoku University, Department of Mathematics, T.U. Darmstadt
 
Apr 2014
 - 
Mar 2015
JSPS Research Fellow (DC2), Mathematical Institute, Tohoku University
 
Apr 2015
 - 
Mar 2016
JSPS Research Fellow (PD), School of Information Science, Japan Advanced Institute of Science and Technology
 
Apr 2016
 - 
Mar 2018
Assistant Professor, Waseda Institute for Advanced Study, Waseda University
 
Apr 2018
   
 
Assistant Professor, Waseda Institute for Advanced Study, Waseda University
 

Education

 
Apr 2006
 - 
Mar 2010
Mathematical Institute, B.S., Tohoku University
 
Apr 2010
 - 
Mar 2012
Mathematical Institute, M.S., Tohoku University
 
Apr 2012
 - 
Mar 2015
Mathematical Institute, Ph.D., Tohoku University
 

Published Papers

 
Effective computability and constructive provability for existence sentences
Makoto Fujiwara
The Bulletin of Symbolic Logic   23(2) 241-242   2017   [Refereed]
Accepted
Note on total and partial functions in second-order arithmetic
Makoto Fujiwara and Takashi Sato
RIMS Kôkyûroku   1950 93-97   2015
Classical provability of uniform versions and intuitionistic provability
Makoto Fujiwara and Ulrich Kohlenbach
Mathematical Logic Quarterly   61(3) 132-150   2015   [Refereed]
Intuitionistic provability versus uniform provability in RCA
Makoto Fujiwara
Lecture Notes in Computer Science   9136 186-195   2015   [Refereed]
Some principles weaker than Markov’s principle
Makoto Fujiwara, Hajime Ishihara and Takako Nemoto
Archive for Mathematical Logic   54(7-8) 861-870   2015   [Refereed]

Research Grants & Projects

 
Japan Society for the Promotion of Science: 
Project Year: Apr 2018 - Mar 2020
Uniform computability verified in a mathematically strong system and semi-intuitionistic provability for existence sentences
Project Year: Aug 2016 - Mar 2018
Japan Society for the Promotion of Science: 
Project Year: Aug 2016 - Mar 2018