神戸大学 · DX・情報統括本部 · 名誉教授
田村 直之
TAMURA NAOYUKI
别名: タムラ ナオユキ / TAMURA Naoyuki
Research fields
研究领域
按日本文部科学省 科研費審査区分表 自动归类。KAKEN 项目数越多,代表教授在该领域投入越深。第一个为「主业」。
- 主业情報学中区分
- 知能情報学小区分
- ソフトウェア細目
- ソフトウエア細目
- 工学大区分
- 工学基礎小区分
- 幾何学細目
- 応用物理学・工学基礎中区分
- 情報工学小区分
- 情報科学中区分
- 数学中区分
- 理学大区分
- 総合・新領域系大区分
- 総合系大区分
- 総合領域大区分
- 複合領域大区分
- 解析学小区分
- 計算基盤大区分
- 計算機科学小区分
- 電気工学中区分
Research keywords
这位教授在研究什么
基于他/她公开的科研项目与论文自动提取的研究关键词,出现频次越高显示越大。
KAKEN grants
科研项目(近期在前)
KAKENHI 是日本科研最权威的经费系统,基金层级越高(S > A > B)越能反映影响力。
- 2022KAKENHI-基盤研究(C)制約充足問題制約プログラミング制約ソルバーSAT技術SATソルバー充足可能性問題
- 2021KAKENHI-基盤研究(C)
SAT技術に基づく系統的探索と確率的探索の統合的技法の研究開発 ↗
解集合プログラミング組合せ最適化巨大近傍探索命題論理の充足可能性判定(SAT)組合せ最適化問題時間割問題車両装備仕様問題 - 2018KAKENHI-基盤研究(C)
先進的な知識表現および推論技術を基盤とした多目的最適化ソルバーの研究開発 ↗
解集合プログラミング最適化時間割問題多目的最適化 - 2016KAKENHI-基盤研究(B)
SATを基盤とした新しい制約プログラミングシステムの研究開発 ↗
制約プログラミング充足可能性判定問題命題論理情報システムSATソルバー - 2015KAKENHI-基盤研究(C)
SAT符号化を用いた制約解集合プログラミングに関する研究開発 ↗
解集合プログラミング制約プログラミングSAT技術SAT - 2012KAKENHI-基盤研究(B)
命題論理の推論技術を用いた高性能かつ柔軟な制約プログラミングシステムの実現 ↗
制約プログラミング充足可能性判定問題命題論理 - 2008KAKENHI-基盤研究(A)
制約最適化問題のSAT変換による解法とその並列分散処理に関する研究 ↗
SAT制約最適化問題並列処理・分散処理計算機システム - 2005KAKENHI-基盤研究(C)
グリッド計算環境上で動作する並列制約解消システムに関する研究 ↗
制約充足問題グリッド計算並列計算制約解消グリッドConstraint Satisfaction ProblemsGrid ComputingParallel Computing - 2003KAKENHI-基盤研究(B)
充実期を迎えた線形論理の進化とその応用に関する研究 ↗
論理的手法線形論理形式仕様形式検証実時間システム証明論logical methodlinear logic - 2002KAKENHI-基盤研究(C)
線形論理の自動演繹システムに関する研究 ↗
線形論理自動演繹自動証明定理証明Linear LogicAutomated DeductionAutomated ReasoningTheorem Proving
CiNii papers
近期论文 / 文章
CiNii 覆盖日本国内期刊、论文集、图书章节。只保留最近的 10 条。
- 2018情報処理
小特集「LSIの配線問題―DAシンポジウムの配線問題解法コンテスト」: SATを用いた解法 ↗
- 2016情報処理
SATとパズル ↗
- 2010人工知能学会誌 25・1
SATソルバーの基礎 ↗
- 2010Carbohydrate Polymers
Oxidation of curdlan and other polysaccharides by 4-acetamide-TEMPO/NaClO/NaClO_2 under acid conditions ↗
- 2010人工知能学会誌 25・1
特集「最近のSAT技術の発展」にあたって ↗
- 2007スケジューリング シンポジウム2007講演論文集
ショップ スケジューリング問題のSAT変換による解法 ↗
- 2007スケジューリング シンポジウム2007講演論文集
ショップ スケジューリング問題のSAT変換による解法 ↗
- 2006人工知能学会学会誌 21・4
Prolog Cafe : Java上で動作するProlog処理系 ↗
- 2003Pharma Medica
緑内障治療薬多剤併用時における塩酸ブナゾシンの有用性 ↗
- 2003コンピュータソフトウェア
LLPTTP : 線形論理型言語コンパイラ処理系を用いた定理証明システム ↗
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,非实时抓取,可能滞后数周。每条目右侧链接可回溯到原始记录。
