根元多佳子 Nemoto Takako

研究者番号	20546155
その他のID
所属 (現在)	2025年度: 東北大学, 情報科学研究科, 准教授
所属 (過去の研究課題情報に基づく) *注記	2023年度 – 2024年度: 東北大学, 情報科学研究科, 准教授 2020年度 – 2022年度: 広島工業大学, 環境学部, 准教授 2021年度: 北陸先端科学技術大学院大学, 先端科学技術研究科, 助教 2018年度 – 2019年度: 北陸先端科学技術大学院大学, 先端科学技術研究科, 助教 2016年度: 北陸先端科学技術大学院大学, 先端科学技術研究科, 助教 2015年度: 北陸先端科学技術大学院大学, 情報科学研究科, 助教 2012年度 – 2013年度: 北陸先端科学技術大学院大学, 情報科学研究科, 助教
審査区分/研究分野	研究代表者小区分12030:数学基礎関連 / 数学一般(含確率論・統計数学) 研究代表者以外中区分12:解析学、応用数学およびその関連分野 / 数学基礎・応用数学
キーワード	研究代表者証明論 / 再帰理論 / 逆数学 / 構成的数学 / 算術 / 還元性 / 直観主義論理 / 構成的集合論 / 構成的逆数学 / 計算可能性理論 … もっと見る / 数理論理学 / interpretation / set theory / proof theory / applicative theory / 翻訳 / 演算適用の理論 / 集合論 … もっと見る研究代表者以外証明論 / 逆数学 / プログラム抽出・合成 / 構成的数学 / 超算術的公理 / 論理公理の階層 / 直観主義算術 / 構成的逆数学 / 算術的超限再帰 / 論理的公理の階層 / 構成的位相数学 / 構成的算術 / 構成的集合論 / 数学基礎論 / ランダム決定木 / ゲームの決定性 / 超準モデル / 計算可能性理論隠す

証明論的手法による構成的逆数学の体系の分類研究代表者
- 研究代表者
  
  根元多佳子
- 研究期間 (年度)
  2024 – 2028
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分12030:数学基礎関連
- 研究機関
  東北大学
構成的逆数学の新たな展開と数学定理の計算論的意味の解明
- 研究代表者
  
  石原哉
- 研究期間 (年度)
  2021 – 2025
- 研究種目
  
  国際共同研究加速基金(国際共同研究強化(B))
- 審査区分
  
  中区分12:解析学、応用数学およびその関連分野
- 研究機関
  東邦大学
   北陸先端科学技術大学院大学
計算可能性理論の直観主義論理上での再構築とその構成的逆数学への応用研究代表者
- 研究代表者
  
  根元多佳子
- 研究期間 (年度)
  2018 – 2024
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分12030:数学基礎関連
- 研究機関
  東北大学
   広島工業大学
   北陸先端科学技術大学院大学
証明可能性の相転移と逆数学の超臨界
- 研究代表者
  
  田中一之
- 研究期間 (年度)
  2015 – 2019
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  数学基礎・応用数学
- 研究機関
  東北大学
演算適用の体系と集合論の体系との間の翻訳の構築研究代表者
- 研究代表者
  
  根元多佳子
- 研究期間 (年度)
  2012 – 2013
- 研究種目
  
  研究活動スタート支援
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  北陸先端科学技術大学院大学

すべて 2024 2023 2021 2020 2019 2018 2015 2014 2013

すべて雑誌論文学会発表

[雑誌論文] Choice principles characterizing the difference between Koenig’s lemma and weak Koenig’s lemma in constructive reverse mathematics2024
- 著者名/発表者名
  Fujiwara Makoto、Nemoto Takako
- 雑誌名
  
  Computability
  
  巻: - ページ: 1-8
- DOI
  10.3233/com-230478
- 査読あり
- データソース
  KAKENHI-PROJECT-21KK0045, KAKENHI-PROJECT-18K03392, KAKENHI-PROJECT-23K03205, KAKENHI-PROJECT-20K14354
[雑誌論文] Varieties of the Weak Koenig Lemma and the Disjunctive Dependent Choice2023
- 著者名/発表者名
  Berger Josef、Ishihara Hajime、Nemoto Takako
- 雑誌名
  
  Mathematics for Computation (M4C)
  
  巻: - ページ: 143-164
- DOI
  10.1142/9789811245220_0006
- ISBN
  9789811245213, 9789811245220
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21KK0045, KAKENHI-PROJECT-22K03400
[雑誌論文] Choice and independence of premise rules in intuitionistic set theory2023
- 著者名/発表者名
  Frittaion Emanuele、Nemoto Takako、Rathjen Michael
- 雑誌名
  
  Annals of Pure and Applied Logic
  
  巻: 174 号: 9 ページ: 103314-103314
- DOI
  10.1016/j.apal.2023.103314
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21KK0045, KAKENHI-PROJECT-18K03392
[雑誌論文] On the decomposition of WKL!!2023
- 著者名/発表者名
  Fujiwara Makoto、Nemoto Takako
- 雑誌名
  
  Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
  
  巻: 381 号: 2248
- DOI
  10.1098/rsta.2022.0010
- 査読あり
- データソース
  KAKENHI-PROJECT-21KK0045, KAKENHI-PROJECT-18K03392, KAKENHI-PROJECT-20K14354
[雑誌論文] EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES2023
- 著者名/発表者名
  FUJIWARA MAKOTO、ISHIHARA HAJIME、NEMOTO TAKAKO、SUZUKI NOBU-YUKI、YOKOYAMA KEITA
- 雑誌名
  
  The Bulletin of Symbolic Logic
  
  巻: 29 号: 3 ページ: 311-353
- DOI
  10.1017/bsl.2023.29
- 査読あり
- データソース
  KAKENHI-PROJECT-21KK0045, KAKENHI-PROJECT-18K03392, KAKENHI-PROJECT-20K03716, KAKENHI-PROJECT-22K03400, KAKENHI-PROJECT-23K03205, KAKENHI-PROJECT-19K03601, KAKENHI-PROJECT-20K14354, KAKENHI-PROJECT-23K20588
[雑誌論文] Systems for Constructive Reverse Mathematics2023
- 著者名/発表者名
  Nemoto Takako
- 雑誌名
  
  Handbook of Constructive Mathematics
  
  巻: - ページ: 661-699
- DOI
  10.1017/9781009039888.025
- ISBN
  9781009039888, 9781316510865
- 査読あり
- データソース
  KAKENHI-PROJECT-21KK0045
[雑誌論文] A constructive proof of the dense existence of nowhere-differentiable functions in C[0,1]2020
- 著者名/発表者名
  Takako Nemoto
- 雑誌名
  
  Computability
  
  巻: 9 号: 3-4 ページ: 315-326
- DOI
  10.3233/com-190247
- 査読あり
- データソース
  KAKENHI-PROJECT-18K03392
[雑誌論文] On the independence of premiss axiom and rule2020
- 著者名/発表者名
  Hajime Ishihara and Takako Nemoto
- 雑誌名
  
  Archive for Mathematical Logic
  
  巻: - 号: 7-8 ページ: 793-815
- DOI
  10.1007/s00153-019-00707-5
- 査読あり
- データソース
  KAKENHI-PROJECT-18K03392
[雑誌論文] Finite sets and infinite sets in weak intuitionistic arithmetic2020
- 著者名/発表者名
  Takako Nemoto
- 雑誌名
  
  Archive for Mathematical Logic
  
  巻: - 号: 5-6 ページ: 607-657
- DOI
  10.1007/s00153-019-00704-8
- データソース
  KAKENHI-PROJECT-18K03392
[雑誌論文] Equivalents of the finitary non-deterministic inductive definitions2019
- 著者名/発表者名
  Ayana Hirata, Hajime Ishihara, Tatsuji Kawai and Takako Nemoto
- 雑誌名
  
  Annals of Pure and Applied Logic
  
  巻: 170 号: 10 ページ: 1256-1272
- DOI
  10.1016/j.apal.2019.05.005
- データソース
  KAKENHI-PROJECT-18K03392
[雑誌論文] Finite sets and infinite sets in weak intuitionistic arithmetic2019
- 著者名/発表者名
  Takako Nemoto
- 雑誌名
  
  Archives for Mathematical Logic
  
  巻: 印刷中
- 査読あり
- データソース
  KAKENHI-PROJECT-18K03392
[雑誌論文] The monotone completeness theorem in constructive mathematics2019
- 著者名/発表者名
  Hajime Ishihara and Takako Nemoto
- 雑誌名
  
  Mathesis Universalis, Computability and Proof
  
  巻: 印刷中
- 査読あり
- データソース
  KAKENHI-PROJECT-18K03392
[学会発表] Koenig's lemma, Weak Koeig's lemma and Σ-induction in constructive reverse mathematics2024
- 著者名/発表者名
  Takako Nemoto
- 学会等名
  Dagstuhl Seminar 24021: From Proofs to Computation in Geometric Logic and Generalizations
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21KK0045
[学会発表] Recent results in constructive reverse mathematics2023
- 著者名/発表者名
  Takako Nemoto
- 学会等名
  Continuity, Computability, Constructivity 2023
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K03392
[学会発表] On the decomposition of WKL!!2023
- 著者名/発表者名
  Takako Nemoto
- 学会等名
  CONFERENCE CIRM 2319, Type Theory, Constructive Mathematics and Geometric Logic
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K03392
[学会発表] Recent results in constructive reverse mathematics2023
- 著者名/発表者名
  Takako Nemoto
- 学会等名
  Continuity, Computability, Constructivity 2023
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21KK0045
[学会発表] De Morgan’s Law and Related Principles in Constructive Reverse Mathematics2023
- 著者名/発表者名
  Takako Nemoto
- 学会等名
  Constructive Mathematics: Foundation and Practice
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21KK0045
[学会発表] De Morgan’s Law and Related Principles in Constructive Reverse Mathematics2023
- 著者名/発表者名
  Takako Nemoto
- 学会等名
  Constructive Mathematics: Foundation and Practice CM:FP 2023
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K03392
[学会発表] On the decomposition of WKL!!2023
- 著者名/発表者名
  Takako Nemoto
- 学会等名
  Type Theory, Constructive Mathematics and Geometric Logic
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21KK0045
[学会発表] Systems of Constructive Reverse Mathematics2021
- 著者名/発表者名
  Takako Nemoto
- 学会等名
  Computability in Europe
- 招待講演
- データソース
  KAKENHI-PROJECT-18K03392
[学会発表] 構成的な算術上での自然数の有限集合・無限集合の分類の話2020
- 著者名/発表者名
  根元　多佳子
- 学会等名
  第 7 回山陰基礎論・解析学研究集会
- データソース
  KAKENHI-PROJECT-18K03392
[学会発表] 構成的逆数学の体系の話2019
- 著者名/発表者名
  根元　多佳子
- 学会等名
  第６回山陰基礎論・解析学研究集会
- データソース
  KAKENHI-PROJECT-18K03392
[学会発表] Recursion Theoretic Reducibility in Constructive Math- ematics2019
- 著者名/発表者名
  Takako Nemoto
- 学会等名
  Asian Logic Conference
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K03392
[学会発表] Recursion theory over intuitionistic logic, Mathematical Logic and Constructivity2019
- 著者名/発表者名
  Takako Nemoto
- 学会等名
  Mathematical Logic and Constructivity: The Scope and Limits of Neutral Constructivism
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K03392
[学会発表] Systems of constructive reverse mathematics2019
- 著者名/発表者名
  Takako Nemoto
- 学会等名
  Third workshop on Mathematical Logic and its Applications
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K03392
[学会発表] Finite sets and infinite sets in weak intuitionistic arithmetic2018
- 著者名/発表者名
  Takako Nemoto
- 学会等名
  Chinese Logic annual meeting
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K03392
[学会発表] Some properties of function spaces in reverse mathematics2018
- 著者名/発表者名
  Takako Nemoto
- 学会等名
  Das Kontinuum--100 years later
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18K03392
[学会発表] Determinacy of Infinite Games and Reverse Mathematics: Complexity of Winning Strategies2015
- 著者名/発表者名
  Takako Nemoto
- 学会等名
  Computability in Europe 2015
- 発表場所
  ルーマニア・ブカレスト
- 年月日
  2015-07-02
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15H03634
[学会発表] 二階算術における無限ゲームの決定性2015
- 著者名/発表者名
  根元多佳子
- 学会等名
  日本数学会秋季総合分科会
- 発表場所
  京都産業大学
- 年月日
  2015-09-15
- 招待講演
- データソース
  KAKENHI-PROJECT-15H03634
[学会発表] Interpretation of set theory into theory of operators2014
- 著者名/発表者名
  Takako Nemoto
- 学会等名
  Correctness by Construction CORCON 2014 workshop
- 発表場所
  イタリア・ジェノヴァ
- データソース
  KAKENHI-PROJECT-24840022
[学会発表] Interpretation of set theory into theory of operators, Correctness by Construction2014
- 著者名/発表者名
  Takako Nemoto
- 学会等名
  CORCON 2014 workishop
- 発表場所
  ジェノヴァ, イタリア
- 年月日
  2014-03-26
- データソース
  KAKENHI-PROJECT-24840022
[学会発表] Making a detour via intuitionistic theories–Embedding set theories into systems of explicit mathematics2013
- 著者名/発表者名
  Takako Nemoto
- 学会等名
  Constructive Mathematics : Foundation and Practice
- 発表場所
  ニーシュ, セルビア
- 年月日
  2013-06-26
- 招待講演
- データソース
  KAKENHI-PROJECT-24840022
[学会発表] Determinacy in classical and constructive reverse mathematics2013
- 著者名/発表者名
  Takako Nemoto
- 学会等名
  Workshop on Reverse Mathematics and Type Theory
- 発表場所
  ソウル（韓国）
- データソース
  KAKENHI-PROJECT-24840022
[学会発表] Ramified Analysis Revisited: A Refinement of Determinacy Hierarchy2013
- 著者名/発表者名
  Takako Nemoto
- 学会等名
  Takako Nemoto，Proof 2013
- 発表場所
  スイス・ベルン
- 招待講演
- データソース
  KAKENHI-PROJECT-24840022
[学会発表] Determinacy in classical and constructive reverse mathematics2013
- 著者名/発表者名
  Takako Nemoto
- 学会等名
  Workshop on Reverse Mathematics and Type Theory, 2013
- 発表場所
  ソウル, 大韓民国
- 年月日
  2013-03-26
- データソース
  KAKENHI-PROJECT-24840022
[学会発表] Making a detour via intuitionistic theories ―Embedding set theories into systems of explicit mathematics2013
- 著者名/発表者名
  Takako Nemoto
- 学会等名
  Constructive Mathematics: Foundations and Practice
- 発表場所
  セルビア・ニーシュ
- 招待講演
- データソース
  KAKENHI-PROJECT-24840022
[学会発表] Ramified Analysis Revisited : A Refinement of Determinacy Hierarchy2013
- 著者名/発表者名
  Takako Nemoto
- 学会等名
  Proof 2013
- 発表場所
  ベルン, スイス連邦
- 年月日
  2013-09-09
- データソース
  KAKENHI-PROJECT-24840022
[学会発表] Making a detour via intuitionistic theories -Embedding set theories into systems of explicit mathematics2013
- 著者名/発表者名
  Takako Nemoto
- 学会等名
  Constructive Mathematics: Foundations and Practice
- 発表場所
  ニシュ（セルビア）
- 招待講演
- データソース
  KAKENHI-PROJECT-24840022

1. 横山啓太 (10534430)

共同の研究課題数: 2件

共同の研究成果数: 1件
2. 田中一之 (70188291)

共同の研究課題数: 1件

共同の研究成果数: 0件
3. 木原貴行 (80722701)

共同の研究課題数: 1件

共同の研究成果数: 0件
4. 石原哉 (10211046)

共同の研究課題数: 1件

共同の研究成果数: 2件
5. 河井達治 (00824343)

共同の研究課題数: 1件

共同の研究成果数: 0件
6. 藤原誠 (20779095)

共同の研究課題数: 1件

共同の研究成果数: 3件

根元 多佳子 Nemoto Takako

研究課題

研究成果

共同研究者

証明論的手法による構成的逆数学の体系の分類研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

構成的逆数学の新たな展開と数学定理の計算論的意味の解明

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

計算可能性理論の直観主義論理上での再構築とその構成的逆数学への応用研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

証明可能性の相転移と逆数学の超臨界

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

演算適用の体系と集合論の体系との間の翻訳の構築研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] Choice principles characterizing the difference between Koenig’s lemma and weak Koenig’s lemma in constructive reverse mathematics2024

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Varieties of the Weak Koenig Lemma and the Disjunctive Dependent Choice2023

著者名/発表者名

雑誌名

DOI

ISBN

データソース

[雑誌論文] Choice and independence of premise rules in intuitionistic set theory2023

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] On the decomposition of WKL!!2023

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES2023

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Systems for Constructive Reverse Mathematics2023

著者名/発表者名

雑誌名

DOI

ISBN

データソース

[雑誌論文] A constructive proof of the dense existence of nowhere-differentiable functions in C[0,1]2020

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] On the independence of premiss axiom and rule2020

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Finite sets and infinite sets in weak intuitionistic arithmetic2020

著者名/発表者名

雑誌名

DOI

根元多佳子 Nemoto Takako