信州大学 · 学術研究院工学系 · 教授
和崎 克己
WASAKI KATSUMI
别名: ワサキ カツミ / Wasaki Katsumi / WASAKI Katumi / 和崎 克巳 / 和崎 克美
Research fields
研究领域
按日本文部科学省 科研費審査区分表 自动归类。KAKEN 项目数越多,代表教授在该领域投入越深。第一个为「主业」。
- 主业工学大区分
- 情報学中区分
- 情報科学中区分
- 教育工学細目
- 機械力学・制御細目
- 機械工学中区分
- 知能情報学小区分
- 科学教育・教育工学小区分
- 総合・新領域系大区分
- 総合領域大区分
- 複合領域大区分
- 計測工学細目
- 計算機科学小区分
- 電気電子工学中区分
Research keywords
这位教授在研究什么
基于他/她公开的科研项目与论文自动提取的研究关键词,出现频次越高显示越大。
KAKEN grants
科研项目(近期在前)
KAKENHI 是日本科研最权威的经费系统,基金层级越高(S > A > B)越能反映影响力。
- 2025KAKENHI-基盤研究(C)定理証明系モデル検査大規模言語モデルハードウェアコンパイラ状態空間最適分割
- 2019KAKENHI-基盤研究(C)
大規模高速な形式検証を実現するメタスケーラブル定理証明器と並列モデル検査器の融合 ↗
非同期並列システムハードウェアコンパイラ定理証明器モデル検査器形式検証系関数型言語系状態空間生成ペトリネット - 2011KAKENHI-基盤研究(C)
グリッド環境の定理証明器とモデル検査器をハードウェアコンパイラ融合した形式検証系 ↗
探索・論理・推論アルゴリズムプルーフチェッカ定理証明器コンパイラ関数型言語系 - 2010KAKENHI-基盤研究(B)
MIZAR数学ライブラリの構築と大学数学向け高度遠隔教育用コンテンツ開発 ↗
eラーニングプルーフチェッカe-learning形式化数学定理証明支援系Mizar論理思考moodle - 2008KAKENHI-基盤研究(C)
関数型言語系とグリッド環境上のプルーフチェッカを融合した超並列演算器の設計検証法 ↗
探索・論理・推論アルゴリズムプルーフチェッカ形式検証関数型言語系グリッド計算機設計検証系並列演算器 - 2007KAKENHI-基盤研究(B)
自学自習型e-Learningにおける学生サポートシステムの開発に関する研究 ↗
e-ラーニング教育工学e-Learning学習サポート学習履歴学生サポート自学自習型 - 2004KAKENHI-若手研究(B)
グリッドコンピューティング環境上のプルーフチェッカを用いた超並列演算器の設計検証 ↗
グリッドコンピューティングプルーフチェッカー並列演算器設計検証MPI - 2003KAKENHI-基盤研究(B)
信州大学インターネット大学院におけるマルチメディア利用CAIシステムの高度化研究 ↗
遠隔教育インターネット大学CAIシステムマルチメディアストリーミング配信セキュリティ技術プルーフチェッカ教育システム情報工学 - 2002KAKENHI-基盤研究(B)
自律歩行ロボットによる地雷探知・処理技術の研究(その2) ↗
地雷探知地雷処理自律制御ロボット地中レーダ探知ロボット金属探知器対人地雷 - 2001KAKENHI-若手研究(B)
プルーフチェッカーを用いた超並列演算器の設計検証 ↗
形式検証系多ソート代数設計検証ハードウェア記述言語FPGA
CiNii papers
近期论文 / 文章
CiNii 覆盖日本国内期刊、论文集、图书章节。只保留最近的 10 条。
- 2013International Journal of Advanced Computer Science
Structural Analysis and Retargetable Netlist Generation using an Upstream Hardware Compiler : Melasy+ ↗
- 2012DPSWS2012
SOA-based Campus Administration Management System using Multi-layered Architecture : Campus-SIA ↗
- 2012International Journal of Advancements in Computing Technology
An Integrated Design and Verification Environment Handling the Transformation from Upstream Design to the Model Checking Process ↗
- 2012Advances in Information Technology and Applied Computing
Improved Analysis Algorithms of Free-Choice Nets for Behavioral Properties ↗
- 2012Proceedings of International Conference of Information Science and Computer Applications (ICISCA 2012)
Improved Analysis Algorithms of Free-Choice Nets for Behavioral Properties ↗
- 2010教育システム情報学会誌
電子テキストを利用した情報リテラシ教育の実施結果収集を行う大規模工-ジェントベースシステムの開発と評価 ↗
- 2009ICIC Express Letters, ICIC International 3,(1)
Quantum Circuits, Lots, Interference and Basis of Neuro-Computations ↗
- 2009コンピュータセキュリティシンポジウム2009 CSS2009
静的解析によるマルウェアのAPI推移の抽出とクラスタ解析 ↗
- 2009全国大会講演論文集
P2Pオーバーレイネットワークにおける仮想接続の永続化プロトコルとその検証 ↗
- 2008Proceedings of the 5th International Conference on Information Technology : New Generations (ITNG2008)
A Meta Hardware Description Language Melasy for Model-Checking Systems ↗
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,非实时抓取,可能滞后数周。每条目右侧链接可回溯到原始记录。
