Takako Nemoto

J-GLOBAL         Last updated: Sep 18, 2019 at 02:46
Takako Nemoto
Japan Advanced Institute of Science and Technology
B.S. from Tohoku Univeristy(2004), M.S. from Tohoku University(2006), Ph.D. from Tohoku University(2009)

Academic & Professional Experience

Research fellowship at Mathematical Research Institute, Utrecht, Netherlands (2006), Research Fellow of Japan Society for the Promotion of Science(DC2)(2007), Teaching Assistant at Tohoku University(2008)
Part-time Lecturer at Tohoku Gakuin University(2009), Researcher at Japan Advanced Institute of Science and Technology(2009), Research Assistant at University of Bern(2010)

Published Papers

Berger J, Ishihara H, Kihara T, Nemoto T.
Archive for Mathematical Logic   58(1-2) 203-217   2019   [Refereed]
Hirata A, Ishihara H, Kawai T, Nemoto T.
Annals of Pure and Applied Logic      2019   [Refereed]
Ishihara H, Nemoto T.
Mathematical Logic Quarterly   62(1-2) 72-76   2016   [Refereed]
Fujiwara M, Ishihara H, Nemoto T.
Archive for Mathematical Logic   54(7-8) 861-870   2015   [Refereed]
Aczel P, Ishihara H, Nemoto T, Sangu Y.
Mathematical Structures in Computer Science   29(5)    2014   [Refereed]

Conference Activities & Talks

Some properties of function spaces in reverse mathematics [Invited]
Takako Nemoto
Das Kontinuum – 100 years later   Sep 2018   
Finite sets and infinite sets in weak intuitionistic arithmetic [Invited]
Takako Nemoto
Chinese Logic annual meeting   May 2018   
Finite sets and infinite sets in constructive reverse mathematics [Invited]
Takako Nemoto
SotFoM4: Reverse Mathematics   Oct 2017   
Recursion theory in constructive mathematics [Invited]
Takako Nemoto
Asian Logic Conference   Jul 2017   
Intermediate value theorem and WKL for convex tree
Takako Nemoto
Interval Analysis and Constructive Mathematics   Nov 2016   

Teaching Experience