研究キーワード 【 表示 ／ 非表示 】

  • 証明論、型理論、項書換え

このページの先頭へ▲

学位 【 表示 ／ 非表示 】

  • 修士（哲学）, 慶應義塾大学, 2009年03月

  • 博士（哲学）, 慶應義塾大学, 2017年10月

このページの先頭へ▲

学内職務経歴 【 表示 ／ 非表示 】

  • 研究・産学連携本部　研究推進部　【教育研究部門】 文理融合AI・データサイエンスセンター，特任助教，2021年10月 - 継続中

このページの先頭へ▲
 

外部資金等受入（教育・社会貢献の外部資金を含む） 【 表示 ／ 非表示 】

  • 証明論的順序数表記系の再検討：線形論理の観点から

    若手研究, 2022年度, 400,000千円

  • 証明論的順序数表記系の再検討：線形論理の観点から

    若手研究, 2021年度, 365,000千円

このページの先頭へ▲