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

Terui Kazushige

テルイ カズシゲ | Terui Kazushige
Affiliation and department:
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
more...
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