研究業績 - 中川研究室

Kento Furukawa, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, "Self-Adaptive Framework for Deploying Machine Learning Systems without Ground-Truth Data during Operation", IEEE Access (To appear).
飯田隆一，大石慶一朗，中川博之，“余因子展開の順序非依存性を利用した動的検証の高速化”，電子情報通信学会論文誌, Vol.J109-D, No.4, pp.127-136 (2026.04).
古田俊介, 中川博之，土屋達弘，“階層型強化学習を用いた施設レイアウト生成エージェント”，電子情報通信学会論文誌, Vol. J109-D, No.1, pp. 2-12 (2026.01).
Hiroyuki Nakagawa, Shimon Sumita, Shinobu Saito, “Efficient Code Reachability Analysis and Visualization Using Probabilistic Model Checking”, International Journal of Software Engineering and Knowledge Engineering, , pp. 1-18, World Scientific (2025.07).
Kodai Sakaida, Keiichiro Oishi, Yasuyuki Tahara, Akihiko Ohsuga, Andrew J., Yuichi Sei, "Federated Learning Algorithm to Suppress the Occurrence of Low-Accuracy Devices", International Journal of Electrical and Computer Engineering Systems, (2025)
青木善貴，小形真平，中川博之，小林一樹，“後付けUIにおける機能の整合性検証”，ヒューマンインタフェース学会論文誌, Vol. 27, No.2, pp. 97-112 (2025.5).
成澤瑠佳，小形真平，青木善貴，中川博之，小林一樹，岡野浩三，“性格特性に応じたユーザモデル半自動生成手法”，日本ソフトウェア科学会　学会誌『コンピュータソフトウェア』（2025年掲載決定）.
Hiroyuki Nakagawa, Shimon Sumita, Ryuichi Iida, Tatsuhiro Tsuchiya, “An XAI-Based Meta-parameter Tuning for Time-series Forecasting”, Annals of Mathematics and Artificial Intelligence, Springer (2025.03).
渡辺啓太郎, 中川博之，土屋達弘，“ν-KAOS Editor：LLMを活用した自動ゴールモデリングエディタ”，電子情報通信学会論文誌, Vol. J107-D, No.10, pp. 454-462 (2024.10).
Keiichiro Oishi, Yuichi Sei, J. Andrew, Yasuyuki Tahara, Akihiko Ohsuga: Algorithm to satisfy l-diversity by combining dummy records and grouping, Security and Privacy, Vol.7, No.3, e373, pp.1-21 (2024.5)
角田詩門, 斎藤忍，中川博之，土屋達弘，“ソフトウェア運用ログを用いた関数呼び出しパターンの自動識別手法”，情報処理学会論文誌, Vo65. No.4, pp. 781-791 (2024.4).

Javier Cámara, Ilias Gerostathopoulos, Livia Lestingi, Michele Loreti, Hiroyuki Nakagawa, Marjan Sirjani, Kenji Tei, “Ubi-AAL: A Self-Adaptive Ubiquitous Computing System Problem Exemplar in Ambient Assisted Living”, in Proc. of the 21st International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2026), Artifact track (Apr 2026).
Ryuichi Iida, Keiichiro Oishi, Hiroyuki Nakagawa, “A Run-time Verification Toolkit for Self-adaptive Systems Supporting Dynamic Model Changes”, The IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS 2025) (Oct 2025) . (Best Poster/Demo Award)
Hiroyuki Nakagawa, Shinichi Honiden, “LLM-based Adaptive Requirements Elicitation for Innovative Systems”, in Proc. of the 37th International Conference on Software Engineering & Knowledge Engineering (SEKE 2025) (Oct 2025) .
Hisanori Watanabe, Hiroyuki Nakagawa, “Detection and Classification of Concept Drift in Streaming Process Discovery”, in Proc. of the 29th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2025) (Sep 2025).
Ayaki Uchida, Hiroyuki Nakagawa, “Requirements Analysis of a High-Precision Search Function for Reusable RPA Bot Development”, in Proc. of the 29th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2025) (Sep 2025).
Hironori Takeuchi, Haruhiko Kaiya, Hiroyuki Nakagawa, Shinpei Ogata, “Diffusion Model of Anti-Patterns for Machine Learning Projects”, in Proc. of the 29th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2025) (Sep 2025).
Haruhiko Kaiya, Takeru Nakamura, Shinpei Ogata, Hiroyuki Nakagawa, Hironori Takeuchi, “Rating the cost of quality in use for a business system using KAOS model”, in Proc. of the 29th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2025) (Sep 2025).
Atsushi Naito, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, “A Time-constrained Verifiable Architecture-based Self-adaptive Software Programming Framework”, in Proc. of the IEEE 49th Computers, Software, and Applications Conference (COMPSAC 2025) (Jul 2025) .
Takeharu Mitsuda, Hiroyuki Nakagawa, Haruhiko Kaiya, Hironori Takeuchi, Shinpei Ogata, Tatsuhiro Tsuchiya, “Exhaustive Model Identification on Process Mining”, in Proc. of the 20th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2025), pp. 449-456 (Apr 2025).
Shunsuke Furuta, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, “Facility Layout Generation using Hierarchical Reinforcement Learning”, in Proc. of the 17th International Conference on Agents and Artificial Intelligence (ICAART 2025), Vol. 3, pp. 150-157 (Feb 2025).
Kodai Sakaida, Keiichiro Oishi, Yasuyuki Tahara, Akihiko Ohsuga, Yuichi Sei, “Federated Learning Algorithm to Suppress Occurrence of Low-Accuracy Devices”, 17th International Conference on Agents and Artificial Intelligence (ICAART) (2025.2)
Shimon Sumita, Hiroyuki Nakagawa, Shinobu Saito, Tatsuhiro Tsuchiya, “Towards Log-based Execution Status Estimation Using Graph Neural Networks”, in Proc. of the 31st Asia-Pacific Software Engineering Conference (APSEC 2024), pp. 492-496 (Dec 2024).
Hiroyuki Nakagawa, Shimon Sumita, Shinobu Saito, “Code Reachability Visualization Based on Probabilistic Model Checking”, in Proc. of the 36th International Conference on Software Engineering & Knowledge Engineering (SEKE 2024), pp. 36-41 (Oct 2024). (Best paper award)
Hiroyuki Nakagawa, Soshi Nitta, Tatsuhiro Tsuchiya, “Review-Based Bot Smell Classification in Robotic Process Automation”, in Proc. of the 28th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2024), pp. 381-390 (Sep 2024).
Haruhiko Kaiya, Yuuki Koga, Soichiro Mori, Shinpei Ogata, Hiroyuki Nakagawa, Hironori Takeuchi, “A Light-Weight Method of Concept Drift Detection Using Heuristic Miner”, in Proc. of the 28th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2024) (Sep 2024).
Hironori Takeuchi, Haruhiko Kaiya, Hiroyuki Nakagawa, Shinpei Ogata, “Project Practice-Based Anti-Patterns for Machine Learning Projects”, in Proc. of the International Conference on AI-empowered Software Engineering (AIESE 2024) (Aug 2024).
Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, “Combining Prompts with Examples to Enhance LLM-Based Requirement Elicitation”, in Proc. of the IEEE 48th Computers, Software, and Applications Conference (COMPSAC 2024), pp. 1382-1387 (Jul 2024).
Atsushi Naito, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, “Self-adaptive System Implementation Framework Considering Execution Time Uncertainty”, in Proc. of the IEEE 48th Computers, Software, and Applications Conference (COMPSAC 2024), pp. 2170-2175 (Jul 2024).

大石慶一朗，本位田真一，中川博之，“コンテキストエンジニアリングによる連合学習の要求分析”，ソフトウェア工学の基礎ワークショップ FOSE 2025 (2025年11月)．
飯田隆一, 中川博之, “余因子展開の性質を利用した動的検証の高速化”，ソフトウェア・シンポジウム2025，pp.101-110 (2025年6月)．
成澤瑠佳，小形真平，青木善貴，中川博之，小林一樹，岡野浩三，“性格特性に応じたユーザモデル半自動生成手法の提案”，ソフトウェア工学の基礎ワークショップ FOSE 2024 (2024年11月)．
成澤瑠佳，小形真平，青木善貴，中川博之，小林一樹，岡野浩三，“性格特性に基づくシステム安全性検証の試み”，ソフトウェアエンジニアリングシンポジウム(SES2024), pp. 278-286 (2024年9月) ．

中谷多哉子，白銀純子，中川博之，佐伯元司，大西淳，“ビジネス要求仕様書の作成ガイドの開発に向けて”，電子情報通信学会ソフトウェアサイエンス(SIG-SS), (2026年3月発表決定).
小川准祐，大石慶一朗，中川博之，“日本語対応機械読唇のためのデータセット構築”，電子情報通信学会知能ソフトウェア工学研究会(SIG-KBSE), 信学技報KBSE2025-49，pp.66-71 (2026年1月).
満田壮晴，中川博之，海谷治彦，竹内広宜，小形真平，土屋達弘，“ユーザの段階的選択に基づくプロセスモデル決定手法の提案”，電子情報通信学会ライフインテリジェンスとオフィス情報システム研究会（LOIS）, 信学技報LOIS2025-31，pp.54-59 (2025年11月).
伊藤麻香，小形真平，中川博之，岡野浩三，“コントロールストラクチャと整合するステートマシン図の作成支援ツール”，電子情報通信学会知能ソフトウェア工学研究会(SIG-KBSE)，信学技報KBSE2025-15，pp.85-90 (2025年7月).
竹内広宜，中川博之，“俯瞰モデルを用いたITサービス提案書のレビュー手法”，電子情報通信学会サービスコンピューティング研究会 (SIG-SC), 信学技報SC2025-13，pp.71-76 (2025年6月).
渡部尚憲，中川博之，“ストリーミング・プロセス発見におけるコンセプトドリフトの検出と分類”，電子情報通信学会知能ソフトウェア工学研究会(SIG-KBSE), 信学技報KBSE2024-59，pp.41-46 (2025年3月).
竹内陸翔，中川博之，“株価予測におけるXAIの適用可能性検討”，電子情報通信学会知能ソフトウェア工学研究会(SIG-KBSE), 信学技報KBSE2024-60，pp.47-52 (2025年3月).
田中大椰，中川博之，“トレーサビリティリンク発見におけるLLMの有効性評価”，電子情報通信学会知能ソフトウェア工学研究会(SIG-KBSE), 信学技報KBSE2024-61，pp.53-58 (2025年3月).
内田章貴，中川博之，“RPAボットの知識共有と再利用を支援する高精度検索機能の要件分析”，人工知能学会知識と技能のモデル化と活用研究会（SIG-MAKS）第2回研究会，SIG-MAKS-002-04, pp.1-6 (2025年3月).
古田俊介，中川博之, 土屋達弘，“階層型強化学習を用いた施設レイアウト生成システムの提案”，電子情報通信学会ライフインテリジェンスとオフィス情報システム研究会（LOIS）, 信学技報LOIS2022-27，pp.5-10 (2024年11月).
古川健人，中川博之, 土屋達弘，“運用時に正解データが利用できない状況下での機械学習システムのための自己適応フレームワーク”，電子情報通信学会ライフインテリジェンスとオフィス情報システム研究会（LOIS）, 信学技報LOIS2024-40，pp.95-100 (2024年11月).
大石慶一朗，福田賢一郎，清雄一，田原康之，大須賀昭彦: 属性の欠損に対応した連合学習アルゴリズム, SMASH24 Summer Symposium, 情報処理学会研究報告, Vol.2024-ICS-215, No.2, pp.1-6 (2024.9).
境田晃大，大石慶一朗，田原康之，大須賀昭彦，清雄一: 非独立同一分布データにおける連合学習の性能公平性改善に関する研究, SMASH24 Summer Symposium, 情報処理学会研究報告, AI2024-7, pp.36-41 (2024.9).
内藤惇，中川博之，土屋達弘，“時間制約検証可能なアーキテクチャベース自己適応ソフトウェアプログラミングフレームワーク”，第23回情報科学技術フォーラム（FIT2024），第1分冊, pp.45-52, (2024年9月).
植野直次朗，中川博之，土屋達弘，“StrongSORTと密度推定による密度に依存しないグループ検出”，第23回情報科学技術フォーラム（FIT2024），第3分冊, pp.43-50, (2024年9月).
小川准祐，大石慶一朗，中川博之， “日本語対応機械読唇のためのデータセット構築”，電子情報通信学会知能ソフトウェア工学研究会(SIG-KBSE)，信学技報, vol. 125, no. 330, KBSE2025-49, pp. 66-71, (2026年1月).

::Best Poster/Demo Award::
受賞題目：“A Run-time Verification Toolkit for Self-adaptive Systems Supporting Dynamic Model Changes”
受賞者：Ryuichi Iida, Keiichiro Oishi, Hiroyuki Nakagawa
受賞日：2026年10月2日

::2025年度（令和7年度）山下記念研究賞::
受賞対象論文：属性の欠損に対応した連合学習アルゴリズム
受賞者：大石慶一朗
(共著者: 福田賢一郎、清雄一、田原康之、大須賀昭彦)
受賞日：2025年9月2日

::in Proc. of the 36th International Conference on Software Engineering & Knowledge Engineering Best Paper Award::
受賞題目：“Code Reachability Visualization Based on Probabilistic Model Checking”
受賞者：Hiroyuki Nakagawa, Shimon Sumita, Shinobu Saito
受賞日：2024年10月27日

::IEEE Computer Society Japan Chapter SMASH Young Researcher Award::
受賞題目：属性の欠損に対応した連合学習アルゴリズム
受賞者：大石慶一朗
(共著者: 福田賢一郎、清雄一、田原康之、大須賀昭彦)
受賞日：2024年9月13日