TOP Page >  Faculty List by Area >  Profile

Lab
¾ðÊ󸦵æÅïIS Building £É£É¡¡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

  • Recursion theory in constructive mathematics¡¤Takako Nemoto¡¤Asian Logic Conference¡¤Daejoen, South Korea¡¤July 2017
  • Finite sets and infinite sets in constructive reverse mathematics¡¤Takako Nemoto¡¤SotFoM4: Reverse Mathematics¡¤Munich, Germany¡¤October 2017
  • Intermediate value theorem and WKL for convex tree¡¤Takako Nemoto¡¤Interval Analysis and Constructive Mathematics¡¤Oaxaca, Mexico¡¤November 2016

Display All

¢£Extramural Activities

¡þAcademic Society Affiliations

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