• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Kashima Ryou  鹿島 亮

ORCIDConnect your ORCID iD *help
… Alternative Names

鹿島 亮  カシマ リヨウ

KASHIMA Ryo  鹿島 亮

Less
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 / 構成的否定 / 2階型付けラムダ計算 / 中間論理 / 2階論理 / 命題論理 / 非古典論理 … 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
  • Research Projects

    (9 results)
  • Research Products

    (18 results)
  • Co-Researchers

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

    • 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
  •  中間2階命題論理の研究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

URL: 

Are you sure that you want to connect your ORCID iD to this researcher?
* This action can be performed only by the researcher themselves.

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi