研究者
J-GLOBAL ID:201601016112898805   更新日: 2021年04月22日

藤原 誠

フジワラ マコト | Fujiwara Makoto
所属機関・部署:
職名: 日本学術振興会特別研究員PD
研究分野 (1件): 数学基礎
研究キーワード (4件): 直観主義論理 ,  構成的数学 ,  逆数学 ,  数学基礎論
競争的資金等の研究課題 (5件):
  • 2020 - 2023 直観主義数学の逆数学的解析
  • 2019 - 2022 形式論理による構成的推論の特徴付け
  • 2018 - 2020 存在定理の一様計算可能性と構成的証明可能性
  • 2016 - 2018 構成的数学・計算可能数学・逆数学の接合点:存在定理の解の計算とその証明
  • 2014 - 2016 存在定理の一様証明可能性及び直観主義証明可能性に関する逆数学的解析
論文 (14件):
もっと見る
MISC (7件):
  • Makoto Fujiwara, Taishi Kurahashi. Refining the arithmetical hierarchy of classical principles. Submitted. 2020
  • Makoto Fujiwara. Decomposition of König's lemma and its unique variants. Submitted. 2020
  • Fujiwara, Makoto. On the decomposition of WKL!!. Submitted. 2020
  • Fujiwara, Makoto. König's lemma, weak König's lemma, and the decidable fan theorem. Submitted. 2020
  • Makoto Fujiwara. Δ01 variants of the law of excluded middle and related principles. Submitted. 2020
もっと見る
学歴 (3件):
  • 2012 - 2015 東北大学 数学専攻 博士課程後期
  • 2010 - 2012 東北大学 数学専攻 博士課程前期
  • 2006 - 2010 東北大学 数学科
学位 (1件):
  • 博士(理学) (東北大学)
経歴 (5件):
  • 2019/04 - 現在 明治大学 理工学部数学科 日本学術振興会特別研究員PD
  • 2018/04 - 2019/03 早稲田大学 高等研究所 講師(任期付)
  • 2016/04 - 2018/03 早稲田大学 高等研究所 助教
  • 2015/04 - 2016/03 北陸先端科学技術大学院大学 情報科学研究科 日本学術振興会特別研究員PD
  • 2014/04 - 2015/03 東北大学 大学院理学研究科数学専攻 日本学術振興会特別研究員DC2
所属学会 (3件):
Association for Symbolic Logic ,  科学基礎論学会 ,  日本数学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る