根元 多佳子 (Takako Nemoto)助教
情報科学系,知能ロボティクス領域
◆学位
東北大学学士(理学)(2004),東北大学修士(理学)(2006),東北大学博士(理学)(2009)
◆職歴
: オランダ数学研究所研究員(2006),日本学術振興会特別研究員(DC2)(2007),東北大学理学部ティーチングアシスタント(2008)
: 東北学院大学工学部非常勤講師(2009),北陸先端科学技術大学院大学研究員(2009),ベルン大学研究員(2010)
◆専門分野
数学基礎論、構成的数学
◆研究キーワード
逆数学, 直観主義論理, 構成的数学

■研究業績

◆発表論文
The binary expansion and the intermediate value theorem in constructive reverse mathematics
Berger J, Ishihara H, Kihara T, Nemoto T.
Archive for Mathematical Logic, 58, 1-2, 203-217, 2019
Equivalents of the finitary non-deterministic inductive definitions
Hirata A, Ishihara H, Kawai T, Nemoto T.
Annals of Pure and Applied Logic, -, 2019
A note on the independence of premiss rule
Ishihara H, Nemoto T.
Mathematical Logic Quarterly, 62, 1-2, 72-76, 2016
Some principles weaker than Markov’s principle
Fujiwara M, Ishihara H, Nemoto T.
Archive for Mathematical Logic, 54, 7-8, 861-870, 2015
Generalized geometric theories and set-generated classes
Aczel P, Ishihara H, Nemoto T, Sangu Y.
Mathematical Structures in Computer Science, 29, 5, -, 2014
◆講演・口頭発表
Some properties of function spaces in reverse mathematics
Takako Nemoto
Das Kontinuum – 100 years later, Leeds (UK), 2018/09
Finite sets and infinite sets in weak intuitionistic arithmetic
Takako Nemoto
Chinese Logic annual meeting, Duyun (China), 2018/05
Finite sets and infinite sets in constructive reverse mathematics
Takako Nemoto
SotFoM4: Reverse Mathematics, Munich, Germany, 2017/10
Recursion theory in constructive mathematics
Takako Nemoto
Asian Logic Conference, Daejoen, South Korea, 2017/07
Intermediate value theorem and WKL for convex tree
Takako Nemoto
Interval Analysis and Constructive Mathematics, Oaxaca, Mexico, 2016/11

■担当講義

基礎論理数学, 数理論理学(E)

■学外活動

◆所属学会
Association for Symbolic Logic, 日本数学会, Computability in Europe