• HOME
  • 早稲田大学TOP
  • お問合せ
  • アクセス
  • サイトマップ
  • ENGLISH
Loading
  • facebook
  • twitter
  • 研究所について
  • 研究プロジェクト
  • 研究員
  • イベント情報
  • 研究成果
  • 国際研究交流
  • 採用情報

研究員 / 藤原 誠

藤原 誠

  • 博士(理学)
  • 早稲田大学高等研究所 助教

研究テーマ

私の専門は数学基礎論です。その中でも特に数学の証明における構成概念に興味があり、証明論の手法を用いて、逆数学における構成的証明可能性と構成的数学における証明可能性の関係性について研究しています。また、それに関連して、直観主義論理では証明できない弱い論理原理の間の関係性についての研究も行っています。

略歴

2010年3月 東北大学 理学部数学科 卒業
2012年3月 東北大学 大学院理学研究科数学専攻 博士課程前期 修了
2015年3月 東北大学 大学院理学研究科数学専攻 博士課程後期 修了
2014年4月 - 2015年3月 日本学術振興会 特別研究員DC2 (東北大学大学院理学研究科)
2015年4月 - 2016年3月 日本学術振興会 特別研究員PD (北陸先端科学技術大学院大学情報科学研究科)
2016年4月 - 早稲田大学 高等研究所 助教

研究項目

  • 数学基礎論
  • 数理論理学
  • 逆数学
  • 構成的数学
  • 直観主義論理

主な研究業績

  1. Some principles weaker than Markov’s principle (with H. Ishihara and T. Nemoto), Archive for Mathematical Logic, Vol. 54 Issue 7-8, pp. 861--870, 2015
  2. Intuitionistic provability versus uniform provability in RCA, Lecture Notes in Computer Science, vol. 9136, pp. 186–195, 2015.
  3. Classical provability of uniform versions and intuitionistic provability (with U. Kohlenbach), Mathematical Logic Quarterly vol. 61, Issue 3, pp. 132–150, 2015.
  4. On the strength of marriage theorems and uniformity (with K. Higuchi and T. Kihara), Mathematical Logic Quarterly vol. 60, Issue 3, pp. 136–153, 2014.

所属学会

日本数学会
科学基礎論学会
Association for Symbolic Logic

PAGE TOP