Nemoto Takako 根元多佳子

… Alternative Names

根元多佳子ネモトタカコ

TAKAKO Nemoto 根元多佳子

Less

Researcher Number	20546155
Other IDs
Affiliation (Current)	2025: 東北大学, 情報科学研究科, 准教授
Affiliation (based on the past Project Information) *help	2023 – 2024: 東北大学, 情報科学研究科, 准教授 2020 – 2022: 広島工業大学, 環境学部, 准教授 2021: 北陸先端科学技術大学院大学, 先端科学技術研究科, 助教 2018 – 2019: 北陸先端科学技術大学院大学, 先端科学技術研究科, 助教 2016: 北陸先端科学技術大学院大学, 先端科学技術研究科, 助教 2015: 北陸先端科学技術大学院大学, 情報科学研究科, 助教 2012 – 2013: 北陸先端科学技術大学院大学, 情報科学研究科, 助教
Review Section/Research Field	Principal Investigator Basic Section 12030:Basic mathematics-related / General mathematics (including Probability theory/Statistical mathematics) Except Principal Investigator Medium-sized Section 12:Analysis, applied mathematics, and related fields / Foundations of mathematics/Applied mathematics
Keywords	Principal Investigator 証明論 / 再帰理論 / 逆数学 / 構成的数学 / 算術 / 還元性 / 直観主義論理 / 構成的集合論 / 構成的逆数学 / 計算可能性理論 … More / 数理論理学 / interpretation / set theory / proof theory / applicative theory / 翻訳 / 演算適用の理論 / 集合論 … More Except Principal Investigator 証明論 / 逆数学 / プログラム抽出・合成 / 構成的数学 / 超算術的公理 / 論理公理の階層 / 直観主義算術 / 構成的逆数学 / 算術的超限再帰 / 論理的公理の階層 / 構成的位相数学 / 構成的算術 / 構成的集合論 / 数学基礎論 / ランダム決定木 / ゲームの決定性 / 超準モデル / 計算可能性理論 Less

Classification of systems of constructive reverse mathematics with proof thoeretic methodsPrincipal Investigator
- Principal Investigator
  
  根元多佳子
- Project Period (FY)
  2024 – 2028
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 12030:Basic mathematics-related
- Research Institution
  Tohoku University
Constructive reverse mathematics and computational content of mathematical theorems
- Principal Investigator
  
  石原哉
- Project Period (FY)
  2021 – 2025
- Research Category
  
  Fund for the Promotion of Joint International Research (Fostering Joint International Research (B))
- Review Section
  
  Medium-sized Section 12:Analysis, applied mathematics, and related fields
- Research Institution
  Toho University
  Japan Advanced Institute of Science and Technology
Computability theory on intuitionistic logic and its application to constructive reverse mathematicsPrincipal Investigator
- Principal Investigator
  
  根元多佳子
- Project Period (FY)
  2018 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 12030:Basic mathematics-related
- Research Institution
  Tohoku University
  Hiroshima Institute of Technology
  Japan Advanced Institute of Science and Technology
Phase transitions of provability and supercritical propositions of reverse mathematics
- Principal Investigator
  
  Tanaka Kazuyuki
- Project Period (FY)
  2015 – 2019
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  Tohoku University
Construction of an interpretation between systems of applicative theory and set theoryPrincipal Investigator
- Principal Investigator
  
  TAKAKO Nemoto
- Project Period (FY)
  2012 – 2013
- Research Category
  
  Grant-in-Aid for Research Activity Start-up
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Japan Advanced Institute of Science and Technology

All 2024 2023 2021 2020 2019 2018 2015 2014 2013

All Journal Article Presentation

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

1. 横山啓太 (10534430)

# of Collaborated Projects: 2 results

# of Collaborated Products: 1 results
2. Tanaka Kazuyuki (70188291)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
3. 木原貴行 (80722701)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. 石原哉 (10211046)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
5. 河井達治 (00824343)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. 藤原誠 (20779095)

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results

Nemoto Takako 根元 多佳子

根元 多佳子 ネモト タカコ

TAKAKO Nemoto 根元 多佳子

Research Projects

Research Products

Co-Researchers

Classification of systems of constructive reverse mathematics with proof thoeretic methodsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Constructive reverse mathematics and computational content of mathematical theorems

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Computability theory on intuitionistic logic and its application to constructive reverse mathematicsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Phase transitions of provability and supercritical propositions of reverse mathematics

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Construction of an interpretation between systems of applicative theory and set theoryPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Choice principles characterizing the difference between Koenig’s lemma and weak Koenig’s lemma in constructive reverse mathematics2024

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Varieties of the Weak Koenig Lemma and the Disjunctive Dependent Choice2023

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Choice and independence of premise rules in intuitionistic set theory2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] On the decomposition of WKL!!2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Systems for Constructive Reverse Mathematics2023

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] A constructive proof of the dense existence of nowhere-differentiable functions in C[0,1]2020

Author(s)

Journal Title

DOI

Data Source

[Journal Article] On the independence of premiss axiom and rule2020

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Finite sets and infinite sets in weak intuitionistic arithmetic2020

Author(s)

Nemoto Takako 根元多佳子

根元多佳子ネモトタカコ

TAKAKO Nemoto 根元多佳子