法政大学 · 経営学部 · 教授
倉田 俊彦
Kurata Toshihiko
别名: クラタ トシヒコ / KURATA Toshihiko
Research fields
研究领域
按日本文部科学省 科研費審査区分表 自动归类。KAKEN 项目数越多,代表教授在该领域投入越深。第一个为「主业」。
- 主业数学中区分
- 代数学小区分
- 幾何学細目
- 情報学中区分
- 情報学基礎大区分
- 情報科学中区分
- 数学基礎・応用数学細目
- 数物系科学大区分
- 理学大区分
- 理工系大区分
- 総合・新領域系大区分
- 総合領域大区分
- 複合領域大区分
- 計算機科学小区分
Research keywords
这位教授在研究什么
基于他/她公开的科研项目与论文自动提取的研究关键词,出现频次越高显示越大。
KAKEN grants
科研项目(近期在前)
KAKENHI 是日本科研最权威的经费系统,基金层级越高(S > A > B)越能反映影响力。
- 2023KAKENHI-基盤研究(C)直観主義論理代数的モデルKripkeモデル決定可能性領域理論型理論代数的意味論Curry-Howard同型
- 2020KAKENHI-基盤研究(C)
ゲーデルのシステムTと計算量的階層に関する研究 ↗
ラムダ計算カリー・ハワード同型2階直観主義論理型理論チャーチ・ロッサーの定理ジラールのパラドックスブーロスの最強の論理パズル合成的Z定理 - 2017KAKENHI-基盤研究(C)
簡約システムの存在定理に関する定量的性質の解明 ↗
ラムダ計算グルジェゴルチック階層チャーチ・ロッサーの定理箙並行簡約隣接行列計算の複雑さ簡約列 - 2013KAKENHI-基盤研究(C)
ラムダ計算の型問題に対する可解性・非可解性の特徴付け ↗
ラムダ計算型検査問題型推論問題決定可能性チャーチ流カリー流チャーチ・ロッサーの定理型検査 - 2012KAKENHI-基盤研究(C)
計算と論理に対する層論的構造解析の展開 ↗
分配具象領域高階逐次性層論分配具象領域の表現定理具象領域逐次アルゴリズム逆像層ゲーム意味論 - 2007KAKENHI-若手研究(B)
アルゴリズムの構造を反映する数理モデルの構成と応用 ↗
プログラム意味論ラムダ計算型理論層論領域理論外延性高階遂次性Kripkeモデル - 2002KAKENHI-基盤研究(B)
岩澤理論の精密化とその応用 ↗
岩澤理論岩澤主予想岩澤加群イデアル類群FittingイデアルStickelbergerイデアルIwasawa theoryIwasawa main conjecture - 2002KAKENHI-若手研究(B)
プログラムの表示的意味論と効率的実行手法の研究 ↗
単純型理論カルテシアン閉圏弱外延性PCF領域理論λ代数領域方程式Cartesian閉圏 - 2001KAKENHI-基盤研究(B)
数論アルゴリズムの研究と数論システムの開発 ↗
数論アルゴリズム数論システム暗号理論楕円曲線JANTSIMATHNZMATHPython - 2000KAKENHI-基盤研究(C)
遠アーベル幾何学とガロア群の相互作用の数論的研究 ↗
ガロア表現ガロア群タメガロア表現遠アーベル幾何写像類群タイフシュラーモジュラー群数論的基本群グロタンディーク・タイヒシュラー群
CiNii papers
近期论文 / 文章
CiNii 覆盖日本国内期刊、论文集、图书章节。只保留最近的 10 条。
- 2018Kyoto University, RIMS Kokyuroku
Distributive Concrete Domains and Sheaves on DI-Domains ↗
- 2018京都大学数理解析研究所 講究録
Distributive Concrete Domains and Sheaves on DI-Domains ↗
- 2015京都大学数理解析研究所講究録
On sheaves categorically equivalent to distributive concrete domains ↗
- 2013京都大学数理解析研究所講究録
Sheaf-Theoretical Representation of Concrete Domains ↗
- 2013京都大学数理解析研究所講究録 (RIMS共同研究 証明論と複雑性)
Sheaf-theoretical representation of concrete domains ↗
- 2011京都大学数理解析研究所講究録 1729
2階直観主義命題論理のKripkeモデルと束論的モデルの双対性 ↗
- 2010経営志林
包絡分析法に基づく十種競技得点計算の検証 ↗
DOI: 10.15002/00008423
- 2009数理解析研究所講究録
完備半順序集合の層に関する双極限の構成 ↗
- 2009京都大学数理解析研究所講究録 1635
完備半順序集合の層に関する双極限の構成 ↗
- 2003平成15年度繊維学会年次大会予稿集
麻及びレーヨンパルプから調製した不織布介護シーツの特性 ↗
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,非实时抓取,可能滞后数周。每条目右侧链接可回溯到原始记录。
