信州大学 · 学術研究院工学系 · 教授
岡野 浩三
OKANO KOZO
别名: オカノ コウゾウ / OKANO Kozo
Research fields
研究领域
按日本文部科学省 科研費審査区分表 自动归类。KAKEN 项目数越多,代表教授在该领域投入越深。第一个为「主业」。
- 主业情報学中区分
- ソフトウェア細目
- ソフトウエア細目
- 工学大区分
- 情報科学中区分
- 情報通信工学小区分
- 総合・新領域系大区分
- 総合系大区分
- 総合領域大区分
- 複合領域大区分
- 計算基盤大区分
- 計算機科学小区分
- 電気電子工学中区分
Research keywords
这位教授在研究什么
基于他/她公开的科研项目与论文自动提取的研究关键词,出现频次越高显示越大。
KAKEN grants
科研项目(近期在前)
KAKENHI 是日本科研最权威的经费系统,基金层级越高(S > A > B)越能反映影响力。
- 2024KAKENHI-基盤研究(C)プログラミング評価理解度復習問題生成プログラミング課題評価
- 2021KAKENHI-基盤研究(C)
自然語解析と反例解析を活用したソフトウェア開発 ↗
モデル検査モデル導出自然言語処理安全性検証コード解析LLMSTAMP/STPA機械学習 - 2020KAKENHI-基盤研究(C)
状態遷移モデリング学習を支援する学習者向けフィードバック自動生成手法の研究 ↗
ソフトウェア工学教育モデリング教育支援ステートマシン図誤り検出静的解析動的解析モデル検査 - 2019KAKENHI-基盤研究(A)
可搬型エッジコンピューティング情報通信基盤の構築に関する研究 ↗
エッジコンピューティング5GWiFi通信QoS制御分散システム - 2018KAKENHI-基盤研究(A)
オープンソースソフトウェアのリスクや健全性診断のためのエコシステム分析法の開発 ↗
ソフトウェアエコシステムオープンソースソフトウェアOSSソフトウェアライブラリソフトウェアレポジトリマイニングMSRコードクローン検出SPDX自動ビルドパッケージ依存関係 - 2017KAKENHI-基盤研究(C)
組み合わせテストを応用した組込みシステムの検証項目生成の研究 ↗
モデル検査確率系ロボティックスアドホックネットワーク自己位置推定ゲートウェイ配置情報工学形式検証 - 2016KAKENHI-基盤研究(C)
モデルと制約に基づくソフトウェア開発に関する研究 ↗
仕様記述検証モデルソフトウェア工学仕様記述解析NLP形態素解析自然語解析 - 2014KAKENHI-基盤研究(C)
動的システムに対する組込み制御プログラムの信頼性検証に関する研究 ↗
確率モデル検査組込みシステム自律移動ロボットモデル検査確率系確率的振舞い - 2013KAKENHI-基盤研究(S)
多様なソフトウェア資産の収集・分析・評価と効果的な利活用の研究 ↗
ソフトウェア資産再利用依存関係グラフプログラム検索リファクタリング評価依存関係可視化プログラム解析オープンソースソフトウェア - 2011KAKENHI-挑戦的萌芽研究
ソフトウェアプロダクトに対する印象の計測 ↗
ソフトウェアメトリクスソフトウェア保守複雑度コードクローンソフトウェア複雑さサクロマチック数印象
CiNii papers
近期论文 / 文章
CiNii 覆盖日本国内期刊、论文集、图书章节。只保留最近的 10 条。
- 2024情報・システムソサイエティ誌
ソフトウェアサイエンス研究会の紹介 ↗
- 2016情報処理学会研究報告
確率時間オートマトンを用いた自律移動ロボットの振舞いのモデル化 ↗
- 2013電子情報通信学会論文誌
PDGとSMTソルバを利用した表明自動導出手法の提案と評価 ↗
- 2013International Journal of Informatics Society (IJIS)
LASP - a Learning Assistant System for Formal Proof ↗
- 2013International Journal of Informatics Society
Implementation of a Prototype Bi-directinal Translation Tool between Ocl and Jml ↗
- 2012International Journal of Informatics Society
LASP—a Learning Assistant System for Formal Proof ↗
- 2011Journal of Convergences
A Visualization Technique for Unit Testing and Static Checking with Caller-Callee Relationships ↗
- 2009International Journal of Informatics Society (IJIS) Vol. 1, No. 2
Stepwise Approach to Design of Real-Time Systems based UML/OCL with Formal Verification ↗
- 2009International Journal of Informatics Society
Stepwise Approach to Design of Real-Time Systems based UML/OCL with Formal Verification ↗
- 2006ソフトウェア工学の基礎XIII
関数プログラミング言語MLに対するオブジェクト指向をに対応した形式検証方法の提案とび検証支援システム構築 ↗
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,非实时抓取,可能滞后数周。每条目右侧链接可回溯到原始记录。
