Rchr
J-GLOBAL ID：200901036660881380   Update date: Aug. 31, 2020

Terui Kazushige

テルイ カズシゲ | Terui Kazushige
Affiliation and department：
Kyoto University Research Institute for Mathematical Sciences, Computing Research Laboratory

About Kyoto University Research Institute for Mathematical Sciences, Computing Research Laboratory


Job title： Research Associate
Homepage URL  (1)： http://research.nii.ac.jp/~terui
Research field  (1)： Information theory
Research keywords  (4)： 型理論 ,  論理学 ,  Type Theory ,  Logic
Research theme for competitive and other funds  (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 線形論理の基づく関数型プログラムの計算量制御
  • カット除去定理の意味論的研究
Show all
Papers (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
ｍore...
MISC (2)：
  • 照井一成. 『数学』を数学的に考える. 平成21 年7 月30 日から8 月3 日(第31 回)受講者数74( 延べ261). 2009
  • 照井一成. 証明論への代数的アプローチ. 数理研. 2006
Books (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 -
Education (4)：
  • - 2002 Keio University Graduate School of Letters
  • - 2002 Keio University Graduate School, Division of Letters Department of Philosophy
  • - 1995 Keio University Faculty of Letters
  • - 1995 Keio University Faculty of Literature Department of Philosophy
Professional career (1)：
  • Ph.D (Philosophy) (Keio University)
Work history (12)：
  • 2001 - 2002 リュミニ数学研究所(フランス) ポストドクトラルフェロー
  • 2001 - 2002 Post-doctoral fellow,
  • 2002 - ~ 国立情報学研究所 助手
  • 2002 - - Research Associate,
  • 1998 - 2001 学術振興会特別研究員
Show all
Awards (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
Association Membership(s) (4)：
European Association for Theoretical Computer Science ,  日本科学哲学会 ,  European Association for Theoretical Computer Science ,  Philosophy of Science Society Japan
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM