Fujiwara Makoto 藤原誠

Researcher Number	20779095
Other IDs
Affiliation (Current)	2025: 東京理科大学, 理学部第一部応用数学科, 講師
Affiliation (based on the past Project Information) *help	2022 – 2023: 東京理科大学, 理学部第一部応用数学科, 助教 2019 – 2021: 明治大学, 研究・知財戦略機構(生田), 研究推進員(客員研究員) 2018: 早稲田大学, 高等研究所, 講師(任期付) 2016 – 2017: 早稲田大学, 高等研究所, 助教
Review Section/Research Field	Principal Investigator Basic Section 12030:Basic mathematics-related / Foundations of mathematics/Applied mathematics Except Principal Investigator Medium-sized Section 12:Analysis, applied mathematics, and related fields
Keywords	Principal Investigator 逆数学 / 構成的数学 / 直観主義算術 / 直観主義数学 / 直観主義論理 / 存在定理 / 計算可能数学 / 最小論理 / 冠頭標準形 / 決定可能ファン定理 … More / 保存性定理 / 弱ケーニヒの補題 / 保存拡大性定理 / 冠頭標準形定理 / 論理公理 / 一様連続性定理 / 連続性 / 一様計算可能性 / 相対的一様計算可能性 / 構成的逆数学 / 数学基礎論 / 論理原理 … More Except Principal Investigator プログラム抽出・合成 / 構成的数学 / 超算術的公理 / 論理公理の階層 / 直観主義算術 / 構成的逆数学 / 算術的超限再帰 / 論理的公理の階層 / 構成的位相数学 / 構成的算術 / 構成的集合論 / 証明論 / 逆数学 Less

Constructive reverse mathematics and its frameworkPrincipal Investigator
- Principal Investigator
  
  藤原誠
- Project Period (FY)
  2023 – 2027
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 12030:Basic mathematics-related
- Research Institution
  Tokyo University of Science
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
Reverse mathematical analysis of intuitionistic mathematicsPrincipal Investigator
- Principal Investigator
  
  Fujiwara Makoto
- Project Period (FY)
  2020 – 2023
- Research Category
  
  Grant-in-Aid for Early-Career Scientists
- Review Section
  
  Basic Section 12030:Basic mathematics-related
- Research Institution
  Tokyo University of Science
  Meiji University
Uniform computability and constructive derivability between existence sentencesPrincipal Investigator
- Principal Investigator
  
  Fujiwara Makoto
- Project Period (FY)
  2018 – 2020
- Research Category
  
  Grant-in-Aid for Early-Career Scientists
- Review Section
  
  Basic Section 12030:Basic mathematics-related
- Research Institution
  Meiji University
  Waseda University
Uniform computability verified in a mathematically strong system and semi-intuitionistic provability for existence sentencesPrincipal Investigator
- Principal Investigator
  
  Fujiwara Makoto
- Project Period (FY)
  2016 – 2017
- Research Category
  
  Grant-in-Aid for Research Activity Start-up
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  Waseda University

All 2024 2023 2022 2021 2020 2019 2018 2017 2016

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] 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] Prenex normalization and the hierarchical classification of formulas2023
- Author(s)
  Fujiwara Makoto、Kurahashi Taishi
- Journal Title
  
  Archive for Mathematical Logic
  
  Volume: 63 Issue: 3-4 Pages: 391-403
- DOI
  10.1007/s00153-023-00899-x
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21KK0045, KAKENHI-PROJECT-23K03200, KAKENHI-PROJECT-23K03205, KAKENHI-PROJECT-19K14586, KAKENHI-PROJECT-20K14354
[Journal Article] Refining the arithmetical hierarchy of classical principles2022
- Author(s)
  Makoto Fujiwara and Taishi Kurahashi
- Journal Title
  
  Mathematical Logic Quarterly
  
  Volume: 68 Issue: 3 Pages: 318-345
- DOI
  10.1002/malq.202000077
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19K14586, KAKENHI-PROJECT-20K14354, KAKENHI-PROJECT-21KK0045
[Journal Article] Delta^0_1 variants of the law of excluded middle and related principles2022
- Author(s)
  Makoto Fujiwara
- Journal Title
  
  Archive for Mathematical Logic
  
  Volume: To appear Issue: 7-8 Pages: 1113-1127
- DOI
  10.1007/s00153-022-00827-5
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19J01239, KAKENHI-PROJECT-20K14354, KAKENHI-PROJECT-21KK0045
[Journal Article] Conservation theorems on semi-classical arithmetic2022
- Author(s)
  Makoto Fujiwara and Taishi Kurahashi
- Journal Title
  
  The Journal of Symbolic Logic
  
  Volume: To appear Issue: 4 Pages: 1469-1496
- DOI
  10.1017/jsl.2022.25
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19J01239, KAKENHI-PROJECT-19K14586, KAKENHI-PROJECT-21KK0045, KAKENHI-PROJECT-20K14354
[Journal Article] Prenex normal form theorems in semi-classical arithmetic2021
- Author(s)
  Makoto Fujiwara and Taishi Kurahashi
- Journal Title
  
  The Journal of Symbolic Logic
  
  Volume: 86 Issue: 3 Pages: 1124-1153
- DOI
  10.1017/jsl.2021.47
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19J01239, KAKENHI-PROJECT-19K14586, KAKENHI-PROJECT-20K14354
[Journal Article] Koenig's lemma, weak Koenig's lemma, and the decidable fan theorem2021
- Author(s)
  Makoto Fujiwara
- Journal Title
  
  Mathematical Logic Quarterly
  
  Volume: 67 Issue: 2 Pages: 241-257
- DOI
  10.1002/malq.202000020
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19J01239, KAKENHI-PROJECT-20K14354
[Journal Article] Weihrauch and constructive reducibility between existence statements2021
- Author(s)
  Makoto Fujiwara
- Journal Title
  
  Computability
  
  Volume: 10 Issue: 1 Pages: 17-30
- DOI
  10.3233/com-190278
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K13450
[Journal Article] Decidable fan theorem and uniform continuity theorem with continuous moduli2021
- Author(s)
  Makoto Fujiwara and Tatsuji Kawai
- Journal Title
  
  Mathematical Logic Quarterly
  
  Volume: 67 Issue: 1 Pages: 116-130
- DOI
  10.1002/malq.202000028
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19J01239, KAKENHI-PROJECT-20K14354
[Journal Article] Characterising Brouwer's continuity by bar recursion on moduli of continuity2020
- Author(s)
  Makoto Fujiwara and Tatsuji Kawai
- Journal Title
  
  Archive for Mathematical Logic
  
  Volume: 60 Issue: 1-2 Pages: 241-263
- DOI
  10.1007/s00153-020-00740-9
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20K14354, KAKENHI-PROJECT-19J01239
[Journal Article] Parallelizations in Weihrauch reducibility and constructive reverse mathematics2020
- Author(s)
  Makoto Fujiwara
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 12098 Pages: 38-49
- DOI
  10.1007/978-3-030-51466-2_4
- ISBN
  9783030514655, 9783030514662
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K13450
[Journal Article] Equivalence of bar induction and bar recursion for continuous functions with continuous moduli2019
- Author(s)
  Makoto Fujiwara and Tatsuji Kawai
- Journal Title
  
  Annals of Pure and Applied Logic
  
  Volume: 印刷中 Issue: 8 Pages: 867-890
- DOI
  10.1016/j.apal.2019.04.001
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K13450, KAKENHI-PROJECT-19J01239
[Journal Article] Effective computability and constructive provability for existence sentences (Abstract)2017
- Author(s)
  Makoto Fujiwara
- Journal Title
  
  The Bulletin of Symbolic Logic
  
  Volume: vol. 23, no.2 Pages: 241-242
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16H07289
[Presentation] Reverse mathematical derivability and Weihrauch reducibility between existence statements2024
- Author(s)
  Makoto Fujiwara
- Organizer
  17th International Conference on Computability, Complexity and Randomness
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K03205
[Presentation] Reverse mathematical derivability and Weihrauch reducibility between existence statements2024
- Author(s)
  Makoto Fujiwara
- Organizer
  17th International Conference on Computability, Complexity and Randomness
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K14354
[Presentation] Reverse mathematical derivability and Weihrauch reducibility between existence statements2024
- Author(s)
  Makoto Fujiwara
- Organizer
  17th International Conference on Computability, Complexity and Randomness
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21KK0045
[Presentation] Hierarchy of Σn-fragments of logical principles over HA and hierarchy of intermediate propositional logics2024
- Author(s)
  Makoto Fujiwara,
- Organizer
  Dagstuhl Seminar 24021: From Proofs to Computation in Geometric Logic and Generalizations
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21KK0045
[Presentation] Hierarchy of Σ_n-fragments of logical principles over HA and hierarchy of intermediate propositional logics2024
- Author(s)
  Makoto Fujiwara
- Organizer
  Dagstuhl Seminar 24021: From Proofs to Computation in Geometric Logic and Generalizations
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K14354
[Presentation] Hierarchy of Σ_n-fragments of logical principles over HA and hierarchy of intermediate propositional logics2024
- Author(s)
  Makoto Fujiwara
- Organizer
  Dagstuhl Seminar 24021: From Proofs to Computation in Geometric Logic and Generalizations
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K03205
[Presentation] Prenex normalization and the hierarchical classification of formulas2023
- Author(s)
  Makoto Fujiwara
- Organizer
  Oberwolfach Workshop ID 2346: Mathematical Logic: Proof Theory, Constructive Mathematics
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K03205
[Presentation] 半直観主義算術の階層と保存拡大定理，2023
- Author(s)
  藤原誠
- Organizer
  日本数学会2023年度年会数学基礎論および歴史分科会
- Invited
- Data Source
  KAKENHI-PROJECT-20K14354
[Presentation] 半直観主義算術の階層と保存拡大定理2023
- Author(s)
  藤原誠
- Organizer
  日本数学会数学基礎論および歴史分科会特別講演
- Invited
- Data Source
  KAKENHI-PROJECT-21KK0045
[Presentation] Prenex normalization and the hierarchical classification of formulas2023
- Author(s)
  Makoto Fujiwara
- Organizer
  Oberwolfach Workshop ID 2346: Mathematical Logic: Proof Theory, Constructive Mathematics
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21KK0045
[Presentation] Prenex normalization and the hierarchical classification of formulas2023
- Author(s)
  Makoto Fujiwara
- Organizer
  Oberwolfach Workshop ID 2346: Mathematical Logic: Proof Theory, Constructive Mathematics
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K14354
[Presentation] An extension of the equivalence between Brouwer’s fan theorem and weak Koenig’s Lemma with a uniqueness hypothesis2022
- Author(s)
  Makoto Fujiwara
- Organizer
  Computability in Europe 2022 “Revolutions and Revelations in Computability”
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K14354
[Presentation] Proof interpretations on finite-type arithmetic and uniform provability in reverse mathematics2022
- Author(s)
  Makoto Fujiwara
- Organizer
  International Conference on Applied Proof Theory 2022
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K14354
[Presentation] Proof interpretations on finite-type arithmetic and uniform provability in reverse mathematics2022
- Author(s)
  Makoto Fujiwara
- Organizer
  International Conference on Applied Proof Theory 2022
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21KK0045
[Presentation] An extension of the equivalence between Brouwer’s fan theorem and weak Koenig’s Lemma with a uniqueness hypothesis2022
- Author(s)
  Makoto Fujiwara
- Organizer
  Computability in Europe 2022 “Revolutions and Revelations in Computability”
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21KK0045
[Presentation] Conservation theorems on semi-classical arithmetic2021
- Author(s)
  Makoto Fujiwara
- Organizer
  New Frontiers in Proofs and Computation
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K14354
[Presentation] Conservation theorems on semi-classical arithmetic2021
- Author(s)
  Makoto Fujiwara
- Organizer
  Dagstuhl Seminar 21472: Geometric Logic, Constructivisation, and Automated Theorem Proving
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K14354
[Presentation] The decidable fan theorem in constructive and classical reverse mathematics2020
- Author(s)
  Makoto Fujiwara
- Organizer
  Oberwolfach Workshop ID 2046: Mathematical Logic: Proof Theory, Constructive Mathematics
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K14354
[Presentation] Weihrauch and constructive reducibility between existence statements2020
- Author(s)
  Makoto Fujiwara
- Organizer
  Seventeenth International Conference on Computability and Complexity in Analysis
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K13450
[Presentation] Parallelizations in Weihrauch reducibility and constructive reverse mathematics2020
- Author(s)
  Makoto Fujiwara
- Organizer
  Computability in Europe 2020: Beyond the horizon of computability
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K13450
[Presentation] Bar induction and bar recursion with respect to continuity on Baire space2018
- Author(s)
  Makoto Fujiwara
- Organizer
  Workshop on Computability Theory and Foundations of Mathematics 2018
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K13450
[Presentation] Reverse mathematics and uniform provability2017
- Author(s)
  Makoto Fujiwara
- Organizer
  Philosophy of logic and Mathematics - Towards Philosophy of Proofs
- Place of Presentation
  Keio University
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H07289
[Presentation] Effective computability and constructive provability for existence sentences2016
- Author(s)
  Makoto Fujiwara
- Organizer
  JSPS Core-to-Core Program "Mathematical Logic and its Applications"
- Place of Presentation
  Kyoto University
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H07289

1. 石原哉 (10211046)

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
3. 横山啓太 (10534430)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
4. 根元多佳子 (20546155)

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results
5. KOHLENBACH Ulrich

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. 倉橋太志

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results

Fujiwara Makoto 藤原 誠

Research Projects

Research Products

Co-Researchers

Constructive reverse mathematics and its frameworkPrincipal 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

Reverse mathematical analysis of intuitionistic mathematicsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Uniform computability and constructive derivability between existence sentencesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Uniform computability verified in a mathematically strong system and semi-intuitionistic provability for existence sentencesPrincipal 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] 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] Prenex normalization and the hierarchical classification of formulas2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Refining the arithmetical hierarchy of classical principles2022

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Delta^0_1 variants of the law of excluded middle and related principles2022

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Conservation theorems on semi-classical arithmetic2022

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Prenex normal form theorems in semi-classical arithmetic2021

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Koenig's lemma, weak Koenig's lemma, and the decidable fan theorem2021

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Weihrauch and constructive reducibility between existence statements2021

Fujiwara Makoto 藤原誠