研究者
J-GLOBAL ID:200901002041763958   更新日: 2019年11月29日

倉田 俊彦

クラタ トシヒコ | KURATA Toshihiko
所属機関・部署:
職名: 教授
研究分野 (2件): 情報学基礎理論 ,  数学解析
論文 (16件):
  • 倉田俊彦. On Sheaves Categorically Equivalent to Distributive Concrete Domains. 京都大学数理解析研究所講究録. 2015. 1950. 12-27
  • Sheaf-theoretical representation of concrete domains. 京都大学数理解析研究所講究録. 2013. 1832. 8-18
  • 藤田憲悦. 2階直観主義命題論理のKripkeモデルと束論的モデルの双対性. 京都大学数理解析研究所講究録. 2011. 1729. 1-8
  • 完備半順序集合の層に関する双極限の構成. 京都大学数理解析研究所講究録. 2009. 1635. 60-76
  • A fixed point construction for continuous functors on sheaves of dcpos. 2008
もっと見る
書籍 (1件):
  • RIMS講究録1635:証明論と論理・計算の構造
    京都大学数理解析研究所 2009
講演・口頭発表等 (35件):
  • Decidable properties of intersection type systems
    (Second international conference on typed lambda calculi and applications 1995)
  • A type theoretical view of Bohm-trees
    (Third international conference on typed lambda calculi and applications 1997)
  • Another theory of combinators for β-equality
    (13th term rewriting meeting 1998)
  • λ定義可能関数の値域に関する考察
    (第3回代数学と計算研究集会 1999)
  • Combinatory representation of λ-calculus
    (第4回代数学と計算研究集会 2001)
もっと見る
学歴 (1件):
  • - 1997 東京工業大学 情報理工学 数理・計算科学
学位 (1件):
  • 博士(理学) (東京工業大学)
委員歴 (2件):
  • 2013/07 - 2015/06 日本数学会 分科会運営委員・雑誌数学常任編集委員
  • 2009/04 - 2012/03 日本数学会 分科会運営委員
所属学会 (2件):
European association for theoretical computer science ,  日本数学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る