北陸先端科学技術大学院大学 [JAIST] - 研究者総覧
現在ページ トップページ 領域別一覧表> 研究者紹介

研究者紹介

研究室
情報研究棟IS Building II 5F
TEL:0761-51-1111
研究室ホームページ
 

Japanese

リポジトリ公開資料

共同研究等のお問い合わせは, 産学官連携総合推進センター

 

 

根元 多佳子 (ネモト タカコ) 助教
情報科学系、知能ロボティクス領域

■学位

東北大学学士(理学)(2004),東北大学修士(理学)(2006),東北大学博士(理学)(2009)

■職歴

オランダ数学研究所研究員(2006),日本学術振興会特別研究員(DC2)(2007),東北大学理学部ティーチングアシスタント(2008),東北学院大学工学部非常勤講師(2009),北陸先端科学技術大学院大学研究員(2009),ベルン大学研究員(2010)

■専門分野

数学基礎論、構成的数学

■研究テーマのキーワード

逆数学、直観主義論理、構成的数学

■研究業績

◇発表論文

  • 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

全件表示

◇講演発表

  • 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

全件表示

■担当講義

グラフとオートマトン理論

■学外活動

◇所属学会

  • Computability in Europe,会員,2015-
  • Association for Symbolic Logic,2008-
  • 日本数学会,2007-

■共同研究等希望テーマ

  • 二階算術の比較的強い体系の証明論的強さの研究