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 線形論理の基づく関数型プログラムの計算量制御
カット除去定理の意味論的研究
構成的論理・関数型プログラミングにおける計算量の研究
Semantic investigation into cut-elimination
Computational complexity in constructive logics and functional programming
全件表示
論文 (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
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
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 学術振興会特別研究員
1998 - 2001 Research Fellow,
1999 - ~ 慶應義塾大学文学部 非常勤講師
1999 - - Part-time lecturer, Department of Philosophy,
国立情報学研究所
Institut de Mathematique de Luminy (France)
慶應義塾大学
the Japan Society for the Promotion of Science
全件表示
受賞 (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