基本情報

所属
お茶の水女子大学 文理融合AI・データサイエンスセンター 特任助教
慶應義塾大学 文学部 非常勤講師
(兼任)論理と感性のグローバル研究センター 共同研究員
早稲田大学 文化構想学部 非常勤講師
学位
博士(哲学)(2017年10月 慶應義塾大学)
修士(哲学)(2009年3月 慶應義塾大学)

連絡先
yuuta.taka84gmail.com
研究者番号
70826990
ORCID ID
 https://orcid.org/0000-0002-5214-7077
J-GLOBAL ID
201301041203186753
researchmap会員ID
B000234326

証明論の観点から無限および計算を研究することに興味があります。

研究分野:無矛盾性証明、型理論(特に正規化)、項書換え(特に停止性)、線形論理(特にLudics)、証明論的意味論、G・フレーゲの哲学


論文

  13

講演・口頭発表等

  44

MISC

  7

研究キーワード

  2

委員歴

  1

担当経験のある科目(授業)

  3

共同研究・競争的資金等の研究課題

  4