東京科学大学 · 情報理工学院 · 准教授
鹿島 亮
Kashima Ryou
别名: カシマ リヨウ / KASHIMA Ryo
Research fields
研究领域
按日本文部科学省 科研費審査区分表 自动归类。KAKEN 项目数越多,代表教授在该领域投入越深。第一个为「主业」。
- 主业数学一般(含確率論・統計数学)小区分
- 数学中区分
- 情報学中区分
- 情報学基礎大区分
- 情報科学中区分
- 数物系科学大区分
- 理学大区分
- 理工系大区分
- 総合・新領域系大区分
- 総合領域大区分
- 複合領域大区分
- 計算機科学小区分
Research keywords
这位教授在研究什么
基于他/她公开的科研项目与论文自动提取的研究关键词,出现频次越高显示越大。
KAKEN grants
科研项目(近期在前)
KAKENHI 是日本科研最权威的经费系统,基金层级越高(S > A > B)越能反映影响力。
- 2024KAKENHI-特別研究員奨励費直観主義的様相論理
- 2021KAKENHI-基盤研究(B)
様相ミュー計算と確率ゲームへの逆数学的アプローチ:ハイブリッド検査法の創出と分析 ↗
数理論理学様相μ計算無限ゲーム逆数学確率的推論モデル検査様相ミュー計算確率ゲーム - 2020KAKENHI-基盤研究(C)
中間2階命題論理の研究 ↗
様相論理証明可能性論理シークエント計算2階型付けラムダ計算完全性中間論理2階論理命題論理 - 2012KAKENHI-基盤研究(C)
計算と論理に対する層論的構造解析の展開 ↗
分配具象領域高階逐次性層論分配具象領域の表現定理具象領域逐次アルゴリズム逆像層ゲーム意味論 - 2007KAKENHI-基盤研究(B)
超準解析と計算可能性理論の融合-ランダム性へのロジカル・アプローチ- ↗
数学基礎論超準解析計算可能性理論ランダム性ロジック逆数学2階算術 - 2003KAKENHI-基盤研究(C)
チャーチのラムダ計算のBCK論理による再生 ↗
ラムダ計算BCK論理チャーチ古典論理Curry-Howard対応直観主義論理ラッセルの逆理集合論 - 2002KAKENHI-若手研究(B)
シークエント計算の新技法 ↗
シークエント計算様相論理厳密含意完全性数理論理学直観主義論理構成的否定 - 1998KAKENHI-奨励研究(A)
適切含意の論理の研究 ↗
relevant logic適切論理適切含意論理semilattice semantics - 1997KAKENHI-基盤研究(B)
算術と計算の論理構造に関する研究 ↗
論理構造計算論型理論形式算術2階算術逆数学限定算術ラムダ計算 - 1996KAKENHI-基盤研究(C)
理論計算機科学における数理論理学の応用 ↗
部分構造論理様相論理項書換え系構成的数学時間論理項書き換え系substructural logicmodal logic
CiNii papers
近期论文 / 文章
CiNii 覆盖日本国内期刊、论文集、图书章节。只保留最近的 10 条。
- 2022RIMS Kokyuroku
様相ミュー計算のタブロー法の完全性と無限ゲームの決定性について ↗
- 2014数学セミナー
ホーア論理・ダイナミック論理 ↗
- 2007京都大学数理解析研究所講究録 1533
中間述語論理CDについて ↗
- 2004日本数学会2004年度秋季総合分科会,数学基礎論および歴史分科会講演アブストラクト集
非反射的様相を持つ論理の完全性について ↗
- 2003Mathematical Logic Quarterly 49・4
On Semilattice Relevant Logics ↗
- 2001数理解析研究所講究録
A Proof of the Standardization Theorem in λ-Calculus ↗
- 1998Research report
Conservative extensions in relevant implicational logics ↗
How to assess fit
如何判断这位教授是否适合你
数据库的数据告诉你「这位教授在做什么」;能不能适合你,需要你自己对照以下几点判断。
- 关键词对齐
上面的关键词云里,有没有你研究计划书中反复出现的词?1-2 个重合是起点,3+ 个说明方向接近。
- 近期项目对应
看 KAKEN 项目的时间 — 近 2 年还有活跃项目说明研究室还在跑;只看项目名也大致能判断和你的问题是否相关。
- 不要只看学校名气
方向匹配度 > 学校排名。一位方向对口、还在活跃招生的副教授,往往比一位名气大但快退休的正教授更值得考虑。
- 留意招生信号
查一下该教授的研究室官网,看 OB/OG 名录里有没有中国 / 韩国 / 东南亚学生 — 这是「是否招留学生」最直接的信号。
ℹ️ 后期会加入基于 LLM 的中文画像(例如:「这位教授的研究风格偏...,适合什么样的申请者」),目前先用数据库公开字段 + 编辑建议替代。
数据来源说明:此页所有数据均来自 NII 旗下 KAKEN(nrid.nii.ac.jp)+ CiNii Research(cir.nii.ac.jp)公开 API,非实时抓取,可能滞后数周。每条目右侧链接可回溯到原始记录。
