基本情報

所属
名古屋大学 大学院情報学研究科 数理情報学専攻 数理情報基礎論 准教授

研究者番号
80722701
J-GLOBAL ID
201101075726157479

外部リンク

【研究分野】
数理論理学,特に,計算可能性理論 (再帰理論), 記述集合論,逆数学,次数の理論,計算可能解析学,アルゴリズム情報理論 (計算論的ランダム性の理論)など.


詳細は名古屋大学のページをご確認ください:
http://www.math.mi.i.nagoya-u.ac.jp/~kihara/index-j.html

写真は 2020年11月撮影


主要な論文

  26

MISC

  4

講演・口頭発表等

  40

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

  3