研究者
J-GLOBAL ID：200901036660881380   更新日: 2020年08月31日

照井 一成

テルイ カズシゲ | Terui Kazushige
所属機関・部署：
京都大学 数理解析研究所 附属計算機構研究施設

京都大学 数理解析研究所 附属計算機構研究施設 について


職名： 助手
ホームページURL (1件)： http://research.nii.ac.jp/~terui
研究分野 (1件)： 情報学基礎論
研究キーワード (4件)： 型理論 ,  論理学 ,  Type Theory ,  Logic
競争的資金等の研究課題 (8件)：
  • 2004 - 2006 線型論理に基づく関数型プログラムの計算量の研究
  • 2004 - 2006 Studies on computational complexity in functional programming based on linear logic
  • 2002 - 2006 Control of computational complexity in functional programming based on linear logic
  • 2002 - 2003 線形論理の基づく関数型プログラムの計算量制御
  • カット除去定理の意味論的研究
全件表示
論文 (27件)：
  • Kazushige Terui. MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics. 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK. 2018. 37:1-37:19
  • Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui. Algebraic proof theory: Hypersequents and hypercompletions. ANNALS OF PURE AND APPLIED LOGIC. 2017. 168. 3. 693-737
  • Ryota Akiyoshi, Kazushige Terui. Strong Normalization for the Parameter-Free Polymorphic Lambda Calculus Based on the Omega-Rule. 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal. 2016. 5:1-5:15
  • Damiano Mazzal, Kazushige Terui. Parsimonious Types and Non-uniform Computation. AUTOMATA, LANGUAGES, AND PROGRAMMING, PT II. 2015. 9135. 350-361
  • Kazushige Terui. Intersection Types for Normalization and Verification (Invited Talk). IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India. 2013. 41-42
もっと見る
MISC (2件)：
  • 照井一成. 『数学』を数学的に考える. 平成21 年7 月30 日から8 月3 日(第31 回)受講者数74( 延べ261). 2009
  • 照井一成. 証明論への代数的アプローチ. 数理研. 2006
書籍 (3件)：
  • 証明論・計算論とその周辺
    京都大学数理解析研究所 2015
  • コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ
    青土社 2015 ISBN:9784791768516
  • 論理の哲学
    講談社 2005 ISBN:4062583410
Works (4件)：
  • 線型論理と型理論および計算の複雑さに関する研究
    2005 -
  • Studies on linear logic, type theory and computational complexity
    2005 -
  • 構成的論理・関数型プログラミングにおける計算量の研究
    2004 -
  • Computational complexity in constructive logics and functional programs
    2004 -
学歴 (4件)：
  • - 2002 慶應義塾大学 文学研究科 哲学専攻
  • - 2002 慶應義塾大学
  • - 1995 慶應義塾大学 文学部 哲学科哲学専攻
  • - 1995 慶應義塾大学
学位 (1件)：
  • 博士(哲学) (慶應義塾大学)
経歴 (12件)：
  • 2001 - 2002 リュミニ数学研究所(フランス) ポストドクトラルフェロー
  • 2001 - 2002 Post-doctoral fellow,
  • 2002 - ~ 国立情報学研究所 助手
  • 2002 - - Research Associate,
  • 1998 - 2001 学術振興会特別研究員
全件表示
受賞 (2件)：
  • 2001 - 第16回IEEE"Logic in Computer Science"学会 クリーネ賞(最優秀学生論文賞、Kleene Award)
  • 2001 - Kleene Award (for the best student paper), the 16th Annual IEEE Conference on Logic in Computer Science
所属学会 (4件)：
European Association for Theoretical Computer Science ,  日本科学哲学会 ,  European Association for Theoretical Computer Science ,  Philosophy of Science Society Japan
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM