Kashima Ryou 鹿島亮

… Alternative Names

KASHIMA Ryo 鹿島亮

Less

Researcher Number	10240756
Other IDs
External Links
Affiliation (Current)	2025: 東京科学大学, 情報理工学院, 准教授
Affiliation (based on the past Project Information) *help	2024: 東京科学大学, 情報理工学院, 准教授 2020 – 2023: 東京工業大学, 情報理工学院, 准教授 2014: 東京工業大学, 情報理工学(系)研究科, 准教授 2010: 東京工業大学, 大学院・情報理工学研究科, 准教授 2003 – 2006: 東京工業大学, 情報理工学研究科, 助教授 … More 2002 – 2004: 東京工業大学, 大学院・情報理工学研究科, 助教授 1997 – 1999: 東京工業大学, 大学院・情報理工学研究科, 講師 1996 – 1997: 北陸先端科学技術大学院大学, 情報科学研究科, 助手 Less
Review Section/Research Field	Principal Investigator General mathematics (including Probability theory/Statistical mathematics) / Basic Section 12030:Basic mathematics-related / Basic Section 12030:Basic mathematics-related Except Principal Investigator General mathematics (including Probability theory/Statistical mathematics) / Basic Section 60010:Theory of informatics-related / General mathematics (including Probability theory/Statistical mathematics) / 計算機科学 / Fundamental theory of informatics
Keywords	Principal Investigator 完全性 / 様相論理 / 非古典論理 / 命題論理 / ２階論理 / 中間論理 / ２階型付けラムダ計算 / 証明可能性論理 / 構成的否定 / 直観主義論理 … More / 数理論理学 / 厳密含意 / シークエント計算 / semilattice semantics / 適切含意論理 / 適切論理 / relevant logic … More Except Principal Investigator 逆数学 / 数理論理学 / ラムダ計算 / 部分構造論理 / 2階算術 / ロジック / 数学基礎論 / 確率ゲーム / 様相ミュー計算 / モデル検査 / 確率的推論 / 無限ゲーム / 様相μ計算 / Illative Combinatory Logic / Russel's Paradox / Intuitionistic Logic / Curry-Howard isomorphism / Classical Logic / Church / BCK Logic / Lambda Calculus / 極小論理式 / P=NP問題 / 集合論 / ラッセルの逆理 / 直観主義論理 / Curry-Howard対応 / 古典論理 / チャーチ / BCK論理 / lambda calculus / bounded arithmetic / reverse mathematics / second order arithmetic / formal arithmetic / type theory / theory of computation / logical structures / 算術のモデル / 証明論 / 限定算術 / 形式算術 / 型理論 / 計算論 / 論理構造 / constructive mathematics / term rewriting systems / modal logic / substructural logic / 項書き換え系 / 時間論理 / 構成的数学 / 項書換え系 / 様相論理 / innocent戦略 / ゲーム意味論 / 逆像層 / 逐次アルゴリズム / 具象領域 / 分配具象領域の表現定理 / 層論 / 高階逐次性 / 分配具象領域 / ランダム性 / 計算可能性理論 / 超準解析 Less

Constructive mu-calculus for model checkingPrincipal Investigator
- Principal Investigator
  
  鹿島亮
- Project Period (FY)
  2024 – 2026
- Research Category
  
  Grant-in-Aid for JSPS Fellows
- Review Section
  
  Basic Section 12030:Basic mathematics-related
- Research Institution
  Institute of Science Tokyo
様相ミュー計算と確率ゲームへの逆数学的アプローチ：ハイブリッド検査法の創出と分析
- Principal Investigator
  
  田中一之
- Project Period (FY)
  2021 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
- Research Institution
  Tohoku University
中間２階命題論理の研究Principal Investigator
- Principal Investigator
  
  鹿島亮
- Project Period (FY)
  2020 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 12030:Basic mathematics-related
- Research Institution
  Tokyo Institute of Technology
Sheaf structure in higher-order computaton and logic
- Principal Investigator
  
  KURATA Toshihiko
- Project Period (FY)
  2012 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Hosei University
Marriage of non-standard analysis and computability theory toward the light of algorithmic randomness
- Principal Investigator
  
  TANAKA Kazuyuki
- Project Period (FY)
  2007 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Tohoku University
Regeneration of Church's Lambda calculus on BCK logic
- Principal Investigator
  
  KOMORI Yuichi
- Project Period (FY)
  2003 – 2006
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Chiba University
シークエント計算の新技法Principal Investigator
- Principal Investigator
  
  鹿島亮
- Project Period (FY)
  2002 – 2004
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Tokyo Institute of Technology
適切含意の論理の研究Principal Investigator
- Principal Investigator
  
  鹿島亮
- Project Period (FY)
  1998 – 1999
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Tokyo Institute of Technology
Studies on logical structures of arithmetic and computation
- Principal Investigator
  
  TANAKA Kazuyuki
- Project Period (FY)
  1997 – 1999
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  TOHOKU UNIVERSITY
Applications of Mathematical Logic in Theoretical Computer Science
- Principal Investigator
  
  ONO Hiroakira
- Project Period (FY)
  1996 – 1997
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Japan Advanced Institute of Science and Technology, Hokuriku

All 2024 2023 2022 2021 2020 2015 2014 2013 2007 2005 2004 2003 Other

All Journal Article Presentation Book

[Book] コンピュータサイエンスにおける様相論理2022
- Author(s)
  鹿島亮
- Total Pages
  176
- Publisher
  森北出版
- ISBN
  9784627856417
- Data Source
  KAKENHI-PROJECT-20K03712
[Book] コンピュータサイエンスにおける様相論理2022
- Author(s)
  鹿島亮
- Total Pages
  176
- Publisher
  森北出版
- ISBN
  4627856415
- Data Source
  KAKENHI-PROJECT-23K21641
[Book] 『ゲーデルと20世紀の論理学(ロジック)』, 第3巻「不完全性定理と算術の体系」2007
- Author(s)
  田中一之編, 田中一之, 鹿島亮, 山崎武, 白旗優著
- Total Pages
  296
- Publisher
  東京大学出版会
- Data Source
  KAKENHI-PROJECT-19340019
[Book] ゲーデルと20世紀の論理学(3)不完全性定理と算術の体系2007
- Author(s)
  田中一之, 鹿島亮他
- Total Pages
  264
- Publisher
  東京大学出版会
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15540107
[Book] ゲーデルと20世紀の論理学(3)不完全性定理と算術の体系2007
- Author(s)
  田中一之, 鹿島亮, 山崎武, 白旗優
- Total Pages
  264
- Publisher
  東京大学出版会
- Data Source
  KAKENHI-PROJECT-15540107
[Journal Article] 様相ミュー計算のタブロー法の完全性と無限ゲームの決定性について2022
- Author(s)
  鹿島亮
- Journal Title
  
  RIMS Kokyuroku
  
  Volume: 2233 Pages: 65-81
- Data Source
  KAKENHI-PROJECT-23K21641
[Journal Article] Term-Space Semantics of Typed Lambda Calculus2020
- Author(s)
  Kashima Ryo、Matsuda Naosuke、Yuyama Takao
- Journal Title
  
  Notre Dame Journal of Formal Logic
  
  Volume: 61 Issue: 4 Pages: 591-600
- DOI
  10.1215/00294527-2020-0028
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20K03712, KAKENHI-PROJECT-20J23039
[Journal Article] Reduction Rules for Intuitionistic λρ-calculus2015
- Author(s)
  Ken-etsu Fujita, Ryo Kashima, Yuichi Komori, and Naosuke Matsuda
- Journal Title
  
  Studia Logica
  
  Volume: 印刷中
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500025
[Journal Article] An axiomatization of ECTL2014
- Author(s)
  Ryo Kashima
- Journal Title
  
  Journal of Logic and Computation
  
  Volume: 24 Issue: 1 Pages: 117-133
- DOI
  10.1093/logcom/ext005
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500025
[Journal Article] An axiomatization of ECTL2013
- Author(s)
  Ryo Kashima
- Journal Title
  
  Journal of Logic and Computation
  
  Volume: -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500025
[Journal Article] 中間述語論理CDについて2007
- Author(s)
  鹿島亮
- Journal Title
  
  京都大学数理解析研究所講究録 1533
  
  Pages: 1-8
- Data Source
  KAKENHI-PROJECT-15540107
[Journal Article] Completeness Theorem of First-Order Modal mu-calculus2007
- Author(s)
  Ryo Kashima
- Journal Title
  
  Research Reports on Mathematical and Computing Sciences C-224
- Data Source
  KAKENHI-PROJECT-15540107
[Journal Article] Bimodal logics with irreflexive modality2005
- Author(s)
  Katsuhiko Sano, Ryo Kashima
- Journal Title
  
  Proceedings of 1st World Congress of Universal Logic
  
  Pages: 93-93
- Data Source
  KAKENHI-PROJECT-15540107
[Journal Article] Bimodal Logics with Irreflexive Modality2005
- Author(s)
  Ryo Kashima, Katsuhiko Sano
- Journal Title
  
  Proceedings of 1st World Congress on Universal logic 2005
  
  Pages: 93-93
- Data Source
  KAKENHI-PROJECT-15540107
[Journal Article] 非反射的様相を持つ論理の完全性について2004
- Author(s)
  鹿島亮
- Journal Title
  
  日本数学会2004年度秋季総合分科会,数学基礎論および歴史分科会講演アブストラクト集
  
  Pages: 24-25
- Data Source
  KAKENHI-PROJECT-14740064
[Journal Article] Completeness via labelled sequent calculi for bimodal logics with irreflexive modality.2004
- Author(s)
  Ryo Kashima
- Journal Title
  
  Proceedings of 38th MLG meeting at Gamagori
  
  Pages: 53-55
- Data Source
  KAKENHI-PROJECT-14740064
[Journal Article] On Semilattice Relevant Logics2003
- Author(s)
  Ryo Kashima
- Journal Title
  
  Mathematical Logic Quarterly 49-4
  
  Pages: 401-414
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15540107
[Journal Article] On Semilattice Relevant Logics2003
- Author(s)
  鹿島亮
- Journal Title
  
  Mathematical Logic Quarterly 49・4
  
  Pages: 39-48
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15540107
[Presentation] Two topics on nested sequent calculi for modal logics2024
- Author(s)
  Ryo Kashima
- Organizer
  6th Asian Workshop on Philosophical Logic
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K03712
[Presentation] 証明可能性論理Dのカット無しシークエント計算2023
- Author(s)
  鹿島亮, 倉橋太志, 岩田荘平
- Organizer
  日本数学会2023年度秋季総合分科会
- Data Source
  KAKENHI-PROJECT-20K03712
[Presentation] 様相論理の入れ子シークエント計算について2023
- Author(s)
  鹿島亮
- Organizer
  RIMS共同研究(公開型)「証明論と計算論の最前線」
- Data Source
  KAKENHI-PROJECT-20K03712
[Presentation] Cut-free sequent calculi for the provability logic D2023
- Author(s)
  Ryo Kashima , Taishi Kurahashi , Sohei Iwata
- Organizer
  The 17th Asian Logic Conference
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K03712
[Presentation] 証明可能性論理 GLS の意味論とカット除去2022
- Author(s)
  加藤裕，鹿島亮
- Organizer
  日本数学会秋季総合分科会数学基礎論および歴史分科会
- Data Source
  KAKENHI-PROJECT-20K03712
[Presentation] 様相ミュー計算のタブロー法の完全性と無限ゲームの決定性について2022
- Author(s)
  鹿島亮
- Organizer
  京都大学数理解析研究所 RIMS共同研究（公開型）「数理論理学とその応用」
- Invited
- Data Source
  KAKENHI-PROJECT-20K03712
[Presentation] ラムダ計算の2階型付け体系の完全性について2021
- Author(s)
  外丸真一 , 鹿島亮
- Organizer
  日本数学会 2021年度年会数学基礎論および歴史分科会
- Data Source
  KAKENHI-PROJECT-20K03712
[Presentation] 変数の個数を制限した一階述語論理に対する Lindstrom 定理2021
- Author(s)
  鹿島亮，木内詠美
- Organizer
  RIMS 共同研究（公開型）「証明と計算の理論と応用」
- Data Source
  KAKENHI-PROJECT-20K03712
[Presentation] Semilattice relevant logic について
- Author(s)
  鹿島亮
- Organizer
  日本数学会秋季総合分科会
- Place of Presentation
  広島大学（広島県東広島市）
- Year and Date
  2014-09-25 – 2014-09-28
- Data Source
  KAKENHI-PROJECT-24500025
[Presentation] 時相論理CTL*やその部分体系の公理化について
- Author(s)
  鹿島亮，岩波克
- Organizer
  日本数学会2013年度秋季総合分科会
- Place of Presentation
  愛媛大学（愛媛県）
- Data Source
  KAKENHI-PROJECT-24500025

1. TANAKA Kazuyuki (70188291)

# of Collaborated Projects: 3 results

# of Collaborated Products: 1 results
2. HATTORI Tetsuya (10180902)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
3. HIROKAWA Sachio (40126785)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
4. OZAWA Masanao (40126313)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
5. KURODA Satoru (30300586)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
6. KUMABE Masahiro (70255173)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
7. KOMORI Yuichi (10022302)

# of Collaborated Projects: 2 results

# of Collaborated Products: 1 results
8. FUJITA Ken-etsu (30228994)

# of Collaborated Projects: 2 results

# of Collaborated Products: 1 results
9. YAMAZAKI Takeshi (30336812)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
10. SUZUKI Toshio (30235973)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. KURATA Toshihiko (40311899)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. ONO Hiroakira (90055319)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. AOTO Takahito (00293390)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. ISHIHARA Hajime (10211046)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. TOYAMA Yoshihito (00251968)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. HORAI Masako (00015588)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. AKAMA Yohji (30272454)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
18. HASEGAWA Ryu (20243107)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
19. TATSUTA Makoto (80216994)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
20. SAKURAI Takafumi (60183373)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
21. YAMAMOTO Mitsuharu (00291295)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
22. WOLTER Frank (20272990)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
23. 酒井正彦 (50215597)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
24. 安本雅洋 (10144114)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
25. 菊池誠 (60273801)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
26. 多田充 (20303331)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
27. 宮部賢志 (00583866)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
28. 木原貴行 (80722701)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
29. KAWAKAMI PACHECO LEONARDO

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Kashima Ryou 鹿島 亮

KASHIMA Ryo 鹿島 亮

Research Projects

Research Products

Co-Researchers

Constructive mu-calculus for model checkingPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

様相ミュー計算と確率ゲームへの逆数学的アプローチ：ハイブリッド検査法の創出と分析

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

中間２階命題論理の研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Sheaf structure in higher-order computaton and logic

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Marriage of non-standard analysis and computability theory toward the light of algorithmic randomness

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Regeneration of Church's Lambda calculus on BCK logic

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

シークエント計算の新技法Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

適切含意の論理の研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Studies on logical structures of arithmetic and computation

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Applications of Mathematical Logic in Theoretical Computer Science

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] コンピュータサイエンスにおける様相論理2022

Author(s)

Total Pages

Publisher

ISBN

Data Source

[Book] コンピュータサイエンスにおける様相論理2022

Author(s)

Total Pages

Publisher

ISBN

Data Source

[Book] 『ゲーデルと20世紀の論理学(ロジック)』, 第3巻「不完全性定理と算術の体系」2007

Author(s)

Total Pages

Kashima Ryou 鹿島亮

KASHIMA Ryo 鹿島亮