Rchr
J-GLOBAL ID：200901017173054066   Update date: Sep. 01, 2020

RYO KASHIMA

カシマ リョウ | RYO KASHIMA
Affiliation and department：
Tokyo Institute of Technology School of Computing

About Tokyo Institute of Technology School of Computing


Job title： Associate Professor
Research theme for competitive and other funds  (4)：
  • nonclassical logics
  • lambda calculus
  • 非古典論理
  • ラムダ計算
MISC (37)：
ｍore...
Books (4)：
  • 数理論理学
    朝倉書店 2009 ISBN:9784254117653
  • C言語による計算の理論
    サイエンス社 2008 ISBN:9784781912141
  • ゲーデルと20世紀の論理学・第3巻・不完全性定理と算術の体系
    東京大学出版会 2007
  • 数学基礎論講義-不完全性定理とその発展
    日本評論社 1997
Lectures and oral presentations  (10)：
  • 到達可能関係の推移的閉包を扱う様相論理の完全性
    (日本数学会 数学基礎論分科会 講演アブストラクト 2009)
  • 述語様相μ計算の完全性について
    (日本数学会2007年度年会 2007)
  • 中間命題論理の公理に関する問題
    (日本数学会年会 2006)
  • Bimodal Logics with Irreflexive Modality
    (1st World Congress on Universal Logic 2005)
  • Bimodal Logics with Irreflexive Modality
    (1st World Congress on Universal Logic 2005)
ｍore...
Works (1)：
  • 様相μ計算に関する研究
    2007 - 2007
Education (3)：
  • - 1991 Tokyo Institute of Technology Graduate School, Division of Science and Engineering
  • - 1991 Tokyo Institute of Technology Science of Engineering
  • - 1988 Tokyo Institute of Technology School of Science
Professional career (1)：
  • Doctor of Science
Work history (9)：
  • 1998 - 2002 :
  • 1998 - 2002 :東京工業大学 講師
  • 2002 - -:
  • 2002 - -:東京工業大学
  • 1995 - 1998 :
Show all
Committee career (1)：
  • 2008 - 日本数学会 数学基礎論分科会運営委員
Association Membership(s) (3)：
Association for Symbolic Logic ,  Association for Symbolic Logic ,  日本数学会
※ 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