根元 多佳子

J-GLOBALへ         更新日: 19/09/18 02:46
 
アバター
研究者氏名
根元 多佳子
eメール
nemototakakogmail.com
所属
北陸先端科学技術大学院大学
部署
先端科学技術研究科
学位
東北大学学士(理学)(2004),東北大学修士(理学)(2006),東北大学博士(理学)(2009)

経歴

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

論文

 
Berger J, Ishihara H, Kihara T, Nemoto T.
Archive for Mathematical Logic   58(1-2) 203-217   2019年   [査読有り]
Hirata A, Ishihara H, Kawai T, Nemoto T.
Annals of Pure and Applied Logic      2019年   [査読有り]
Ishihara H, Nemoto T.
Mathematical Logic Quarterly   62(1-2) 72-76   2016年   [査読有り]
Fujiwara M, Ishihara H, Nemoto T.
Archive for Mathematical Logic   54(7-8) 861-870   2015年   [査読有り]
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   2018年9月   
Finite sets and infinite sets in weak intuitionistic arithmetic [招待有り]
Takako Nemoto
Chinese Logic annual meeting   2018年5月   
Finite sets and infinite sets in constructive reverse mathematics [招待有り]
Takako Nemoto
SotFoM4: Reverse Mathematics   2017年10月   
Recursion theory in constructive mathematics [招待有り]
Takako Nemoto
Asian Logic Conference   2017年7月   
Intermediate value theorem and WKL for convex tree
Takako Nemoto
Interval Analysis and Constructive Mathematics   2016年11月   

担当経験のある科目