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

RYO KASHIMA

カシマ リョウ | RYO KASHIMA
Affiliation and department:
Job title: Associate Professor
Research theme for competitive and other funds  (4):
  • nonclassical logics
  • lambda calculus
  • 非古典論理
  • ラムダ計算
MISC (37):
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)
more...
Works (1):
  • 様相μ計算に関する研究
    2007 - 2007
Education (3):
  • - 1991 Tokyo Institute of Technology
  • - 1991 Tokyo Institute of Technology
  • - 1988 Tokyo Institute of Technology
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