北陸先端科学技術大学院大学 [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

全件表示

◇講演発表

  • 二階算術における無限ゲームの決定性,根元 多佳子,日本数学会秋季総合分科会,京都産業大学,13-15 September 2015
  • Determinacy of Infinite Games and Reverse Mathematics: Complexity of Winning Strategies,Takako Nemoto,Special session of Reverse Mathematics, Computability in Europe 2015,Bucharest, Romania,29 June-3 July, 2015
  • A marriage of Brouwer's intuitionism and Hilbert's finitism,Takako Nemoto,JAIST Logic Workshop Series 2015, Constructivism and Computability,Kanazawa,2-6 March, 2015

全件表示

■担当講義

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

■学外活動

◇所属学会

  • Association for Symbolic Logic,2008-
  • 日本数学会,2007-

■共同研究等希望テーマ

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