このページはJavascriptを使用しています。すべての機能を使用するためにはJavascript を有効にする必要があります。
タカハシ ユウタ
研究・産学連携本部 研究推進部 【教育研究部門】 文理融合AI・データサイエンスセンター
基本情報
学位
学内職務経歴
外部資金等受入(教育・社会貢献の外部資金を含む)
2022/05/24 更新
高橋 優太
TAKAHASHI Yuta
職名
特任助教
所属
証明論、型理論、項書換え
修士(哲学), 2009年03月
博士(哲学), 2017年10月
研究・産学連携本部 研究推進部 【教育研究部門】 文理融合AI・データサイエンスセンター,特任助教,2021年10月 - 継続中
証明論的順序数表記系の再検討:線形論理の観点から
若手研究, 2021年度, 365千円