Rchr
J-GLOBAL ID：200901061837787979   Update date: Nov. 07, 2024

Hiroyuki Nakagawa

ナカガワ ヒロユキ | Hiroyuki Nakagawa
Affiliation and department：
Okayama University

About Okayama University


Job title： Professor
Other affiliations (1)：
  • Osaka University  Graduate School of Information Science and Technology 
Homepage URL  (2)： http://www-ise4.ist.osaka-u.ac.jp/h-nakagawa/index-j.html ,  http://www-ise4.ist.osaka-u.ac.jp/h-nakagawa/
Research field  (2)： Intelligent informatics ,  Software
Research keywords  (8)： probabilistic model checking ,  Requirements Engineering ,  エージェント技術 ,  自己適応システム ,  ソフトウェア工学 ,  agent technology ,  self-adaptive systems ,  Software engineering
Research theme for competitive and other funds  (12)：
  • 2023 - 2027 Development of model checking technology for dependable distributed systems
  • 2020 - 2024 A Study on Self-adaptation Mechanism Under Time Constraints
  • 2018 - 2022 Research on autonomous cooperative self-adaptation mechanisms and formal verification of them
  • 2017 - 2021 A Study on Super Active CPS for Enhancing Adaptability of Artifacts
  • 2015 - 2017 変更に硬いソフトウェアに対する自己適応メカニズムを利用した可変性向上に関する研究
Show all
Papers (325)：
  • Shimon Sumita, Hiroyuki Nakagawa, Shinobu Saito, Tatsuhiro Tsuchiya. Towards Log-based Execution Status Estimation Using Graph Neural Networks. Proc. of the 31st Asia-Pacific Software Engineering Conference (APSEC 2024). 2024
  • 成澤瑠佳, 小形真平, 青木善貴, 中川博之, 小林一樹, 岡野浩三. 性格特性に応じたユーザモデル半自動生成手法の提案. ソフトウェア工学の基礎ワークショップ FOSE 2024. 2024
  • Hiroyuki Nakagawa, Shimon Sumita, Shinobu Saito. Code Reachability Visualization Based on Probabilistic Model Checking. Proc. of the 36th International Conference on Software Engineering & Knowledge Engineering (SEKE 2024). 2024. 36-41
  • Keitaro Watanabe, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya. ν-KAOS Editor: An Automatic Goal Modeling Editor Utilizing LLM. 2024. J107-D. 10. 454-462
  • 成澤瑠佳, 小形真平, 青木善貴, 中川博之, 小林一樹, 岡野浩三. 性格特性に基づくシステム安全性検証の試み. ソフトウェアエンジニアリングシンポジウム(SES2024). 2024
ｍore...
MISC (125)：
  • 城間大幹, 渡辺啓太郎, 中川博之, 土屋達弘. 大規模言語モデルの活用による非機能要件を加味したゴールモデルの構築. 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE), 信学技報. 2024. KBSE2023-55. 352(KBSE2023 51-64). 25-30
  • 池田 光, 中川 博之, 赤木 宏匡, 関本 章, 土屋 達弘. 強化学習と階層化意思決定法を用いた施設レイアウト自動設計支援システムの提案-Automatic Facility Layout Design Using Reinforcement Learning and a Analytic Hierarchy Process. 日本経営工学会論文誌 = Journal of Japan Industrial Management Association. 2023. 74. 3. 142-152
  • 菊地伸治, 中川博之, 木村功作, 小形真平, 山登庸次, 中村匡秀, 細野繁, 村上陽平. 先進的な取り組みとしてのハイブリッド開催の評価. 電子情報通信学会誌. 2021. 104. 6. 632-636
  • 菊地伸治, 中川博之, 木村功作, 小形真平, 中村匡秀, 山登庸次, 細野繁, 村上陽平. ニューノーマルな研究会に向けた実証評価報告. 電子情報通信学会 情報・システムソサイエティ誌. 2021. 25. 4. 19-23
  • 中川博之. 実時間制約を遵守する適応型ソフトウェアの実装フレームワークに関する研究. 旭硝子財団助成研究成果報告. 2019. 1-9
ｍore...
Books (3)：
  • ソフトウェアエンジニアリングシンポジウム2023(SES2023)予稿集
    2023
  • The 13th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE2020)
    Springer 2020
  • Intelligent Software Design and Development Based on Multi-Agent Technology
    Corona Publishing Co., Ltd. 2017 ISBN:9784339028188
Lectures and oral presentations  (19)：
  • RPA不具合検出のためのプロセスマイニング技術の応用
    (情報処理学会 第68回 要求工学ワークショップ in 弘前 2023)
  • 確率的モデル検査とその応用
    (大阪大学大学院情報科学研究科2022年度ランチセミナー 2023)
  • 確率的モデル検査と要求工学
    (情報処理学会 第67回 要求工学ワークショップ in 那覇 2023)
  • プロセスマイニングを用いたRPAの不具合要因検出手法の検討
    (情報処理学会/ソフトウェア工学研究会 ウィンターワークショップ2023・イン・富山 2023)
  • キャリアトーク(座長兼パネリスト)
    (情報処理学会 ソフトウェアエンジニアリングシンポジウム2022(SES2022) 2022)
ｍore...
Education (5)：
  • 2007 - 2008 The University of Tokyo
  • - 2008 The University of Tokyo Graduate School of Information Science and Technology Creative Informatics
  • 2005 - 2007 The University of Tokyo
  • - 2007 The University of Tokyo Graduate School of Information Science and Technology Creative Informatics
  • 1993 - 1997 Osaka University
Professional career (3)：
  • 学士(工学) (大阪大学)
  • Master (Information science and technology) (The University of Tokyo)
  • 博士(工学) (早稲田大学)
Work history (4)：
  • 2024/04 - 現在 Osaka University Graduate School of Information Science and Technology
  • 2024/04 - 現在 Okayama University Professor
  • 2014/01 - 2024/03 Osaka University Graduate School of Information Science and Technology Associate Professor
  • 2008/04 - 2013/12 The University of Electro-Communications Graduate School of Information Systems Department of Social Intelligence and Informatics Assistant Professor
Committee career (93)：
  • 2024/08 - 現在 The 17th International Conference on Agents and Artificial Intelligence (ICAART 2025) Program Committee
  • 2024/07 - 現在 The 20th International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2025) Program Committee
  • 2024/04 - 現在 The 31st Asia-Pacific Software Engineering Conference (APSEC2024) ERA track Program committee member
  • 2024/04 - 現在 IPSJ/SIGSE Software Engineering Symposium (SES 2024) Program committee
  • 2024/04 - 現在 第31回 ソフトウェア工学の基礎 ワークショップ(FOSE2024) プログラム委員
Show all
Awards (12)：
  • 2024/10 - The 36th International Conference on Software Engineering & Knowledge Engineering (SEKE24) Best Paper Award Code Reachability Visualization Based on Probabilistic Model Checking
  • 2023/09 - JAWS Encouragement Award Exploring the Potential of LLM for Review-driven Goal Model Generation
  • 2023/06 - 日本工学教育協会 経済産業省産業技術環境局長賞 スマートエスイー:スマートシステム&サービス技術の産学連携イノベーティブ人材育成
  • 2023/03 - スマートエスイー:スマートシステム&サービスおよびDX推進を担う人材の産学連携育成 貢献賞
  • 2022/03 - 文部科学省 平成29年度「成長分野を支える情報技術人材の育成拠点の形成(enPiT)」 enPiT-Proスマートエスイー:スマートシステム&サービス技術の産学連携イノベーティブ人材育成 貢献賞
Show all
Association Membership(s) (4)：
IEEE CS ,  JAPAN SOCIETY FOR SOFTWARE SCIENCE AND TECHNOLOGY ,  THE INSTITUTE OF ELECTRONICS ,  INFORMATION PROCESSING SOCIETY OF JAPAN
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM