研究者
J-GLOBAL ID：200901017173054066   更新日: 2024年11月19日

鹿島 亮

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

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


職名： 准教授
研究分野 (1件)： 数学基礎
競争的資金等の研究課題 (4件)：
  • nonclassical logics
  • lambda calculus
  • 非古典論理
  • ラムダ計算
論文 (4件)：
  • Kento Takagi, Ryo Kashima. On the completeness and the decidability of strictly monadic second-order logic. Mathematical Logic Quarterly. 2021. 66. 4. 438-447
  • Ryo Kashima, Naosuke Matsuda, Takao Yuyama. Term-Space Semantics of Typed Lambda Calculus. Notre Dame Journal of Formal Logic. 2020. 61. 4
  • Ken-etsu Fujita, Ryo Kashima, Yuichi Komori, Naosuke Matsuda. Reduction Rules for Intuitionistic $${ { \lambda}{\rho } }$$ λ ρ -calculus. Studia Logica. 2015. 103. 6. 1225-1244
  • R. Kashima. An axiomatization of ECTL. Journal of Logic and Computation. 2013. 24. 1. 117-133
MISC (38件)：
もっと見る
書籍 (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件)：
  • 博士(理学) (東京工業大学)
委員歴 (1件)：
  • 2008 - 日本数学会 数学基礎論分科会運営委員
所属学会 (3件)：
Association for Symbolic Logic ,  Association for Symbolic Logic ,  日本数学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM