| 詳細情報 |  |
|---|---|
| 関連リンク |  |
| 探す |  |
所属機関・部署：
職名： 助教
競争的資金等の研究課題 (7件)：
論文 (22件)：
MISC (1件)：
学歴 (3件)：
学位 (1件)：
経歴 (6件)：
所属学会 (3件)：
前のページに戻る
東京理科大学 理学部第一部 応用数学科
東京理科大学 理学部第一部 応用数学科 について
職名： 助教
競争的資金等の研究課題 (7件)：
- 2023 - 2028 構成的逆数学の展開とその応用のための基盤構築
- 2021 - 2026 構成的逆数学の新たな展開と数学定理の計算論的意味の解明
- 2020 - 2024 直観主義数学の逆数学的解析
- 2019 - 2022 形式論理による構成的推論の特徴付け
- 2018 - 2021 存在定理の一様計算可能性と構成的証明可能性
全件表示
- Makoto Fujiwara, Taishi Kurahashi. Prenex normalization and the hierarchical classification of formulas. Archive for Mathematical Logic. 2024. 63. 3-4. 391-403
- Makoto Fujiwara, Takako Nemoto. Choice principles characterizing the difference between König’s lemma and weak König’s lemma in constructive reverse mathematics. Computability. 2024. 1-8
- MAKOTO FUJIWARA, TAISHI KURAHASHI. CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC. The Journal of Symbolic Logic. 2023. 88. 4. 1469-1496
- MAKOTO FUJIWARA, HAJIME ISHIHARA, TAKAKO NEMOTO, NOBU-YUKI SUZUKI, KEITA YOKOYAMA. EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES. The Bulletin of Symbolic Logic. 2023. 29. 3. 1-42
- Makoto Fujiwara, Takako Nemoto. On the decomposition of WKL!!. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences. 2023. 381. 2248
- Makoto Fujiwara, Yudai Suzuki. Formalization of Weihrauch reducibility in second-order arithmetic. submitted. 2024
- 2012 - 2015 東北大学 大学院理学研究科 数学専攻 博士課程後期
- 2010 - 2012 東北大学 大学院理学研究科 数学専攻 博士課程前期
- 2006 - 2010 東北大学 理学部 数学科
- 博士(理学) (東北大学)
- 2022/04 - 現在 東京理科大学 理学部第一部 応用数学科 助教
- 2019/04 - 2022/03 明治大学 理工学部数学科 日本学術振興会特別研究員PD
- 2018/04 - 2019/03 早稲田大学 高等研究所 講師(任期付)
- 2016/04 - 2018/03 早稲田大学 高等研究所 助教
- 2015/04 - 2016/03 北陸先端科学技術大学院大学 情報科学研究科 日本学術振興会特別研究員PD
全件表示
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。
前のページに戻る
