TOP Page >  Faculty List by School >  Profile

Lab
情報研究棟IS Building II 5F
TEL:0761-51-1111
To Lab's Site
 

English

Full text / JAIST Repository

 

 

Takako Nemoto Assistant Professor
School of Information Science、Intelligent Robotics Area

■Degrees

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)

■Specialties

Mathematical Logic, Constructive Mathematics

■Research Keywords

Reverse Mathematics, Intuitionistic Logic, Constructive Mathematics

■Publications

◇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-