Kashima Ryou 鹿島亮

… Alternative Names

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

様相ミュー計算と確率ゲームへの逆数学的アプローチ：ハイブリッド検査法の創出と分析
- Principal Investigator
  
  田中一之
- Project Period (FY)
  2021 – 2024
- 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 2021 2020 2015 2014 2013 2007 2005 2004 2003 Other

All Journal Article Presentation Book

[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
[Book] 『ゲーデルと20世紀の論理学(ロジック)』, 第3巻「不完全性定理と算術の体系」2007
- Author(s)
  田中一之編, 田中一之, 鹿島亮, 山崎武, 白旗優著
- Total Pages
  296
- Publisher
  東京大学出版会
- Data Source
  KAKENHI-PROJECT-19340019
[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 Pages: 591-600
- DOI
  10.1215/00294527-2020-0028
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20K03712
[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 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] 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] 非反射的様相を持つ論理の完全性について2004
- Author(s)
  鹿島亮
- Journal Title
  
  日本数学会2004年度秋季総合分科会,数学基礎論および歴史分科会講演アブストラクト集
  
  Pages: 24-25
- Data Source
  KAKENHI-PROJECT-14740064
[Journal Article] On Semilattice Relevant Logics2003
- Author(s)
  鹿島亮
- Journal Title
  
  Mathematical Logic Quarterly 49・4
  
  Pages: 39-48
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15540107
[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
[Presentation] ラムダ計算の2階型付け体系の完全性について2021
- Author(s)
  外丸真一 , 鹿島亮
- Organizer
  日本数学会 2021年度年会数学基礎論および歴史分科会
- Data Source
  KAKENHI-PROJECT-20K03712
[Presentation] 時相論理CTL*やその部分体系の公理化について
- Author(s)
  鹿島亮，岩波克
- Organizer
  日本数学会2013年度秋季総合分科会
- Place of Presentation
  愛媛大学（愛媛県）
- Data Source
  KAKENHI-PROJECT-24500025
[Presentation] Semilattice relevant logic について
- Author(s)
  鹿島亮
- Organizer
  日本数学会秋季総合分科会
- Place of Presentation
  広島大学（広島県東広島市）
- Year and Date
  2014-09-25 – 2014-09-28
- 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

Kashima Ryou 鹿島 亮

鹿島 亮 カシマ リヨウ

KASHIMA Ryo 鹿島 亮

Research Projects

Research Products

Co-Researchers

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

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] ゲーデルと20世紀の論理学(3)不完全性定理と算術の体系2007

Author(s)

Total Pages

Publisher

Description

Data Source

[Book] ゲーデルと20世紀の論理学(3)不完全性定理と算術の体系2007

Author(s)

Total Pages

Publisher

Data Source

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

Author(s)

Total Pages

Publisher

Data Source

[Journal Article] Term-Space Semantics of Typed Lambda Calculus2020

Author(s)

Journal Title

DOI

Kashima Ryou 鹿島亮

鹿島亮カシマリヨウ

KASHIMA Ryo 鹿島亮