TOP Page >  Faculty List by Area >  Profile

¾ðÊ󸦵æÅïIS Building £É£É¡¡5F
To Lab's Site


Full text / JAIST Repository



Takako Nemoto Assistant Professor
School of Information Science¡¢Intelligent Robotics Area


B.S. from Tohoku Univeristy(2004), M.S. from Tohoku University(2006), Ph.D. from Tohoku University(2009)

¢£Professional Career

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)


Mathematical Logic, Constructive Mathematics

¢£Research Keywords

Reverse Mathematics, Intuitionistic Logic, Constructive Mathematics


¡þPublished Papers

  • Weak weak König's lemma in constructive reverse mathematics¡¤T. Nemoto¡¤Proceeding of the 10th Asian Logic Conference¡¤pp. 263 - 270
  • Determinacy of Wadge classes and subsystems of second order arithmetic¡¤T. Nemoto¡¤Mathematical Logic Quarterly¡¤Volume 55¡¤Issue 2¡¤pp. 154 - 176
  • Complete determinacy and subsystems of second order arithmetic¡¤T. Nemoto¡¤,Arnold Beckmann, Costas Dimitracopoulos, and Benedikt Löwe (eds.): Logic and Theory of Algorithms, Fourth Conference on Computability in Europe, CiE 2008, Athens, Greece, June 2008, Proceedings, Lecture Notes in Computer Science 5028¡¤pp. 457 - 466

Display All

¡þLectures and Presentations

  • Finite sets and infinite sets in weak intuitionistic arithmetic¡¤Takako Nemoto¡¤Chinese Logic annual meeting¡¤Duyun (China)¡¤May 2018
  • Some properties of function spaces in reverse mathematics¡¤Takako Nemoto¡¤Das Kontinuum – 100 years later¡¤Leeds (UK)¡¤September 2018
  • Recursion theory in constructive mathematics¡¤Takako Nemoto¡¤Asian Logic Conference¡¤Daejoen, South Korea¡¤July 2017

Display All

¢£Extramural Activities

¡þAcademic Society Affiliations

  • Association for Symbolic Logic¡¤2008-
  • the Mathematical Society of Japan¡¤2007-