Rchr
J-GLOBAL ID:200901061837787979
Update date: Dec. 19, 2024
Hiroyuki Nakagawa
ナカガワ ヒロユキ | Hiroyuki Nakagawa
Affiliation and department:
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 変更に硬いソフトウェアに対する自己適応メカニズムを利用した可変性向上に関する研究
- 2012 - 2016 Research on cloud middleware for systems recommending evacuation activities from disasters using miniblogs
- 2014 - 2016 アスペクト指向 models@run.time システムの効率的な実行時形式検証
- 2013 - 2015 A development process and middleware for dealing with requirements changes after software release based on dynamic evolution
- 2011 - 2013 Research on verification of self-adaptive systems using goal-oriented requirements specifications
- 2010 - 2011 A requirements-driven programming framework for developing self-adaptive systems
- 2008 - 2011 Methodologies for developing self-adaptive systems
- 2008 - 2009 An extension of component-based software development based on agent technologies
Show all
Papers (328):
-
Shunsuke Furuta, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya. Facility Layout Generation using Hierarchical Reinforcement Learning. Proc. of the 17th International Conference on Agents and Artificial Intelligence (ICAART 2025). 2025
-
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
-
古川健人, 中川博之, 土屋達弘. 運用時に正解データが利用できない状況下での機械学習システムのための自己適応フレームワーク. 電子情報通信学会 ライフインテリジェンスとオフィス情報システム研究会(LOIS), 信学技報. 2024. LOIS2024-40. 95-100
-
古田俊介, 中川博之, 土屋達弘. 階層型強化学習を用いた施設レイアウト生成システムの提案. 電子情報通信学会 ライフインテリジェンスとオフィス情報システム研究会(LOIS), 信学技報. 2024. LOIS2022-27. 5-10
-
成澤瑠佳, 小形真平, 青木善貴, 中川博之, 小林一樹, 岡野浩三. 性格特性に応じたユーザモデル半自動生成手法の提案. ソフトウェア工学の基礎ワークショップ FOSE 2024. 2024
more...
MISC (116):
-
城間大幹, 渡辺啓太郎, 中川博之, 土屋達弘. 大規模言語モデルの活用による非機能要件を加味したゴールモデルの構築. 電子情報通信学会 知能ソフトウェア工学研究会(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
more...
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 (20):
-
確率的モデル検査とその応用
(令和6年度第1回Cypher研究会 2024)
-
RPA不具合検出のためのプロセスマイニング技術の応用
(情報処理学会 第68回 要求工学ワークショップ in 弘前 2023)
-
確率的モデル検査とその応用
(大阪大学大学院情報科学研究科2022年度ランチセミナー 2023)
-
確率的モデル検査と要求工学
(情報処理学会 第67回 要求工学ワークショップ in 那覇 2023)
-
プロセスマイニングを用いたRPAの不具合要因検出手法の検討
(情報処理学会/ソフトウェア工学研究会 ウィンターワークショップ2023・イン・富山 2023)
more...
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 (94):
- 2024/12 - 現在 The 37th International Conference on Software Engineering & Knowledge Engineering (SEKE 2025) Program committee member
- 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) プログラム委員
- 2024/01 - 現在 The 27th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems(MODELS2024) Tools & Demonstrations Session Program committee
- 2023/12 - 現在 情報処理学会論文誌「ソフトウェア工学」特集号 編集委員
- 2023/04 - 現在 The 19th International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2024) Program Committee
- 2022/10 - 現在 IPSJ/SIGSE Software Engineering Symposium (SES 2023) General chair
- 2022/05 - 現在 IEICE SIG-KBSE Committee
- 2023/08 - 2024/10 The 36th International Conference on Software Engineering & Knowledge Engineering (SEKE 2024) Program committee member
- 2023/08 - 2024/04 The 39th ACM/SIGAPP Symposium On Applied Computing (SAC2024) Technical Program committee member
- 2023/04 - 2023/12 The 30th Asia-Pacific Software Engineering Conference (APSEC2023) ERA track Program committee member
- 2023/04 - 2023/11 第30回 ソフトウェア工学の基礎 ワークショップ(FOSE2023) プログラム委員
- 2023/01 - 2023/10 The 26th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems(MODELS2023) Tools & Demonstrations Session Program committee
- 2022/08 - 2023/07 The 35th International Conference on Software Engineering & Knowledge Engineering (SEKE 2023) Program committee member
- 2022/09 - 2023/04 The 38th ACM/SIGAPP Symposium On Applied Computing (SAC2023) Technical Program committee member
- 2022/04 - 2022/12 The 29th Asia-Pacific Software Engineering Conference (APSEC2022) SEIP track Program committee member
- 2022/03 - 2022/12 The 29th Asia-Pacific Software Engineering Conference (APSEC2022) Program committee member
- 2022/04 - 2022/11 第29回 ソフトウェア工学の基礎 ワークショップ(FOSE2022) プログラム委員
- 2022/01 - 2022/10 The 25th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems(MODELS2022) Tools & Demonstrations Session Program committee
- 2022/04 - 2022/09 情報処理学会 ソフトウェアエンジニアリングシンポジウム(SES2022) WS6: プロセスマイニングの基礎と応用 討論リーダ
- 2022/04 - 2022/09 IPSJ/SIGSE Software Engineering Symposium (SES 2022) Workshop chair
- 2022/04 - 2022/09 IPSJ/SIGSE Software Engineering Symposium (SES 2022) Program committee
- 2021/10 - 2022/08 The 14th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE2022) Program committee
- 2020/10 - 2022/05 IEICE Transactions on Information and Systems: Special Section on Knowledge-Based Software Engineering Guest Editor-in-Chief
- 2020/05 - 2022/05 IEICE SIG-KBSE Chairman
- 2021/09 - 2022/04 The 37th ACM/SIGAPP Symposium On Applied Computing (SAC2022) Technical Program committee member
- 2021/04 - 2021/11 第28回 ソフトウェア工学の基礎 ワークショップ(FOSE2021) プログラム委員
- 2021/01 - 2021/11 The 33rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2021) Program committee member
- 2021/01 - 2021/10 The 24th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems(MODELS2021) Tool Demonstration Program committee
- 2021/01 - 2021/10 The 24th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems(MODELS2021) Poster Session Program committee
- 2021/01 - 2021/10 The 24th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems(MODELS2021) Local Arrangements Chairs
- 2021/04 - 2021/09 ソフトウェアエンジニアリングシンポジウム(SES2021) プログラム委員
- 2020/12 - 2021/07 The 33rd International Conference on Software Engineering & Knowledge Engineering (SEKE2021) Program committee member
- 2021/01 - 2021/06 The 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks(DSN 2021) Doctoral Symposium program committee member
- 2020/09 - 2021/03 The 36th ACM/SIGAPP Symposium On Applied Computing (SAC2021) Technical Program committee member
- 2017/04 - 2021/03 情報処理学会 ソフトウェア工学研究会 (SIGSE) 運営委員
- 2020/01 - 2020/12 The 27th Asia-Pacific Software Engineering Conference (APSEC2020) Program committee member
- 2020/04 - 2020/11 第27回 ソフトウェア工学の基礎 ワークショップ(FOSE2020) プログラム委員
- 2019/10 - 2020/11 The 12th International Conference on Knowledge Engineering and Ontology Development (KEOD 2020) Program committee member
- 2020/04 - 2020/09 ソフトウェアエンジニアリングシンポジウム(SES2020) 出版委員長
- 2020/04 - 2020/09 ソフトウェアエンジニアリングシンポジウム(SES2020) プログラム委員
- 2019/08 - 2020/08 The 13th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE2020) General Chair
- 2019/08 - 2020/08 The 13th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE2020) Program chair
- 2019/12 - 2020/07 The 32nd International Conference on Software Engineering & Knowledge Engineering (SEKE2020) Program committee member
- 2019/04 - 2020/05 電子情報通信学会 フォーマルアプローチ小特集(英文論文誌D) 幹事
- 2018/11 - 2020/05 IEICE Transactions on Information and Systems: Special Section on Knowledge-Based Software Engineering Guest Editor
- 2018/05 - 2020/05 IEICE SIG-KBSE Vice Chairman
- 2019/10 - 2020/03 電子情報通信学会2020年総合大会 プログラム編成委員
- 2019/09 - 2020/03 The 35th ACM/SIGAPP Symposium On Applied Computing (SAC2020) Technical Program committee member
- 2019/07 - 2019/12 The 26th Asia-Pacific Software Engineering Conference (APSEC2019) Program committee member
- 2019/04 - 2019/11 第26回 ソフトウェア工学の基礎 ワークショップ(FOSE2019) プログラム委員
- 2019/04 - 2019/09 ソフトウェアエンジニアリングシンポジウム(SES2019) プログラム委員
- 2018/04 - 2019/08 電子情報通信学会 フォーマルアプローチ小特集(英文論文誌D) 幹事
- 2018/12 - 2019/07 The 31st International Conference on Software Engineering & Knowledge Engineering (SEKE2019) Program committee member
- 2015/06 - 2019/05 電子情報通信学会 英文論文誌D編集委員会 英文論文誌編集委員
- 2018/04 - 2018/12 The 25th Asia-Pacific Software Engineering Conference (APSEC2018) Program committee
- 2018/04 - 2018/11 第25回 ソフトウェア工学の基礎 ワークショップ(FOSE2018) プログラム委員
- 2018/04 - 2018/09 ソフトウェアエンジニアリングシンポジウム(SES2018) プログラム委員
- 2017/09 - 2018/08 日本ソフトウェア科学会第35回大会 運営副委員長
- 2017/06 - 2018/07 電子情報通信学会 「知能ソフトウェア工学」特集(英文論文誌D) 英文論文誌編集委員(リエゾン)
- 2017/03 - 2018/07 The 30th International Conference on Software Engineering & Knowledge Engineering (SEKE2018) Program committee
- 2016/06 - 2018/04 電子情報通信学会 知能ソフトウェア工学研究会 (SIG-KBSE) 専門委員
- 2017/04 - 2018/03 電子情報通信学会 フォーマルアプローチ小特集(英文論文誌D) 幹事
- 2017/04 - 2017/08 ソフトウェアエンジニアリングシンポジウム(SES2017) プログラム委員
- 2017/02 - 2017/07 The 29th International Conference on Software Engineering & Knowledge Engineering (SEKE2017) Program committee
- 2016/10 - 2017/04 The 5th IEEE International Conference on Mobile Cloud Computing, Services, and Engineering (Mobile Cloud2017) Program committee
- 2016/09 - 2017/04 The 32nd ACM/SIGAPP Symposium On Applied Computing (SAC2017) Technical Program committee member
- 2016/04 - 2017/03 電子情報通信学会 フォーマルアプローチ小特集(英文論文誌D) 幹事
- 2015/12 - 2016/11 The Third Asia-Pacific Requirements Engineering Symposium (APRES2016) Program committee
- 2016/02 - 2016/09 The 10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO2016) Program committee
- 2015/06 - 2016/09 電子情報通信学会 「知能ソフトウェア工学」特集(英文論文誌D) 編集委員会幹事
- 2016/04 - 2016/08 ソフトウェアエンジニアリングシンポジウム(SES2016) プログラム委員
- 2016/01 - 2016/07 The 28th International Conference on Software Engineering & Knowledge Engineering (SEKE2016) Program committee
- 2015/06 - 2016/05 電子情報通信学会 知能ソフトウェア工学研究会 (SIG-KBSE) 幹事
- 2015/09 - 2016/04 The 31st ACM/SIGAPP Symposium On Applied Computing (SAC2016) Program committee
- 2015/12 - 2016/03 The 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER2016) Poster session chair
- 2015/06 - 2016/03 電子情報通信学会 フォーマルアプローチ小特集(英文論文誌D) 幹事
- 2012/04 - 2016/03 情報処理学会 ソフトウェア工学研究会 (SIGSE) 運営委員
- 2015/01 - 2015/09 ソフトウェアエンジニアリングシンポジウム(SES2015) プログラム委員
- 2015/01 - 2015/09 The 9th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO2015) Program committee
- 2014/05 - 2015/05 電子情報通信学会 知能ソフトウェア工学研究会 (SIG-KBSE) 幹事補佐
- 2014/10 - 2015/04 The 30th ACM/SIGAPP Symposium On Applied Computing (SAC2015) Program committee
- 2014/01 - 2014/09 The 8th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO2014) Program committee
- 2014/01 - 2014/09 ソフトウェアエンジニアリングシンポジウム(SES2014) プログラム委員
- 2013/01 - 2013/09 ソフトウェアエンジニアリングシンポジウム(SES2013) プログラム委員
- 2013/01 - 2013/09 The 7th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO2013) Program committee
- 2012 - 2012 ソフトウェアエンジニアリングシンポジウム(SES2012) プログラム委員
- 2009/05 - 2009/11 電子情報通信学会 人工知能と知識処理研究専門委員会 (SIG-AI) 幹事補佐
- 2009 - 2009 合同エージェントワークショップ&シンポジウム(JAWS2009) プログラム委員
- 2008 - 2008 合同エージェントワークショップ&シンポジウム(JAWS2008) プログラム委員
- 2006 - 2006 The 21st IEEE/ACM International Conference on Automated Software Engineering(ASE2006) Poster Session Chair
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スマートエスイー:スマートシステム&サービス技術の産学連携イノベーティブ人材育成 貢献賞
- 2016/03 - 電子情報通信学会論文誌 学生論文特集秀逸論文 ゴール指向洗練パターン駆動によるユースケースモデリング
- 2013/11 - The 3rd Joint International Semantic Technology Conference (JIST2013) Best Poster & Demo Award
- 2013/05 - 情報処理学会 研究会推薦博士論文 ゴール指向要求記述に基づいたソフトウェアシステム進化手法に関する研究
- 2010 - 第9回 合同エージェントワークショップ&シンポジウム2010(JAWS10)学生奨励賞
- 2010 - 第9回 合同エージェントワークショップ&シンポジウム2010(JAWS10)ベストポスター賞
- 2010 - 第9回 合同エージェントワークショップ&シンポジウム2010(JAWS10)学生奨励賞
- 2009 - 第8回 合同エージェントワークショップ&シンポジウム2009(JAWS2009)優秀論文賞
Show all
Association Membership(s) (4):
IEEE CS
, JAPAN SOCIETY FOR SOFTWARE SCIENCE AND TECHNOLOGY
, THE INSTITUTE OF ELECTRONICS
, INFORMATION PROCESSING SOCIETY OF JAPAN
Return to Previous Page