Top
フジワラ マコト
藤原 誠 助教
東京理科大学 理学部第一部 応用数学科
藤原 誠 助教
東京理科大学 理学部第一部 応用数学科
| グループ |
その他 その他 ： 数学 |
| 研究・技術キーワード | 数理論理学、数学基礎論 |
| 研究・技術テーマ |
|
| 研究・技術内容 | 人間の思考の産物としての数学の証明や数学的推論に興味を持っており、現在は構成的数学における推論を形式論理によって数学的に定式化することを目指して研究を進めています。特に、数学の諸定理をその論理的複雑さによって分類する逆数学プログラム、通常の数学の論理において公理として認められる排中律「AまたはAでない」を含まない/部分的にしか含まない論理等に関連する研究をしています。 |
| 産業への利用 | |
| 可能な産学連携形態 | |
| 具体的な産学連携形態内容 | |
| その他所属研究機関 | |
| 所属研究室 | |
| 所有研究装置 | |
| SDGs |
