研究者
J-GLOBAL ID：200901068443032918   更新日: 2024年04月17日

岡野 浩三

オカノ コウゾウ | OKANO Kozo
所属機関・部署：
信州大学 工学部 電子情報システム工学科

信州大学 工学部 電子情報システム工学科 について


職名： 教授
ホームページURL (2件)： https://sites.google.com/cs.shinshu-u.ac.jp/sel/ ,  https://selab-su.weebly.com/
研究分野 (1件)： ソフトウェア
研究キーワード (5件)： 自然言語処理 ,  大規模言語モデル ,  機械学習 ,  仕様記述 ,  検証
競争的資金等の研究課題 (19件)：
  • - 2021 プログラミング学習支援とデータ活用
  • - 2021 ソフトウェア設計に関する共同研究 三菱電機(株)
  • - 2020 ソフトウェア設計に関する共同研究 三菱電機(株)
  • - 2020 プログラミング学習支援とデータ活用
  • 2020 - ソフトウェア・モデル検査における説明可能な反例生成に関わる基礎研究
全件表示
論文 (65件)：
  • Hitoshi Kiryu, Satoshi Suda, Shinpei Ogata, Kozo Okan. Verification of Shell Script Behavior by Comparing Execution Log. International Journal of Informatics Society. 2022. 14. 2. 55-64
  • Executable Counterex- ample for Java Model Checker. International Journal of Informatics Society. 2022. 13. 3. 107-113
  • 大宮拓馬, 小形真平, 岡野浩三. 可読性の高いクラス図レイアウトを作成するための美的基準の調査. コンピュータソフトウェア. 2022. 38. 4. 33-39
  • Rin Karashima, Kozo Okano, Shinpei Ogata, Satoshi Harauchi, and Toshifusa Sekizawa. Proposal and Evaluation for A Method to Verify Equivalence of Specifications of C and Java Functions with Recursive Data Structures by SAW: Case Studies of Linear Structures and Binary Trees. International Journal of Informatics Society. 2021. 12. 3. pp.143-156
  • Rin Karashima, Kozo Okano, Shinpei Ogata, Satoshi Harauchi, and Toshifusa Sekizawa. Proposal and Evaluation for A Method to Verify Equivalence of Specifications of C and Java Functions with Recursive Data Structures by SAW: Case Studies of Linear Structures and Binary Trees. International Journal of Informatics Society. 2021. 12. 3. pp.143-156
もっと見る
MISC (3件)：
書籍 (2件)：
  • システム技術に基づく安全設計ガイド
    電波新聞社 2019
  • アサーションベース設計
    丸善 2004 ISBN:4621074490
講演・口頭発表等 (46件)：
  • Reducing Syntactic Complexity for Information Extraction from Japanese Requirement Specifications
    (Proceedings of 29th Asia-Pacific Software Engineering Conference (APSEC 2022) 2022)
  • A Method for Matching Patterns Based on Event Semantics with Requirements
    (Proceedings of 14th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2022) 2022)
  • Improve Measuring Suspiciousness of Bugs in Spectrum-Based Fault Localization With Deep Learning
    (Proceedings of International Workshop on Informatics 2022 2022)
  • Automatic Derivation of a Transition Model from a Japanese Requirement Specification un- der a Restricted Grammar
    (Proceedings of International Workshop on Informatics 2022 2022)
  • A Bounded Model Checker for Timed Automata and Its Application to LTL Properties
    (Proceedings of 26th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems 2022)
もっと見る
学歴 (4件)：
  • - 1995 大阪大学 大学院基礎工学研究科 物理系専攻 情報工学分野 (論文博士)
  • - 1993 大阪大学 大学院基礎工学研究科 物理系専攻 情報工学分野 (中退)
  • - 1992 大阪大学 大学院基礎工学研究科 物理系専攻 情報工学分野 (修了)
  • - 1990 大阪大学 基礎工学部 情報工学科
学位 (2件)：
  • 博士(工学) (大阪大学)
  • 修士(工学) (大阪大学)
経歴 (9件)：
  • 2020/04 - 信州大学工学部教授
  • 2015/03 - 2020/03 信州大学工学部准教授
  • 2007/04 - 2015/02 大阪大学大学院情報科学研究科准教授(職名改正)
  • 2011/04 - 2012/03 大阪大学教育実践センター准教授(兼任)
  • 2007/04 - 2007/09 大阪府立大学理学部 非常勤講師
全件表示
委員歴 (1件)：
  • 2020/06 - 2022/06 電子情報通信学会 ソフトウェアサイエンス研究会専門副委員長
受賞 (4件)：
  • 2016/06 - 電子情報通信学会 情報・システムソサエティ 活動功労賞
  • 2015/06 - 電子情報通信学会 情報・システムソサエティ論文編集活動感謝状
  • 2015/01 - IPA/SEC 論文賞2014年度SEC所長賞
  • 1997/03 - 情報処理学会大会優秀賞
所属学会 (4件)：
IEEE ,  日本ソフトウェア科学会 ,  電子情報通信学会 ,  情報処理学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM