藤原誠 Fujiwara Makoto

研究者番号	20779095
その他のID
所属 (現在)	2025年度: 東京理科大学, 理学部第一部応用数学科, 講師
所属 (過去の研究課題情報に基づく) *注記	2022年度 – 2023年度: 東京理科大学, 理学部第一部応用数学科, 助教 2019年度 – 2021年度: 明治大学, 研究・知財戦略機構(生田), 研究推進員(客員研究員) 2018年度: 早稲田大学, 高等研究所, 講師(任期付) 2016年度 – 2017年度: 早稲田大学, 高等研究所, 助教
審査区分/研究分野	研究代表者小区分12030:数学基礎関連 / 数学基礎・応用数学研究代表者以外中区分12:解析学、応用数学およびその関連分野
キーワード	研究代表者逆数学 / 構成的数学 / 直観主義算術 / 直観主義数学 / 直観主義論理 / 存在定理 / 計算可能数学 / 最小論理 / 冠頭標準形 / 決定可能ファン定理 … もっと見る / 保存性定理 / 弱ケーニヒの補題 / 保存拡大性定理 / 冠頭標準形定理 / 論理公理 / 一様連続性定理 / 連続性 / 一様計算可能性 / 相対的一様計算可能性 / 構成的逆数学 / 数学基礎論 / 論理原理 … もっと見る研究代表者以外プログラム抽出・合成 / 構成的数学 / 超算術的公理 / 論理公理の階層 / 直観主義算術 / 構成的逆数学 / 算術的超限再帰 / 論理的公理の階層 / 構成的位相数学 / 構成的算術 / 構成的集合論 / 証明論 / 逆数学隠す

構成的逆数学の展開とその応用のための基盤構築研究代表者
- 研究代表者
  
  藤原誠
- 研究期間 (年度)
  2023 – 2027
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分12030:数学基礎関連
- 研究機関
  東京理科大学
構成的逆数学の新たな展開と数学定理の計算論的意味の解明
- 研究代表者
  
  石原哉
- 研究期間 (年度)
  2021 – 2025
- 研究種目
  
  国際共同研究加速基金(国際共同研究強化(B))
- 審査区分
  
  中区分12:解析学、応用数学およびその関連分野
- 研究機関
  東邦大学
   北陸先端科学技術大学院大学
直観主義数学の逆数学的解析研究代表者
- 研究代表者
  
  藤原誠
- 研究期間 (年度)
  2020 – 2023
- 研究種目
  
  若手研究
- 審査区分
  
  小区分12030:数学基礎関連
- 研究機関
  東京理科大学
   明治大学
存在定理の一様計算可能性と構成的証明可能性研究代表者
- 研究代表者
  
  藤原誠
- 研究期間 (年度)
  2018 – 2020
- 研究種目
  
  若手研究
- 審査区分
  
  小区分12030:数学基礎関連
- 研究機関
  明治大学
   早稲田大学
構成的数学・計算可能数学・逆数学の接合点：存在定理の解の計算とその証明研究代表者
- 研究代表者
  
  藤原誠
- 研究期間 (年度)
  2016 – 2017
- 研究種目
  
  研究活動スタート支援
- 研究分野
  
  数学基礎・応用数学
- 研究機関
  早稲田大学

すべて 2024 2023 2022 2021 2020 2019 2018 2017 2016

すべて雑誌論文学会発表

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

1. 石原哉 (10211046)

共同の研究課題数: 1件

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

共同の研究課題数: 1件

共同の研究成果数: 0件
3. 横山啓太 (10534430)

共同の研究課題数: 1件

共同の研究成果数: 1件
4. 根元多佳子 (20546155)

共同の研究課題数: 1件

共同の研究成果数: 3件
5. Kohlenbach Ulrich

共同の研究課題数: 1件

共同の研究成果数: 0件
6. 倉橋太志

共同の研究課題数: 0件

共同の研究成果数: 1件

藤原 誠 Fujiwara Makoto

研究課題

研究成果

共同研究者

構成的逆数学の展開とその応用のための基盤構築研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

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

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

直観主義数学の逆数学的解析研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

存在定理の一様計算可能性と構成的証明可能性研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

構成的数学・計算可能数学・逆数学の接合点：存在定理の解の計算とその証明研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

著者名/発表者名

雑誌名

DOI

データソース

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

著者名/発表者名

雑誌名

DOI

データソース

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

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Prenex normalization and the hierarchical classification of formulas2023

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Refining the arithmetical hierarchy of classical principles2022

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Delta^0_1 variants of the law of excluded middle and related principles2022

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Conservation theorems on semi-classical arithmetic2022

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Prenex normal form theorems in semi-classical arithmetic2021

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Koenig's lemma, weak Koenig's lemma, and the decidable fan theorem2021

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Weihrauch and constructive reducibility between existence statements2021

藤原誠 Fujiwara Makoto