根元 多佳子
Takako Nemoto
更新日: 01/22
基本情報
- 所属
- 東北大学 大学院情報科学研究科 システム情報科学専攻
- 学位
-
東北大学学士（理学）（2004），東北大学修士（理学）（2006），東北大学博士（理学）（2009）
- J-GLOBAL ID
- 201901014112863598
- researchmap会員ID
- B000363255
研究分野
1経歴
6-
2020年4月 - 2023年3月
-
2012年4月 - 2020年3月
-
2010年4月 - 2012年3月
-
2009年10月 - 2010年3月
-
2009年4月 - 2009年8月
論文
17-
Computability 1-8 2024年4月2日 査読有り
-
The Bulletin of Symbolic Logic 29(3) 1-42 2023年7月26日 査読有り
-
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 381(2248) 2023年4月10日 査読有り招待有り
-
Mathematics for Computation (M4C) 143-164 2023年4月2日 査読有り
-
Archive for Mathematical Logic 59(7-8) 793-815 2020年11月 査読有り
-
Archive for Mathematical Logic 59(5-6) 607-657 2020年8月1日 査読有り
-
Annals of Pure and Applied Logic 170(10) 1256-1272 2019年10月 査読有り
-
Mathesis Universalis, Computability and Proof 101-112 2019年 査読有り
-
Archive for Mathematical Logic 58(1-2) 1-15 2018年5月10日 査読有り
-
MATHEMATICAL LOGIC QUARTERLY 62(1-2) 72-76 2016年2月 査読有り
-
CONCEPTS OF PROOF IN MATHEMATICS, PHILOSOPHY, AND COMPUTER SCIENCE 6 163-170 2016年 査読有り
-
Archive for Mathematical Logic 54(7-8) 861-870 2015年11月 査読有り
-
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 25(7) 1466-1483 2015年10月 査読有り
-
Proceedings of the 10th Asian Logic Conference 263-270 2010年 査読有り
-
MATHEMATICAL LOGIC QUARTERLY 55(2) 154-176 2009年4月 査読有り
-
LOGIC AND THEORY OF ALGORITHMS 5028 457-466 2008年 査読有り
-
MATHEMATICAL LOGIC QUARTERLY 53(3) 226-236 2007年 査読有り
講演・口頭発表等
20-
2024年6月27日 招待有り
-
Continuity, Computability, Constructivity From Logic to Algorithms 2023年9月 招待有り
-
Constructive Mathematics: Foundation and Practice 2023年6月
-
Type Theory, Constructive Mathematics and Geometric Logic 2023年5月 招待有り
-
HaPoC Satel- lite Workshop, Computability in Europe 2021 2021年7月 招待有り
-
Das Kontinuum – 100 years later 2018年9月 招待有り
-
Chinese Logic annual meeting 2018年5月 招待有り
-
SotFoM4: Reverse Mathematics 2017年10月 招待有り
-
Asian Logic Conference 2017年7月 招待有り
-
Interval Analysis and Constructive Mathematics 2016年11月
-
Operations, Sets, and Types 2016年4月 招待有り
-
日本数学会秋季総合分科会 2015年9月13日 招待有り
-
Special session of Reverse Mathematics, Computability in Europe 2015 2015年6月29日 招待有り
-
JAIST Logic Workshop Series 2015, Constructivism and Computability 2015年3月2日
-
Fifth Workshop on Formal Topology: Spreads and Choice Sequences, Stockholm, Sweden 2015年
-
Proof 2013 2013年9月9日 招待有り
-
Constructive Mathematics: Foundations and Practice 2013年6月24日 招待有り
-
Logic Colloquium 2012 2012年7月12日
-
Logic Colloquium 2011 2011年7月
-
8th Panhellenic Logic Symposium 2011年7月
担当経験のある科目(授業)
4共同研究・競争的資金等の研究課題
4-
日本学術振興会 科学研究費助成事業 国際共同研究加速基金(国際共同研究強化(B)) 2021年10月 - 2026年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2018年4月 - 2023年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2015年4月 - 2020年3月
-
日本学術振興会 科学研究費助成事業 研究活動スタート支援 2012年8月 - 2014年3月