研究者
J-GLOBAL ID：200901017173054066   更新日: 2020年09月01日

鹿島 亮

カシマ リョウ | RYO KASHIMA
所属機関・部署：
東京工業大学 情報理工学院

東京工業大学 情報理工学院 について


職名： 准教授
競争的資金等の研究課題 (4件)：
  • nonclassical logics
  • lambda calculus
  • 非古典論理
  • ラムダ計算
MISC (37件)：
もっと見る
書籍 (4件)：
  • 数理論理学
    朝倉書店 2009 ISBN:9784254117653
  • C言語による計算の理論
    サイエンス社 2008 ISBN:9784781912141
  • ゲーデルと20世紀の論理学・第3巻・不完全性定理と算術の体系
    東京大学出版会 2007
  • 数学基礎論講義-不完全性定理とその発展
    日本評論社 1997
講演・口頭発表等 (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)
もっと見る
Works (1件)：
  • 様相μ計算に関する研究
    2007 - 2007
学歴 (3件)：
  • - 1991 東京工業大学
  • - 1991 東京工業大学 理工学研究科 情報科学
  • - 1988 東京工業大学 理学部 情報科学
学位 (1件)：
  • 博士(理学) (東京工業大学)
経歴 (9件)：
  • 1998 - 2002 :
  • 1998 - 2002 :東京工業大学 講師
  • 2002 - -:
  • 2002 - -:東京工業大学
  • 1995 - 1998 :
全件表示
委員歴 (1件)：
  • 2008 - 日本数学会 数学基礎論分科会運営委員
所属学会 (3件)：
Association for Symbolic Logic ,  Association for Symbolic Logic ,  日本数学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM