研究者
J-GLOBAL ID：201901014112863598
更新日: 2024年01月30日
根元 多佳子
Nemoto Takako
所属機関・部署：
研究キーワード (3件)：
構成的数学
, 直観主義論理
, 逆数学
競争的資金等の研究課題 (4件)：
- 2021 - 2026 構成的逆数学の新たな展開と数学定理の計算論的意味の解明
- 2018 - 2023 計算可能性理論の直観主義論理上での再構築とその構成的逆数学への応用
- 2015 - 2020 証明可能性の相転移と逆数学の超臨界
- 2012 - 2014 演算適用の体系と集合論の体系との間の翻訳の構築
論文 (15件)：
-
MAKOTO FUJIWARA, HAJIME ISHIHARA, TAKAKO NEMOTO, NOBU-YUKI SUZUKI, KEITA YOKOYAMA. EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES. The Bulletin of Symbolic Logic. 2023. 29. 3. 1-42
-
Makoto Fujiwara, Takako Nemoto. On the decomposition of WKL!!. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences. 2023. 381. 2248
-
Josef Berger, Hajime Ishihara, Takako Nemoto. Varieties of the Weak Kőnig Lemma and the Disjunctive Dependent Choice. Mathematics for Computation (M4C). 2023. 143-164
-
Hajime Ishihara, Takako Nemoto. On the independence of premiss axiom and rule. Archive for Mathematical Logic. 2020. 59. 7-8. 793-815
-
Ayana Hirata, Hajime Ishihara, Tatsuji Kawai, Takako Nemoto. Equivalents of the finitary non-deterministic inductive definitions. Annals of Pure and Applied Logic. 2019. 170. 10. 1256-1272
もっと見る
講演・口頭発表等 (19件)：
-
Recent results in constructive reverse mathematics
(Continuity, Computability, Constructivity From Logic to Algorithms 2023)
-
De Morgan’s law and related principles in constructive reverse mathematics
(Constructive Mathematics: Foundation and Practice 2023)
-
On the decomposition of WKL!!
(Type Theory, Constructive Mathematics and Geometric Logic 2023)
-
Reverse mathematics over intuitionistic logic
(HaPoC Satel- lite Workshop, Computability in Europe 2021 2021)
-
Some properties of function spaces in reverse mathematics
(Das Kontinuum - 100 years later 2018)
もっと見る
学位 (1件)：
- 東北大学学士(理学)(2004),東北大学修士(理学)(2006),東北大学博士(理学)(2009)
経歴 (2件)：
- 東北学院大学工学部非常勤講師(2009),北陸先端科学技術大学院大学研究員(2009),ベルン大学研究員(2010)
- オランダ数学研究所研究員(2006),日本学術振興会特別研究員(DC2)(2007),東北大学理学部ティーチングアシスタント(2008)
所属学会 (3件)：
Computability in Europe
, 日本数学会
, Association for Symbolic Logic
