新着情報
2025-05 ~ | 慶應義塾大学 未来共生デザインセンター共同研究員 |
2025-04 ~ | 電気通信大学 大学院情報理工学研究科、情報理工学域 共通教育部准教授 |
2025-02 ~ 2025-04 | 電気通信大学 情報理工学域 共通教育部准教授 |
2022-04 ~ 2022-09 | 電気通信大学 情報理工学域非常勤講師 |
2018-09 ~ | パリ第1大学科学史哲学研究所 (L'Institut d'Histoire et de Philosophie des Sciences et des Techniques) 連携研究員 (Associate Member) |
2024-10 ~ 2025-03 | 東京大学 教養学部非常勤講師 |
2024-04 ~ 2025-03 | 早稲田大学 商学部非常勤講師 |
2020-04 ~ 2025-03 | 明治大学 文学部非常勤講師 |
2018-09 ~ 2025-03 | 早稲田大学 理工学術院非常勤講師 |
2022-10 ~ 2025-01 | 慶應義塾大学 KGRI特任助教 |
2022-04 ~ 2025-01 | 株式会社AaaS Bridge シニアリサーチフェロー |
2024-04 ~ 2024-09 | 電気通信大学 情報理工学域非常勤講師 |
2023-10 ~ 2024-03 | 東京大学 教養学部非常勤講師 |
2021-10 ~ 2024-03 | 京都大学 大学院文学研究科研究員 |
2018-04 ~ 2024-03 | 早稲田大学 高等研究所招聘研究員 |
2023-04 ~ 2023-09 | 電気通信大学 情報理工学域 非常勤講師 |
2023-03 ~ 2023-03 | パリ第1大学科学史哲学研究所 (L'Institut d'Histoire et de Philosophie des Sciences et des Techniques) 招聘研究員 (Chercheur invité) |
2022-10 ~ 2023-03 | 慶應義塾大学 文学部非常勤講師 |
2022-10 ~ 2023-03 | 東京大学 教養学部非常勤講師 |
2021-09 ~ 2022-03 | 東京大学 教養学部非常勤講師 |
2010-04 ~ 2022-03 | 慶應義塾大学 文学部非常勤講師 |
2021-04 ~ 2021-09 | 電気通信大学 情報理工学域非常勤講師 |
2020-09 ~ 2021-03 | 東京大学 教養学部非常勤講師 |
2018-09 ~ 2021-03 | 早稲田大学 文学学術院非常勤講師 |
2020-02 ~ 2020-03 | パリ第1大学科学史哲学研究所 (L'Institut d'Histoire et de Philosophie des Sciences et des Techniques) 招聘研究員 (Chercheur invité) |
2019-08 ~ 2019-09 | パリ第1大学科学史哲学研究所 (L'Institut d'Histoire et de Philosophie des Sciences et des Techniques) 招聘研究員 (Chercheur invité) |
2019-02 ~ 2019-03 | パリ第1大学科学史哲学研究所 (L'Institut d'Histoire et de Philosophie des Sciences et des Techniques) 招聘研究員 (Chercheur invité) |
2018-04 ~ 2018-05 | 日本大学 生産工学部非常勤講師 |
2017-04 ~ 2018-03 | 早稲田大学 高等研究所准教授(任期付) |
2017-04 ~ 2017-06 | 千葉大学 理学部非常勤講師 |
2015-04 ~ 2017-03 | 早稲田大学 高等研究所助教 |
2014-04 ~ 2016-03 | 慶應義塾大学 理工学部非常勤講師 |
2012-04 ~ 2015-03 | 日本学術振興会 京都大学特別研究員(PD) |
2013-04 ~ 2014-03 | 首都大学東京 都市教養学部非常勤講師 |
2010-04 ~ 2012-03 | 慶應義塾大学 文学研究科(グローバルCOE「論理と感性の先端的教育研究拠点」)特任助教 |
2009-04 ~ 2010-03 | 慶應義塾大学 先導研究センター非常勤研究員 |
2005-04 ~ 2010-03 | 慶應義塾大学 文学研究科後期博士課程哲学・倫理学専攻 |
2003-04 ~ 2005-03 | 慶應義塾大学 大学院文学研究科前期博士課程哲学・倫理学専攻 |
1999-04 ~ 2003-03 | 慶應義塾大学 文学部人文社会学科哲学専攻 |
1996-04 ~ 1999-03 | 慶應義塾志木高等学校 |
1993-04 ~ 1996-03 | 慶應義塾中等部 |
2024-04 ~ 2028-03 | 無限を巡る日本の数理哲学の再検討:竹内、末綱、西田を中心に |
2024-04 ~ 2028-03 | 論理と深層学習の統合的視点に基づくリーズニングの学際的研究 |
2022-10 ~ 2026-03 | コミュニティのスマート化がもたらすELSIと四次元共創モデルの実践的検討 |
2022-06 ~ 2025-03 | よりよいスマートWEを目指して:東アジア人文社会知から価値多層社会へ |
2019-04 ~ 2024-03 | 形式主義の哲学の新展開:竹内外史の論理哲学の解明を通じて |
2017-04 ~ 2022-03 | 「証明の哲学」の視点に立つ「論理と数学の哲学」の新展開 |
2016-04 ~ 2020-03 | ブラウワー直観主義の証明論的手法による再検討 |
2016-04 ~ 2019-03 | フレーゲ論理学の証明論的および意味論的研究 |
2012-04 ~ 2015-03 | 「形式主義の証明論的手法による再検討」 |
2012-04 ~ 2013-03 | ゲーデルの不完全性定理以降の形式主義の再検討(辞退) |
2010-04 ~ 2012-03 | 「形式主義と直観主義の証明論的手法による比較再検討」 |
2008-04 ~ 2009-03 | 「証明論的手法による二階論理の論理哲学的研究」 |
2007-04 ~ 2008-03 | 「タイプ理論の証明論的分析」 |
2017-04 ~ 2023-03 | 科学基礎論学会 評議員 |