研究キーワード 【 表示 / 非表示

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

学位 【 表示 / 非表示

  • 修士(哲学), 2009年03月

  • 博士(哲学), 2017年10月

学内職務経歴 【 表示 / 非表示

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

 

外部資金等受入(教育・社会貢献の外部資金を含む) 【 表示 / 非表示

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

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