研究者

J-GLOBAL ID：200901061837787979 更新日: 2024年11月07日

中川博之

ナカガワヒロユキ | Hiroyuki Nakagawa

所属機関・部署：
職名：教授
その他の所属（所属・部署名・職名） (1件)：

大阪大学大学院情報科学研究科招へい教授

ホームページ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/

研究分野 (2件)：知能情報学 , ソフトウェア

研究キーワード (8件)： probabilistic model checking , 要求工学 , エージェント技術 , 自己適応システム , ソフトウェア工学 , agent technology , self-adaptive systems , Software engineering

競争的資金等の研究課題 (12件)：

2023 - 2027 ディペンダブルな分散システム実現のためのモデルチェッキング技術の開発
2020 - 2024 不確かな環境下においても時間制約を考慮可能な自己適応メカニズムとその統合開発環境
2018 - 2022 IoT向け自律協調自己適応機構とその形式検証手法の研究
2017 - 2021 人工物システムの適応性を向上させる超能動型CPSに関する研究
2015 - 2017 変更に硬いソフトウェアに対する自己適応メカニズムを利用した可変性向上に関する研究

全件表示

論文 (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
渡辺啓太郎, 中川博之, 土屋達弘. ν-KAOS Editor:LLMを活用した自動ゴールモデリングエディタ. 電子情報通信学会論文誌. 2024. J107-D. 10. 454-462
成澤瑠佳, 小形真平, 青木善貴, 中川博之, 小林一樹, 岡野浩三. 性格特性に基づくシステム安全性検証の試み. ソフトウェアエンジニアリングシンポジウム(SES2024). 2024

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

書籍 (3件)：

ソフトウェアエンジニアリングシンポジウム2023(SES2023)予稿集
2023
The 13th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE2020)
Springer 2020
マルチエージェントによる自律ソフトウェア設計・開発 (マルチエージェントシリーズ)
コロナ社 2017 ISBN:9784339028188

講演・口頭発表等 (19件)：

RPA不具合検出のためのプロセスマイニング技術の応用
(情報処理学会第68回要求工学ワークショップ in 弘前 2023)
確率的モデル検査とその応用
(大阪大学大学院情報科学研究科2022年度ランチセミナー 2023)
確率的モデル検査と要求工学
(情報処理学会第67回要求工学ワークショップ in 那覇 2023)
プロセスマイニングを用いたRPAの不具合要因検出手法の検討
(情報処理学会/ソフトウェア工学研究会ウィンターワークショップ2023・イン・富山 2023)
キャリアトーク(座長兼パネリスト)
(情報処理学会ソフトウェアエンジニアリングシンポジウム2022(SES2022) 2022)

学歴 (5件)：

2007 - 2008 東京大学情報理工学系研究科創造情報学専攻博士課程
- 2008 東京大学
2005 - 2007 東京大学情報理工学系研究科創造情報学専攻修士課程
- 2007 東京大学
1993 - 1997 大阪大学基礎工学部情報工学科

学位 (3件)：

学士(工学) (大阪大学)
修士(情報理工学) (東京大学)
博士(工学) (早稲田大学)

経歴 (4件)：

2024/04 - 現在大阪大学大学院情報科学研究科招へい教授
2024/04 - 現在岡山大学学術研究院環境生命自然科学学域計算機科学講座教授
2014/01 - 2024/03 大阪大学大学院情報科学研究科准教授
2008/04 - 2013/12 電気通信大学大学院情報システム学研究科社会知能情報学専攻助教

委員歴 (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 - 現在情報処理学会ソフトウェアエンジニアリングシンポジウム(SES2024) プログラム委員
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/08 - 現在 The 36th International Conference on Software Engineering & Knowledge Engineering (SEKE 2024) Program committee member

2023/04 - 現在 The 19th International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2024) Program Committee

2022/10 - 現在情報処理学会ソフトウェアエンジニアリングシンポジウム(SES2023) 実行委員長

2022/05 - 現在電子情報通信学会知能ソフトウェア工学研究会 (SIG-KBSE) 運営委員

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 情報処理学会ソフトウェアエンジニアリングシンポジウム(SES2022) ワークショップ委員長

2022/04 - 2022/09 情報処理学会ソフトウェアエンジニアリングシンポジウム(SES2022) プログラム委員

2021/10 - 2022/08 The 14th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE2022) Program committee

2020/10 - 2022/05 電子情報通信学会「知能ソフトウェア工学」特集(英文論文誌D) 編集委員長

2020/05 - 2022/05 電子情報通信学会知能ソフトウェア工学研究会 (SIG-KBSE) 委員長

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 電子情報通信学会「知能ソフトウェア工学」特集(英文論文誌D) 幹事

2018/05 - 2020/05 電子情報通信学会知能ソフトウェア工学研究会 (SIG-KBSE) 副委員長

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

全件表示

受賞 (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 - 合同エージェントワークショップ&シンポジウム2023 (JAWS2023) JAWS奨励賞 Exploring the Potential of LLM for Review-driven Goal Model Generation
2023/06 - 日本工学教育協会経済産業省産業技術環境局長賞スマートエスイー:スマートシステム&サービス技術の産学連携イノベーティブ人材育成
2023/03 - スマートエスイー:スマートシステム&サービスおよびDX推進を担う人材の産学連携育成貢献賞
2022/03 - 文部科学省平成29年度「成長分野を支える情報技術人材の育成拠点の形成(enPiT)」 enPiT-Proスマートエスイー:スマートシステム&サービス技術の産学連携イノベーティブ人材育成貢献賞

全件表示

所属学会 (4件)：

IEEE CS , 日本ソフトウェア科学会 , 電子情報通信学会 , 情報処理学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

前のページに戻る

中川 博之

中川博之