研究業績リスト
中川博之2023 年 9 月 29 日
1. 論文誌[1-1]

池田光，中川博之，赤木宏匡，関本章，土屋達弘，“強化学習と階層化意思決定法を用いた施設レイアウト自動設計支援システムの提案”，日本経営工学会論文誌（2023 年掲
載決定）.

[1-2]

Shimon Sumita, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, “Xtune: An XAI-Based
Hyperparameter Tuning Method for Time-series Forecasting Using Deep Learning”,
Research Square, https://doi.org/10.21203/rs.3.rs-3008932/v1, pp.1-18 (2023.6).

[1-3]

新田壮史，中川博之，土屋達弘，“RPA における不具合要因の分類と検出手法の検証”，
日本ソフトウェア科学会 学会誌『コンピュータソフトウェア』Vol. 40 No.1 pp.11-23(2023.1).

[1-4]

Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, "Goal Model Structuring
Based

on

Semantic

Correlation

of

User

Reviews",

Intelligent

Decision

Technologies Journal, IOS Press, Vol. 16, No. 4, pp. 737-748 (2022.12).
[1-5]

Hiroyuki Nakagawa, Shinya Tsuchida, Emiliano Tramontana, Andrea Fornaia,
Tatsuhiro Tsuchiya, “Embedded System Evolution in IoT System Development Basedon MAPE-K Loop Mechanism”, arXiv:2205.13375, pp.1-17 (2022.5).

[1-6]

Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya,“Using simulated annealing for locating array construction”, Information and
Software Technology, Elsevier, Vol. 126, 106346 (2020.10).

[1-7]

Hiroyuki Nakagawa, Hironori Shimada, Tatsuhiro Tsuchiya, “Interactive Goal
Model Construction Based on a Flow of Questions”, IEICE Transactions on
Information and Systems, Vol.E103-D, No.06, pp．1309-1318, Jun. 2020 (2020. 6).

[1-8]

Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya,“Finding minimum locating arrays using a CSP solver”, Fundamenta Informaticae,
IOS Press, Vol. 174 No. 1 pp. 27 - 42 (2020.5).

[1-9]

東和幸，高橋仁，中川博之，土屋達弘，“単語の出現頻度と類似性に基づいたトピック
モデル洗練化手法”，日本ソフトウェア科学会 学会誌『コンピュータソフトウェア』，
Vol. 36 No.4 pp.25-31 (2019.11).

[1-10] Hiroyuki Nakagawa, Hiromu Toyama, Tatsuhiro Tsuchiya, “Expression Caching for
Runtime Verification Based on Parameterized Probabilistic Models”, The Journalof

Systems&

Software,

Vol

156,

pp.

https://doi.org/10.1016/j.jss.2019.07.007 (2019. 10).

1

300-311,

Elsevier,[1-11] 松井勝利，中川博之，土屋達弘，“文書間の類似度に基づいた要求カバレッジ可視化手法”，日本ソフトウェア科学会

学会誌『コンピュータソフトウェア』， Vol. 35, No.

1, pp. 67-75 (2018.2).
[1-12] Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, “A Search-based Constraint Elicitationin Test Design”, IEICE Transactions on Information and Systems, Vol. E99-D,
No. 9, pp. 2229-2238 (2016.9).
[1-13] 本田耕三，平山秀昭，中川博之，田原康之，大須賀昭彦， “ゴール指向洗練パターン駆動によるユースケースモデリング”，電子情報通信学会論文誌, Vol. J99-D, No.3, pp.
238-254 (2016.3). （学生論文特集秀逸論文）[1-14] Kazuhiro Tashiro, Takahiro Kawamura, Yuichi Sei, Hiroyuki Nakagawa, Yasuyuki
Tahara, Akihiko Ohsuga, “Iterative Improvement of Human Pose Classification
using Guide Ontology”, IEICE Transactions on Information and Systems, Vol.
E99-D, No. 1, pp. 236-247 (2016.1).
[1-15] 堀田大貴，本田耕三，平山秀昭，清雄一，中川博之，田原康之，大須賀昭彦， “リファインメントパターンを利用した KAOS ゴールモデルから BPMN モデルへの変換”， 日本
ソフトウェア科学会 学会誌『コンピュータソフトウェア』， Vol. 32, No. 4, pp. 141160 (2015.11).
[1-16] 池尻恭介, 清雄一, 中川博之, 田原康之, 大須賀昭彦，“意外性のあるレシピを推薦するエージェントの提案”，電子情報通信学会論文誌, Vol. J98-D, No.6, pp. 971-981(2015.6).
[1-17] 坂野宏樹，中川博之，小島英春，土屋達弘，“組み合わせインタラクションテストにおける BDD を用いた制約処理法の性能評価”， 電子情報通信学会論文誌, Vol. J98-D,
No.3, pp. 384-395 (2015.3).
[1-18] 岩崎祐貴，折原良平, 清雄一, 中川博之, 田原康之, 大須賀昭彦，“CGM における炎上の分析とその応用”，人工知能学会論文誌，Vol. 30, No. 1, pp. 152-160 (2015).
[1-19] 池尻恭介, 清雄一, 中川博之, 田原康之, 大須賀昭彦，“食材の希少性に基づいた意外性のあるレシピの抽出”， 日本ソフトウェア科学会 学会誌『コンピュータソフトウェ
ア』, Vol. 31, No. 3, pp. 70-78 (2014).
[1-20] 田代和浩, 川村隆浩, 清雄一, 中川博之, 田原康之, 大須賀昭彦，“Human Pose Guide
Ontology を用いた静止画像内人物のポーズ分類”， 日本ソフトウェア科学会 学会誌『コンピュータソフトウェア』, Vol. 31, No. 3, pp. 58-69 (2014).
[1-21] 中村祐貴，本田耕三，中川博之，田原康之，大須賀昭彦，“ソフトウェア再利用に向けた共通ゴール判別手法の提案”， 日本ソフトウェア科学会 学会誌『コンピュータソフ
トウェア』, Vol. 31, No. 2, pp. 67-83 (2014).
[1-22] Mian Wang, Takahiro Kawamura, Yuichi Sei, Hiroyuki Nakagawa, Yasuyuki Tahara,
Akihiko Ohsuga, “Music Recommender Adapting Implicit Context Using 'renso'
Relation among Linked Data”, Journal of Information Processing, Vol. 22, No.
2, pp. 279-288 (2014).

2[1-23] 川村隆浩，越川兼地，中川博之，清雄一，田原康之，大須賀昭彦， “メディア情報のLinked Data 化と活用事例の提案”,電子情報通信学会論文誌, Vol.J96-D, No.12,
pp.2987-2999 (2013)．
[1-24] 藤原誠，中川博之，田原康之，大須賀昭彦，“タグクラスタ多様化による未知性を考慮した推薦手法の提案”，電子情報通信学会論文誌，Vol.J96-D, No.3, pp. 531-542 (2013)．
[1-25] 全泰賢，川村隆浩，中川博之，田原康之，大須賀昭彦, “服飾オントロジーを用いた EC
サイトにおけるユーザデザイン嗜好の推定と評価”, 情報処理学会論文誌, Vol.53,
No.11, pp.2485-2493 (2012)．
[1-26] 石野 克徳, 折原 良平，中川博之，田原康之，大須賀昭彦, “フォークソノミーとソー
シャルアノテーションを用いた動画共有サービス利用支援の試み”, 情報処理学会論文誌, Vol.53, No.11, pp.2494-2506 (2012)．
[1-27] 中川博之，大須賀昭彦，本位田真一， “ゴール指向要求記述の整形に基づいたソフトウェアシステム進化手法”, 情報処理学会論文誌, Vol.53, No.10, pp.2328-2344 (2012)．
[1-28] 田中俊行，グェンミンティ，中川博之，田原康之，大須賀昭彦, “評判分析システムのための教師あり学習を用いた意見抽出”, 電子情報通信学会論文誌，Vol.J94-D, No.11,
pp.1751-1761 (2011)．
[1-29] 橋本和幸，中川博之，田原康之，大須賀昭彦, “センチメント分析とトピック抽出によるマイクロブログからの評判傾向抽出”, 電子情報通信学会論文誌，Vol.J94-D, No.11,
pp.1762-1772 (2011)．
[1-30] 佐藤大輔，中川博之，田原康之，大須賀昭彦, “閲覧中のニュース記事に対するブログ
記事から主張を抽出して提示するシステムの提案”, 電子情報通信学会論文誌，Vol.J94-D, No.11, pp.1773-1782 (2011)．
[1-31] 川村隆浩，ワコラ，中川博之，田原康之，大須賀昭彦, “インタラクション・シーケンスに着目した商品検索目的抽出エージェントの開発”, 電子情報通信学会論文誌，Vol.J94-D, No.11, pp.1783-1790 (2011)．
[1-32] 三代謙仁，川村隆浩，中川博之，田原康之，大須賀昭彦, “携帯端末上での拡張現実を用いた植物推薦エージェント Green-Thumb Phone の開発”, 電子情報通信学会論文誌，Vol.J94-D, No.11, pp.1791-1799 (2011)．
[1-33] 住元宗一朗，中川博之，田原康之，大須賀昭彦, “コンテンツ投稿型 SNS における未知性と意外性を考慮した推薦エージェントの提案”, 電子情報通信学会論文誌，Vol.J94D, No.11, pp.1800-1811 (2011)．
[1-34] 中川博之, 大須賀昭彦, 本位田真一, “ビヘイビア記述に基づく自己適応システム実装
フレームワークの提案”, 人工知能学会論文誌，Vol.26，No.1，pp.1-12（2011）．
[1-35] 西村一彦，中川博之，田原康之，大須賀昭彦, “自律システム実現に向けたアーキテク
チャの構築”, 人工知能学会論文誌，Vol.26，No.1，pp.107-115（2011）．
[1-36] 川村隆浩，沈偉，中川博之，田原康之，大須賀昭彦, “オントロジー構築サービス ONTOMOの開発－固有名詞抽出によるインスタンスとプロパティ自動推薦エージェントの評価－”, 人工知能学会論文誌，Vol.26，No.1，pp.116-126（2011）．

3

[1-37] グェンミンティ，川村隆浩，中川博之，田原康之，大須賀昭彦, “条件付確率場と自己教師あり学習を用いた行動属性の自動抽出と評価”, 人工知能学会論文誌，Vol.26，
No.1，pp.166-178（2011）．
[1-38] 中川博之, 大須賀昭彦, 本位田真一, “プロセス間競合を考慮した自己適応システムの形式仕様構築”, 情報処理学会論文誌，Vol.51，No.9, pp.1751-1764（2010）．
[1-39] 中川博之, 大須賀昭彦, 本位田真一, “ゴール指向要求分析を用いた self-adaptive シ
ステムの構築”, 情報処理学会論文誌，Vol.50，No.10，pp.2500-2513（2009）．
[1-40] 中川博之, 田口研治, 本位田真一, “モデル変換に基づく要求記述を利用した形式仕様
記述の構築”, 情報処理学会論文誌，Vol.49，No.7，pp.2304-2318（2008）．
[1-41] 鄭顕志，中川博之，川俣洋次郎，吉岡信和，深澤良彰，本位田真一, “ユビキタスコン
ピューティングにおけるアプリケーション開発手法に関する研究動向”，日本ソフトウ
ェア科学会 学会誌『コンピュータソフトウェア』「エージェント」特集，Vol.25，No.4，
pp.121-132 （2008）．
[1-42] 中川博之, 吉岡信和, 本位田真一, “IMPULSE: KAOS を利用したマルチエージェントシ
ステムの分析モデル構築”,情報処理学会論文誌, Vol.48, No.8, pp.2551-2565 (2007)．
[1-43] 中川博之, 吉岡信和, 本位田真一, “要求の重要度を用いたマルチエージェントシステ
ムの分析モデル検証”, 電子情報通信学会論文誌, Vol.J90-D, No.9, pp.2281-2292(2007)．

2. 国際会議（査読有り）[2-1]

Keitaro Watanabe, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, “KAOS Modeling
Editor: A Tool for Semi-Automated Goal Modeling”, in Proc. of the 42ndInternational Conference on Conceptual Modeling (ER 2023), (Poster & Demos) (Toappear).

[2-2]

Hiroyuki Nakagawa, Shinichi Honiden, “MAPE-K Loop-based Goal Model Generation
Using Generative AI”, in Proc. of the IEEE 31st International Requirements
Engineering Conference Workshops (REW 2023), pp. 247-251 (Sep 2023).

[2-3]

Haruhiko Kaiya, Hiroyuki Nakagawa, Shinpei Ogata, Shinobu Saito, Hironori
Takeuchi, “Finding Contributable Activities Using Non-Verb Attributes in
Events”, in Proc. of the 27th International Conference on Knowledge-Based andIntelligent Information & Engineering Systems (KES 2023) (To appear).

[2-4]

Hironori

Takeuchi,Haruhiko

Kaiya,

Hiroyuki

Nakagawa,

Shinpei

Ogata,“Practice-based Collection of Bad Smells in Machine Learning Projects”, in
Proc. of the 27th International Conference on Knowledge-Based and Intelligent
Information & Engineering Systems (KES 2023) (To appear).
[2-5]

Masaya Fujimoto, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, “Expansion Mechanism
for Runtime Verification of Self-adaptive Systems”, in Proc. of the 35th
International Conference on Software Engineering & Knowledge Engineering (SEKE4

2023), pp.1-6 (July 2023).
[2-6]

Fumi Sekimoto, Hiromasa Akagi, Hiroyuki Nakagawa, “A New Approach to Solving
Multiple-floor Facility Layout Problems Using Genetic Programming”, in Proc.
of the IISE Annual Conference & Expo 2023, No.135, pp. 1-6 (May 2023).

[2-7]

Hikaru Ikeda, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, “Automatic Facility
Layout Design System Using Deep Reinforcement Learning”, in Proc. of the 15th
International Conference on Agents and Artificial Intelligence (ICAART 2023),
Vol. 2, pp. 221-230, (Feb 2023).

[2-8]

Shimon Sumita, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, “Optimal Parameter
Selection Using Explainable AI for Time-Series Anomaly Detection”, in Proc. ofthe 24th International Conference on Principles and Practice of Multi-Agent
Systems (PRIMA 2022), pp. 281-296 (Nov 2022).

[2-9]

Hikaru Ikeda, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, “Towards Automatic
Facility Layout Design Using Reinforcement Learning”, in Proc. of the 17th
Conference on Computer Science and intelligent systems (FedCSIS 2022), pp. 1120 (Sep 2022).

[2-10] Haruhiko Kaiya, Tomoya Misawa, Shinpei Ogata, Shinobu Saito, Hiroyuki Nakagawa,
Hironori Takeuchi, “A Proposal to Find Mutually Contributable Business or Life
Activities Using Conformance Checking”, in Proc. of the 26th International
Conference on Knowledge-Based and Intelligent Information & Engineering Systems(KES2022), pp.542-551 (Sep 2022).
[2-11] Shinpei Ogata, Hiroyuki Nakagawa, Haruhiko Kaiya, Hironori Takeuchi, "A Studyon Analyzing Learner Behaviors in State Machine Modeling Using Process Mining
and Statistical Test", in Proc. of the 14th International Joint Conference on
Knowledge-Based Software Engineering (JCKBSE 2022), pp.141-153 (Aug 2022).
[2-12] Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, “Hierarchical User Review
Clustering Based on Multiple Subgoal Generation”, in Proc. of the 14th
International Joint Conference on Knowledge-Based Software Engineering (JCKBSE
2022), pp. 207-219 (Aug 2022).
[2-13] Hironori

Takeuchi,Haruhiko

Kaiya,

Hiroyuki

Nakagawa,

Shinpei

Ogata,“Reference Model for Agile Development of Machine Learning-based Service
Systems”, in Proc. of the 3rd International Workshop on Machine Learning
Systems Engineering (iMLSE2021), pp. 17-20, (Dec 2021).
[2-14] Alhassan Boner Diallo, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, “Preemptive
Anomaly Prediction in IoT Components”, in Proc. of the Context-aware,
Autonomous and Smart Architecture Workshop (CASA2021) co-located with the 15th
European Conference on Software Architecture (ECSA2021), pp. 12-17 (Sep 2021).
[2-15] Shingo Ariwaka, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, “Graph queries for5analyzing the coverage of requirements by test cases”, in Proc. of the 33rd
International Conference on Software Engineering & Knowledge Engineering (SEKE2021), pp. 544-549 (Jul 2021).
[2-16] Alhassan Boner Diallo, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, “Adaptation
Space Reduction Using an Explainable Framework”, in Proc. of the IEEE 45th
Annual Computers, Software, and Applications Conference (COMPSAC 2021), pp.

1654-1661 (Jul 2021).
[2-17] Hiroyuki Nakagawa, Hiromu Toyama, Tatsuhiro Tsuchiya, “Expression Caching for
Runtime Verification Based on Parameterized Probabilistic Models”, The 41stIEEE Real-Time Systems Symposium (RTSS 2020), (Journal presentation), (Dec 2020).
[2-18] Alhassan Boner Diallo, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, “An Explainable
Deep Learning Approach for Adaptation Space Reduction”, in Proc. of the IEEE
International Conference on Autonomic Computing and Self-Organizing Systems
Companion (ACSOS 2020), pp. 230-231 (Aug 2020).
[2-19] Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, “An Automated Goal
Labeling Method Based on User Reviews”, in Proc. of the 32nd International
Conference on Software Engineering & Knowledge Engineering (SEKE 2020), pp.
141-146 (Jul 2020).
[2-20] Hiroyuki Nakagawa, Shinpei Ogata, Yoshitaka Aoki, Kazuki Kobayashi, “A Model
Transformation Approach to Constructing Agent-oriented Design Models for
CPS/IoT Systems”, in Proc. of the 35th ACM/SIGAPP Symposium on Applied
Computing (SAC 2020), pp. 815-822 (Mar 2020).
[2-21] Long Wang, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, “Opinion Analysis andOrganization of Mobile Application User Reviews”, in Proc. of the Third
Workshop on Natural Language Processing for Requirements Engineering (NLP4RE
2020), Vol. 2584, pp. 1-9 (March 2020).
[2-22] Hiroyuki Nakagawa, Hiroki Tsuda, Tatsuhiro Tsuchiya, “Towards Real-time Selfadaptation Using a Verification Mechanism”, in Proc. of the 31st Euromicro
Conference on Real-Time Systems (ECRTS 2019) (WiP Session), pp.10-12 (Jul 2019).
[2-23] Satoru Yamagata, Hiroyuki Nakagawa, Yuichi Sei, Yasuyuki Tahara, Akihiko Ohsuga,“Self-Adaptation for Heterogeneous Client-Server Online Games”, in Proc. of
the 18th IEEE/ACIS International Conference on Computer and Information Science(ICIS 2019) (Outstanding paper), pp.65-79 (June 2019).
[2-24] Hironori

Shimada,Hiroyuki

Nakagawa,

Tatsuhiro

Tsuchiya,

“Goal

Model

Construction Based on User Review Classification”, in Proc. of the 25th
International Working Conference on Requirements Engineering: Foundation for
Software Quality (REFSQ 2019) (Poster session), pp.1-5 (Mar 2019).
[2-25] Yoshitaka

Aoki,

Shinpei

Ogata,

Kazuki6

Kobayashi,

Hiroyuki

Nakagawa,

“Verification of CPS Based on Control Loop using Model Checking”, in Proc. ofthe 25th Asia-Pacific Software Engineering Conference (APSEC 2018), pp.678-682(Dec 2018).
[2-26] Shinpei Ogata, Yoshitaka Aoki, Hiroyuki Nakagawa, Kazuki Kobayashi, “A Template
System for Modeling and Verifying Agent Behaviors”, in Proc. of the 21stInternational Conference on Principles and Practice of Multi-Agent Systems(PRIMA 2018), pp.576-584 (Oct 2018).
[2-27] Shinya Tsuchida, Hiroyuki Nakagawa, Emiliano Tramontana, Andrea Fornaia,
Tatsuhiro Tsuchiya, “A Framework for Updating Functionalities Based on the
MAPE Loop Mechanism”, in Proc. of the 42nd IEEE Computer Software andApplications Conference (COMPSAC 2018), pp.38-47 (Jul 2018).
[2-28] Hiroyuki Nakagawa, Nobukazu Ishii, Tatsuhiro Tsuchiya, “A Document-based
Parameter Correlation Metric for Test Design”, in Proc. of the 30th
International Conference on Software Engineering & Knowledge Engineering (SEKE2018), pp.641-646 (Jul 2018).
[2-29] Kazuyuki Higashi, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, “Improvement of User
Reviews Classification Using Keyword Expansion”, in Proc. of the 30th
International Conference on Software Engineering & Knowledge Engineering (SEKE2018), pp.125-130 (Jul 2018).
[2-30] Hiroyuki Nakagawa, Toshinobu Hasegawa, Shori Matsui, Tatsuhiro Tsuchiya,“Visualization of Specification Coverage: A Case Study of a Web Application
Development in Industry”, in Proc. of the IEEE 28th International Symposium on
Software Reliability Engineering (ISSRE 2017), (Industry track), pp.77-80 (Oct2017).
[2-31] Hironori Shimada, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, “Constructing a Goal
Model from Requirements Descriptions Based on Extraction Rules”, in Proc. of
the 4th Asia Pacific Requirements Engineering Symposium (APRES 2017), pp.175188 (Nov 2017).
[2-32] Shinpei Ogata, Hiroyuki Nakagawa, Yoshitaka Aoki, Kazuki Kobayashi, Yuko
Fukushima, "A Tool to Edit and Verify IoT System Architecture Model", in Proc.
of the ACM/IEEE 20th International Conference on Model Driven Engineering
Languages and Systems (MODELS 2017), (Tools and Demonstrations track), Satellite
Events Volume pp.571-575, 2017 (Sep 2017).
[2-33] Hiroyuki Nakagawa, Shori Matsui, Tatsuhiro Tsuchiya, “A Visualization ofSpecification Coverage Based on Document Similarity”, in Proc. of the 39th
International Conference on Software Engineering (ICSE 2017), Poster session,Companion Volume pp. 136-138 (May 2017).
[2-34] Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya,

7

“Finding Minimum Locating Arrays Using a SAT Solver”, in Proc. of the 6thInternational Workshop on Combinatorial Testing (IWCT 2017), Poster session,
pp. 276-277 (Mar 2017).
[2-35] Hiroyuki Nakagawa, Kento Ogawa, Tatsuhiro Tsuchiya, “Caching Strategies for
Run-time Probabilistic Model Checking”, in Proc. of the 11th International
Workshop on Models@run.time (MRT 2016), pp.18-25 (Oct 2016).
[2-36] Hiroki Tsuda, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, “A Dynamic Verification
Mechanism for Real-time Self-adaptive Systems”, in Proc. of the 10th IEEE
International Conference on Self-Adaptive and Self-Organizing Systems (SASO
2016) (Poster Session), pp.265-266 (Sep 2016).
[2-37] Hiroyuki

Nakagawa,

Elicitation

of

Test

Tatsuhiro

Tsuchiya,“Towards

Automatic

Constraints

Cases:

Preliminary

Evaluation

Based

CollectiveonIntelligence”, in Proc. of the 30th IEEE/ACM International Conference on
Automated Software Engineering Workshop (ASEW 2015), pp. 58-61 (Nov 2015).
[2-38] Hiroki Tsuda, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, “Towards Self-Adaptation
on Real-World Hardware: a Preliminary Lightweight Programming Framework”, in
Proc. of the 9th IEEE International Conference on Self-Adaptive and SelfOrganizing Systems (SASO 2015) (Demonstrations Session), pp. 176-177 (Sep2015).
[2-39] Kento

Ogawa,

Hiroyuki

Nakagawa,

Tatsuhiro

Tsuchiya,“An

Experimental

Evaluation on Runtime Verification of Self-adaptive Systems in the Presence ofUncertain Transition Probabilities”, in Proc. of the 2nd Workshop on Formal
Verification for Self-* Systems (VERY* 2015), pp. 253-265 (Sep 2015).
[2-40] Hitoshi Takahashi, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, “Towards Automatic
Requirements Elicitation from Feedback Comments: Extracting Requirements Topics
Using LDA”, in Proc. of the 27th International Conference on Software
Engineering and Knowledge Engineering (SEKE 2015), pp.489-494 (Jul 2015).
[2-41] Hiroyuki

Nakagawa,

Tatsuhiro

Tsuchiya,“Towards

Automatic

Constraints

Elicitation in Pair-wise Testing Based on a Linguistic Approach: Elicitation
Support Using Coupling Strength”, in Proc. of the 2nd International Workshop
on Requirements Engineering and Testing (RET 2015), co-located with ICSE 2015,
pp.34-36 (May 2015).
[2-42] Satoshi Fujimoto, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya,“Applying Parameter Value Weighting to a Practical Application”, in Proc. ofthe 25th IEEE International Symposium on Software Reliability Engineering (ISSRE
2014) (Fast Abstracts), pp.130-131 (Nov 2014).
[2-43] Takahiro Nagamoto, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya,“Locating a Faulty Interaction in Pair-Wise Testing”, in Proc. of the 20th8IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014)(Fast Abstracts), pp.155-156 (Nov 2014).
[2-44] Hiroyuki Nakagawa, Takumitsu Kudo, Yuichi Sei, Yasuyuki Tahara, Akihiko Ohsuga,“Towards

SoftwareEvolution

forEmbedded

Systems

Based

on

MAPE

Loop

Encapsulation”, in Proc. of the Eighth IEEE International Conference on SelfAdaptive and Self-Organizing Systems (SASO2014) (Demonstrations Session),
pp.203-204 (Sep 2014).
[2-45] Satoru Yamagata, Hiroyuki Nakagawa, Yuichi Sei, Yasuyuki Tahara, Akihiko Ohsuga,“A MAPE Loop Control Pattern for Heterogeneous Client/Server Online Games”,
in Proc. of the 26th International Conference on Software Engineering andKnowledge Engineering (SEKE2014) (Poster & Demonstrations Session), pp.742743 (Jul 2014).
[2-46] Kazuhiro Tashiro, Takahiro Kawamura, Yuichi Sei, Hiroyuki Nakagawa, Yasuyuki
Tahara, Akihiko Ohsuga, “Refinement of Ontology-constrained Human Pose
Classification”, in Proc. of the 8th IEEE International Conference on Semantic
Computing (ICSC2014), pp.60-67 (Jun 2014).
[2-47] Kyosuke Ikejiri, Yuichi Sei, Hiroyuki Nakagawa, Yasuyuki Tahara, Akihiko Ohsuga,“Surprising Recipe Extraction Based on Rarity and Generality of Ingredients”,
in Proc. of the 6th International Conference on Agents and Artificial
Intelligence (ICAART 2014), pp.428-436 (Mar 2014).
[2-48] Yuki Iwazaki, Ryohei Orihara, Yuichi Sei, Hiroyuki Nakagawa, Yasuyuki Tahara,
Akihiko Ohsuga, “Identification of Flaming and Its Applications in CGM: Case
Studies toward Ultimate Prevention”, in Proc. of the 6th International
Conference on Agents and Artificial Intelligence (ICAART 2014), pp.639-644 (Mar2014).
[2-49] Hiroki Horita, Kozo Honda, Yuichi Sei, Hiroyuki Nakagawa, Yasuyuki Tahara,
Akihiko Ohsuga, “Transformation Approach from KAOS Goal Models to BPMN Models
Using Refinement Patterns”in Proc. of the 29th ACM Symposium On Applied
Computing (SAC2014), pp.1023-1024 (Mar 2014).
[2-50] Yutaka Yoshida, Kozo Honda, Yuichi Sei, Hiroyuki Nakagawa, Yasuyuki Tahara,
AkihikoOhsuga,“Towards

Semi-Automatic

IdentificationofFunctional

Requirements in Legal Texts for Public Administration”, in Proc. of the 26th
International Conference on Legal Knowledge and Information Systems (JURIX2013),
pp.175-184 (Dec 2013).
[2-51] Mian Wang, Takahiro Kawamura, Yuichi Sei, Hiroyuki Nakagawa, Yasuyuki Tahara,
Akihiko Ohsuga, “Context-aware Music Recommendation with Serendipity Using
Semantic Relations”, in Proc. of the 3rd Joint International Semantic
Technology Conference (JIST2013), pp.1-16 (Nov 2013).

9[2-52] Kazuhiro Tashiro, Takahiro Kawamura, Yuichi Sei, Hiroyuki Nakagawa, Yasuyuki
Tahara, Akihiko Ohsuga, “Classification of Idol Photograpy Based on Pose Guide
Ontology”,

in Proc. of the 3rd Joint International Semantic Technology

Conference (JIST2013), pp.1-4 (Nov 2013). (Best Poster & Demo Award)[2-53] Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden, “A Goal Model Elaboration
for Localizing Changes in Software Evolution”, in Proc. of the 21st IEEE
International Requirements Engineering Conference (RE 2013), pp.155-164 (Jul2013).
[2-54] Yuya Arai, Ryohei Orihara, Hiroyuki Nakagawa, Yasuyuki Tahara, Akihiko Ohsuga,“Designing Loss-aware Fitness Function for GA-based Algorithmic Trading”, in
Proc. of the 26th International Conference on Industrial Engineering & Other
Applications of Applied Intelligent Systems (IEA/AIE2013), pp.107-114 (Jun2013).
[2-55] Shigeo Nakamura, Hiroyuki Nakagawa, Yasuyuki Tahara, Akihiko Ohsuga, “Towards
solving an obstacle problem by the cooperation of UAVs and UGVs”, in Proc. ofthe 28th ACM Symposium On Applied Computing (SAC2013), pp.77-82 (Mar 2013).
[2-56] Katsunori Ishino, Ryohei Orihara, Hiroyuki Nakagawa, Yasuyuki Tahara, AkihikoOhsuga, “Support for Video Hosting Service Users using Folksonomy and Social
Annotation”, in Proc. of 2012 IEEE/WIC/ACM International Conference on WebIntelligence (WI 2012), pp. 472-479 (Dec 2012).
[2-57] Hiroyuki

Nakagawa,

AkihikoOhsuga,Shinichi

Honiden,“Towards

Dynamic

Evolution of Self-adaptive Systems Based on Dynamic Updating of Control Loops”,
in Proc. of the 6th IEEE International Conference on Self-Adaptive and SelfOrganizing Systems (SASO 2012), pp.59-68 (Sep 2012).
[2-58] Kozo Honda, Hiroyuki Nakagawa, Yasuyuki Tahara, Akihiko Ohsuga, “Goal-Oriented
Robustness Analysis”, in Proc. of the 10th Joint Conference on Knowledge-Based
Software Engineering (JCKBSE 2012), pp.171-180 (Aug 2012).
[2-59] Sombat Chanvilai, Kozo Honda, Hiroyuki Nakagawa, Yasuyuki Tahara, Akihiko Ohsuga,“Goal-oriented Approach to Creating Class Diagrams with OCL Constraints”，inProc. of the 27th ACM Symposium On Applied Computing (SAC2012), pp.1051-1056(Mar 2012).
[2-60] Hisayuki Horikoshi, Hiroyuki Nakagawa, Yasuyuki Tahara, Akihiko Ohsuga ，“Dynamic Reconfiguration in Self-adaptive Systems Considering Non-functional
Properties”， in Proc. of the 27th ACM Symposium On Applied Computing (SAC2012),
pp.1144-1150 (Mar 2012).
[2-61] Isabel Shizu Miyamae Iwanaga, Nguyen Minh The, Takahiro Kawamura, Hiroyuki
Nakagawa, Yasuyuki Tahara, Akihiko Ohsuga, “Building an Earthquake Evacuation
Ontology from Twitter”，in Proc. of the 2011 IEEE International Conference on

10Granular Computing (GrC2011), pp.306-311 (Nov 2011).
[2-62] Yoko Girier, Kozo Honda, Hiroyuki Nakagawa, Yasuyuki Tahara, Akihiko Ohsuga,“Visual-K: A Prototype for a Visualization Tool Modeling Goal-Oriented RE
Methodology KAOS”, in Proc. of the 2nd International Conference on Measurement
and Control Engineering (ICMCE 2011), pp.315-326 (Oct 2011).
[2-63] Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden, “gocc: A Configuration
CompilerforSelf-adaptive

Systems

Using

Goal-oriented

Requirements

Description”, in Proc. of the 6th ACM/IEEE International Symposium on Software
Engineering for Adaptive and Self-Managing Systems (SEAMS 2011), co-locatedwith ICSE 2011, pp.40-49 (May 2011).
[2-64] Hiroyuki Nakagawa, Nobukazu Yoshioka, Akihiko Ohsuga, Shinichi Honiden,“IMPULSE:aDesignFrameworkfor

Multi-Agent

Systems

Based

on

Model

Transformation”, in Proc. of the ACM 26th Symposium On Applied Computing(SAC2011), pp.1416-1423 (Mar 2011).
[2-65] Hiroyuki Nakagawa, Nobukazu Yoshioka, Akihiko Ohsuga, Shinichi Honiden, “A
Frameworkfor

Validating

Task

AssignmentinMulti-agent

Systemsusing

Requirements Importance”, in Proc. of the 13th International Conference on
Principles and Practice of Multi-Agent Systems (PRIMA2010), pp.207-214 (Nov
2010).
[2-66] Takahiro Kawamura, I Shin, Hiroyuki Nakagawa, Yasuyuki Tahara, Akihiko Ohsuga,“ONTOMO:

Web

ServiceforOntology

Building-

EvaluationofOntology

Recommendation using Named Entity Extraction”, in Proc. of IADIS International
Conference WWW/INTERNET 2010 (ICWI 2010), pp.101-111(Sep 2010).
[2-67] Nguyen Minh The, Takahiro Kawamura, Hiroyuki Nakagawa, Yasuyuki Tahara, AkihikoOhsuga, “Self-supervised Mining of Human Activity from CGM”, in Proc. of the
11th International Workshop on Knowledge Management and Acquisition for Smart
Systems and Services (PKAW2010), pp. 61-72 (Aug 2010).
[2-68] Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden, “Towards Effective Use of
Requirements Description in Self-adaptive System Development”, in Proc. of theInternational Workshop on Modern Science and Technology 2010 (IWMST2010),
pp.100-105 (Sep 2010).
[2-69] Nguyen Minh The, Takahiro Kawamura, Hiroyuki Nakagawa, Yasuyuki Tahara, AkihikoOhsuga, “Automatic Mining of Human Activity Attributes from Weblogs”, in Proc.
of the 9th IEEE/ACIS International Conference on Computer and Information
Science (ICIS2010), pp.633-644 (Aug 2010).
[2-70] Yasuyuki Tahara, Atsushi Tago, Hiroyuki Nakagawa, Akihiko Ohsuga, “NicoScene:Video Scene Search by Keywords based on Social Annotation”, in Proc. of the
6th International Conference on Active Media Technology (AMT2010), pp.461-474

11

(Aug 2010).
[2-71] Nguyen Minh The, Takahiro Kawamura, Hiroyuki Nakagawa, Yasuyuki Tahara, AkihikoOhsuga, “Automatic Mining of Human Activity and Its Relationships from CGM”,
in Proc. of the 5th International Conference on Software and Data Technologies(ICSOFT2010), pp.285-292 (Jul 2010).
[2-72] Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden, “Cooperative Behaviors
DescriptionforSelf-*

Systems

Implementation”,

in

Proc.

of

the

8th

International Conference on Practical Applications of Agents and Multi-Agent
Systems (PAAMS 10), pp.69-74 (Apr 2010).
[2-73] Nguyen Minh The, Takahiro Kawamura, Hiroyuki Nakagawa, Ken Nakayama, Yasuyuki
Tahara, Akihiko Ohsuga, “Human Activity Mining using Conditional Random Fields
and Self-Supervised Learning”, in Proc. of the 2nd Asian Conference onIntelligent Information and Database Systems (ACIIDS2010), pp.140-149 (Mar2010).
[2-74] I Shin, Takahiro Kawamura, Hiroyuki Nakagawa, Ken Nakayama, Yasuyuki Tahara,
Akihiko Ohsuga, “ONTOMO: Web-based Ontology Building System - Instance
Recommendation Using Bootstrapping”, in Proc. of the ACM 25th Symposium On
Applied Computing (SAC 2010), pp.1442-1443（Mar 2010）．
[2-75] Junichi Yamamoto, Hiroyuki Nakagawa, Ken Nakayama, Yasuyuki Tahara, AkihikoOhsuga,“A

Context

InteroperabilityinSharingChangeable

Message

BrokerEnvironments”,

Architecture
in

Proc.

to

Enhance

of

the

3rd

International Conference on Mobile Ubiquitous Computing, Systems, Services andTechnologies (UBICOMM 2009), pp.31-39（Oct 2009）．
[2-76] I Shin, Takahiro Kawamura, Hiroyuki Nakagawa, Ken Nakayama, Yasuyuki Tahara,
Akihiko Ohsuga, “ONTOMO: Development of Ontology Building Service - Evaluationof Instance Recommendation using Proper Noun Extraction”, in Proc. of the 12th
International Conference on Principles of Practice in Multi-Agent Systems (PRIMA2009), pp.143-158（Dec 2009）．
[2-77] Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden,“Constructing Selfadaptive Systems Using KAOS Model”, in Proc. of the Second IEEE International
Conference on Self-Adaptive and Self-Organizing Systems Workshops (SASOW 2008),
pp.132-137 (Oct 2008).
[2-78] Hiroyuki Nakagawa, Kenji Taguchi, Shinichi Honiden, “Formal Specification
Generator for KAOS”, in Proc. of the 22nd IEEE/ACM International Conference on
Automated Software Engineering (ASE2007) (Tool Demonstrations Track), pp.531532 (Nov 2007).
[2-79] Hiroyuki Nakagawa, Takuya Karube, Shinichi Honiden, “Analysis of Multi-Agent
Systems based on KAOS Modeling”, in Proc. of the 28th International Conference

12

on Software Engineering (ICSE2006) (Emerging Results Track), pp.926-929 (May2006).

3. 書籍・解説・寄稿[3-1](編集) 小形真平, 角田雅照, 中川博之, “ソフトウェアエンジニアリングシンポジウ
ム 2023（SES2023）予稿集”, 情報処理学会, (Aug 2023)[3-2]

菊地伸治, 中川博之, 木村功作, 小形真平, 山登庸次, 中村匡秀, 細野繁, 村上陽平，“先進的な取り組みとしてのハイブリッド開催の評価”，電子情報通信学会誌，Vol. 104,
No. 6, pp. 632-636 (2021.6).

[3-3]

菊地伸治, 中川博之, 木村功作, 小形真平, 中村匡秀, 山登庸次, 細野繁, 村上陽平，“ニューノーマルな研究会に向けた実証評価報告”，電子情報通信学会

情報・システムソサイエティ誌，Vol. 25, No. 4, pp. 19-23 (2021.2).
[3-4](Editor)

Maria

International

Virvou,Joint

Hiroyuki

Conference

Nakagawa,onLakhmi

Knowledge-Based

C.

Jain,

Software

“The

13th

Engineering(JCKBSE2020)”, Springer, (Aug 2020)[3-5]

森畑明昌，井上克郎，楠本真二，中川博之，伊藤恵，長谷部浩二，稲葉一浩，“日本ソフトウェア科学会第 35 回大会報告”，日本ソフトウェア科学会 学会誌『コンピュータ
ソフトウェア』，Vol. 36, No. 2, pp. 2-15 (2019.5).

[3-6]

中川博之，“実時間制約を遵守する適応型ソフトウェアの実装フレームワークに関する研究”, 旭硝子財団助成研究成果報告, pp. 1-9 (2019.7).

[3-7]

中川博之，“実世界指向自己適応フレームワークにおける動的検証メカニズムに関する調査研究（継続）”, 公益財団法人電気通信普及財団 第 33 号 2018 年度 情報通信に関する技術分野における研究調査, pp. 1-11 (2018.7).

[3-8]

大須賀昭彦，田原康之，中川博之，川村隆浩， “マルチエージェントによる自律ソフト
ウェア設計・開発 （マルチエージェントシリーズ）”, コロナ社（2017）.（3 章 「ゴール指向要求工学」 および 4 章 「自己適応システム」 執筆）[3-9]

中川博之，知能ソフトウェア工学の深化（真価），創立 100 周年記念特集 暮らしを豊かにする情報処理技術，電子情報通信学会誌，Vol.100, No.10, p.1085(2017.10).

[3-10] 中川博之，鄭顕志，田原康之，“ソフトウェア工学の最前線 ～ソフトウェアが社会のすべてを定義する時代～：［未来に向かって］IoT 時代の環境適応型ソフトウェア”，
情報処理 58(8), pp.702-704 (2017.8).
[3-11] 中川博之，“実世界指向自己適応フレームワークにおける動的検証メカニズムに関する調査研究”, 公益財団法人電気通信普及財団 第 32 号 2017 年度 情報通信に関する技
術分野における研究調査, pp. 1-11 (2017.7).
[3-12] 中川博之, 小林努, 林晋平, 吉岡信和, 鵜林尚靖，“ER 2016 参加報告”，日本ソフト
ウェア科学会

学会誌『コンピュータソフトウェア』，Vol. 34, No. 3, pp. 75-80(2017.8).
[3-13] 中川博之，“ソフトウェア進化と自己適応システム”, 生産と技術 Vol.67 No.1, pp.

13

73-76 (2015.1).

4. 講演・招待講演[4-1]

中川博之,“ 確率的モデル検査とその応用”, 大阪大学大学院情報科学研究科 2022 年
度ランチセミナー，大阪, (2023 年 3 月 16 日). ［講演］[4-2]

中川博之, キャリアトークセッション, 情報処理学会 ソフトウェアエンジニアリング
シンポジウム 2022（SES2022），早稲田大学, (2022 年 9 月 7 日). ［座長兼パネリスト］[4-3]

中川博之,“ モデル検査の基礎と自己適応システムへの応用-[第 2 部]自己適応システ
ムとモデル検査の応用”, IT 連携フォーラム OACIS 第 64 回技術座談会，オンライン,(2021 年 2 月 19 日). ［講演］[4-4]中川博之, 外山大夢，土屋達弘，“効率的な動的検証のためのパラメータ化確率モデルに基づいた検証式キャッシュ”，情報処理学会 ソフトウェアエンジニアリングシンポ
ジウム（SES2020），神奈川（オンライン），(2020 年 9 月 11 日). ［招待講演］[4-5]

中川博之,“自己適応システムはなぜ動くのか：自己適応化技術とその応用”, 大阪大学
大学院情報科学研究科 2019 年度第 5 回ランチセミナー，大阪, (2020 年 1 月 23 日).
［講演］

[4-6]

中川博之,“自ら考え適応するソフトウェアの実現に向けて”, 大阪大学基礎工学部 第38 回公開講座「未来を拓く先端科学技術」，大阪, (2016 年 8 月 4 日). ［講演］[4-7]

中川博之,“自己適応システムはなぜ動くのか”，電子情報技術産業協会 （JEITA） ソ
フトウェアエンジニアリング技術ワークショップ 2015 ～ソフトウェアエンジニアリン
グ 基盤と革新／理論と実践～，東京，(2015 年 12 月 17 日). ［招待講演］[4-8]

中川博之,“ソフトウェア工学の最新動向 －要求駆動型開発のすすめ－”，株式会社
カジマアイシーティ，東京，(2015 年 9 月 4 日). ［招待講演］[4-9]

中川博之,“要求工学の最新動向”, IT 連携フォーラム OACIS 第 47 回技術座談会，大阪, (2015 年 1 月 20 日). ［講演］[4-10] 中川博之,“自己適応システムの研究動向”， 平成 26 年度 SSR(産学戦略的研究フォー
ラム)：大規模複雑な自己適応システムの適応進化制御手法に関する調査研究，東京，(2014 年 7 月 18 日). ［基調講演］[4-11] 中川博之,“要求工学の現状と展望 －ソフトウェア進化と自己適応にむけて－”，電子情報通信学会 知能ソフトウェア工学研究会 (SIG-KBSE) ，東京，(2013 年 9 月 13 日).
［チュートリアル招待講演］

5. 国内会議（査読有り）[5-1]

田中友基，小形真平，青木善貴，中川博之，岡野浩三，“モデル検査による UML ステートマシン図の多次元的検証支援の検討”， ソフトウェア工学の基礎ワークショップ FOSE
2023

[5-2]

(2023 年 11 月発表決定)．

渡辺啓太郎，中川博之，土屋達弘，“エポックワードと名詞の重要度を用いたソフトウェ
ア仕様書からのゴール文の抽出”，ソフトウェア工学の基礎ワークショップ FOSE 2022 ，

14

pp.135-140 (2022 年 11 月)．
[5-3]

新田壮史，中川博之，土屋達弘，“RPA における不具合発生要因の分類”，ソフトウェア
工学の基礎ワークショップ FOSE 2021 ，pp.39-44 (2021 年 11 月)．

[5-4]

小形真平，大池勇太郎，中川博之，青木善貴，小林一樹，岡野浩三，“異粒度指向反例解
析に向けて”， ソフトウェア工学の基礎ワークショップ FOSE 2021，pp.45-50(2021

年 11 月)．
[5-5]

有若新悟, 中川博之, 土屋達弘, “要求仕様に対するテストカバレッジ分析におけるグラフクエリの適用について”， ソフトウェア・シンポジウム 2021，pp.136-141 (2021
年 6 月)．

[5-6]

大池勇太郎，小形真平，青木善貴，中川博之，小林一樹，岡野浩三，“モデル検査における複雑な検査式に対する反例解析手法の提案”， ソフトウェアエンジニアリングシ
ンポジウム(SES2020) ，pp.23-31 (2020 年 9 月)．

[5-7]

青木善貴，小形真平，小林一樹，中川博之，“グラフ化による制御ループに関する反例の可視化手法の提案”， ソフトウェアエンジニアリングシンポジウム(SES2020) ，pp.115-124 (2020 年 9 月)．

[5-8]

青木善貴，小形真平，小林一樹，中川博之，“確率的モデル検査器を用いた制御ループの定量的検証の試案”， ソフトウェア工学の基礎ワークショップ FOSE 2019， pp.115120 (2019 年 11 月)．

[5-9]

中川博之，小形真平，青木善貴，小林一樹，“エージェント指向設計に基づいた CPS/IoT
システム設計の有効性に関する考察”，合同エージェントワークショップ＆シンポジウ
ム 2019（JAWS2019）論文集, pp.204-211 (2019 年 9 月)．

[5-10] 大池勇太郎，小形真平，青木善貴，中川博之，岡野浩三，“NuSMV の反例解析支援ツールの試作”，ウィンターワークショップ 2018・イン・福島飯坂（WWS2019）， pp.13-14 (2019年 1 月) .
[5-11] 島田裕紀，中川博之，土屋達弘，“ユーザレビューに基づいたゴールモデル構築手法の検討”，ソフトウェア工学の基礎ワークショップ FOSE 2018，pp.119-128 (2018 年 11 月)．
[5-12] 土田真也，中川博之，土屋達弘，“MAPE ループを用いた IoT デバイスの効率的な再利用法の検討”，ウィンターワークショップ 2018・イン・宮島（WWS2018），pp.74-75 (2018年 1 月).
[5-13] 小形真平，小林一樹，青木善貴，中川博之，“TORTE による IoT システムモデリングの実
践 ～農園画像モニタリングシステムを事例として～”，ウィンターワークショップ
2018・イン・宮島（WWS2018），pp.72-73 (2018 年 1 月) .
[5-14] 松井勝利，中川博之，土屋達弘，“ばねモデルに基づいた要求カバレッジ可視化ビューアの構築”，ソフトウェア工学の基礎ワークショップ FOSE 2017，pp.43-52 (2017 年 11月)．
[5-15] 松井勝利，中川博之，土屋達弘，“テスト計画に対する要求カバレッジ可視化手法の提案”，
ソフトウェア工学の基礎ワークショップ FOSE 2016，pp.211-216 (2016 年 12 月)．（貢献賞（ショートペーパー部門）受賞：松井勝利）

15

[5-16] 小形真平，小林一樹，青木善貴，中川博之，“Layard: IoT システムの要求分析におけるアクタ中心のモデル図”，ソフトウェア工学の基礎ワークショップ FOSE 2016，pp.199204 (2016 年 12 月)．
[5-17] 津田宏軌，中川博之，土屋達弘，“時間制約を考慮可能な動的検証機能を備えた自己適応システム実装フレームワーク”， 第 15 回情報科学技術フォーラム（FIT2016）, 第 1
分冊 pp.41-48 (2016 年 9 月). （FIT 奨励賞受賞）[5-18] 本田耕三，中川博之，田原康之，大須賀昭彦，“洗練パターンによるゴール指向ユース
ケースモデリング”， ソフトウェアエンジニアリングシンポジウム(SES2014) ，pp.4550 (2014 年 9 月)．
[5-19] 山縣慧，中川博之，清雄一，田原康之，大須賀昭彦，“C/S 型オンラインゲームの自己適応化に向けた MAPE ループ構成パターンの提案”， 第 21 回マルチメディア通信と分散処理ワークショップ (DPSWS2013)，pp.157-164 (2013 年 12 月)．
[5-20] 吉田豊，本田耕三，清雄一，中川博之，田原康之，大須賀昭彦， “テンプレートを用いた法的要求抽出のための支援ツールの実装と評価”，ソフトウェア工学の基礎ワークシ
ョップ FOSE 2013，pp.119-124 (2013 年 11 月)．
[5-21] 堀田大貴，本田耕三，清雄一，中川博之，田原康之，大須賀昭彦， “リファインメント
パターンを利用した KAOS ゴールモデルから BPMN モデルへの変換”，ソフトウェア工学の基礎ワークショップ FOSE 2013，pp.273-282 (2013 年 11 月)．
[5-22] 田代和浩，川村隆浩，清雄一，中川博之，田原康之，大須賀昭彦，“Human Pose Guide
Ontology を用いたアイドル画像のポーズ分類エージェント”，合同エージェントワー
クショップ＆シンポジウム 2013（JAWS2013）論文集, pp.26-27 (2013 年 9 月)．
[5-23] 池尻恭介，清雄一，中川博之，田原康之，大須賀昭彦，“食材の希少性に基づいた意外性のあるレシピの抽出エージェント”，合同エージェントワークショップ＆シンポジウ
ム 2013（JAWS2013）論文集, pp.17-18 (2013 年 9 月)．
[5-24] 中村祐貴，本田耕三，中川博之，田原康之，大須賀昭彦， “ソフトウェア再利用に向けた共通ゴール判別手法の提案”， ウィンターワークショップ 2013・イン・那須，pp.6162 (2013 年 1 月)．
[5-25] 中村祐貴，本田耕三，中川博之，田原康之，大須賀昭彦，“ゴールモデルの構造に基づいた共通ゴール判別手法の提案”，ソフトウェア工学の基礎ワークショップ FOSE 2012，
pp.62-67 (2012 年 12 月)．
[5-26] 仲村滋夫，中川博之，田原康之，大須賀昭彦，“UAV と UGV の協調動作による障害物撤去に向けて”，合同エージェントワークショップ＆シンポジウム 2012（JAWS2012）論文集, pp.1-8 (2012 年 10 月)．
[5-27] 新井佑弥，折原良平，中川博之，田原康之，大須賀昭彦，“GA を用いたシステムトレー
ドにおける損失に着目した適合度関数の設定”，合同エージェントワークショップ＆シ
ンポジウム 2012（JAWS2012）論文集, pp.1-8 (2012 年 10 月)．
[5-28] 折笠裕樹，中川博之，田原康之，大須賀昭彦，“Twitter 上のフォロー関係を用いた信頼性の高い未知コンテンツの推薦”，合同エージェントワークショップ＆シンポジウム

162012（JAWS2012）論文集, pp.1-8 (2012 年 10 月)．
[5-29] 越川兼地，川村隆浩，中川博之，田原康之，大須賀昭彦，“CRF を用いたメディア情報の抽出と Linked Data 化 ～ソーシャルメディアとマスメディアの比較事例～”，合同
エージェントワークショップ＆シンポジウム 2012（JAWS2012）論文集, pp.1-9 (2012 年
10 月)．
（学生優秀論文賞受賞: 越川兼地）[5-30] Sombat Chanvilai, Kozo Honda, Hiroyuki Nakagawa, Yasuyuki Tahara, Akihiko Ohsuga,“Support for Generating UML Class Diagrams and OCL Constraints from KAOS
Model”, ソフトウェア工学の基礎ワークショップ FOSE 2011, pp.157-162 (2011 年 11月).
[5-31] 堀越永幸，中川博之，田原康之，大須賀昭彦， “非機能特性を考慮した自己適応システ
ムの動的再構成手法の提案”，ソフトウェア工学の基礎ワークショップ FOSE 2011，
pp.139-144 (2011 年 11 月)．
[5-32] 吉池弘樹，本田耕三，中川博之，田原康之，大須賀昭彦， “モデル検査のためのオブジェクト制約言語を用いた外部環境モデルの構築のための考察”，ソフトウェア工学の基礎ワークショップ FOSE 2011，pp.109-114 (2011 年 11 月)．
[5-33] 伊藤 雅博, グェン ミン テイ, 川村 隆浩, 中川 博之，田原 康之，大須賀 昭彦，”震災時の効率的な避難のための行動推薦エージェント Ready for 87%の提案（3）～行動ネットワークを用いた避難行動の推薦～”，合同エージェントワークショップ＆シンポジ
ウム 2011（JAWS2011）論文集 (2011 年 10 月)．
[5-34] グェン ミン テイ, 越川 兼地, 川村 隆浩, 中川 博之，田原 康之，大須賀 昭彦，”震災時の効率的な避難のための行動推薦エージェント Ready for 87%の提案（2）～時系列
避難行動ネットワークの構築～”，合同エージェントワークショップ＆シンポジウム
2011（JAWS2011）論文集 (2011 年 10 月)．
[5-35] ミヤマエ イワナガ イサベル シズ, グェン ミン テイ, 川村 隆浩, 中川 博之，田原康之，大須賀 昭彦， “震災時の効率的な避難のための行動推薦エージェント Ready for
87%の提案（1）～避難計画オントロジーの設計～”，合同エージェントワークショップ＆シンポジウム 2011（JAWS2011）論文集 (2011 年 10 月)．
[5-36] 全 泰賢, 川村 隆浩, 中川 博之，田原 康之，大須賀 昭彦， “服飾系 EC サイトにおける商品閲覧履歴に基づいたデザイン嗜好の推定と商品検索システムの提案”，合同エージェントワークショップ＆シンポジウム 2011（JAWS2011）論文集 (2011 年 10 月)．
[5-37] 石野克徳, 折原良平, 中川博之，田原康之，大須賀昭彦， “フォークソノミーとソーシャルアノテーションを用いた動画シーンへのラベリング”，合同エージェントワークシ
ョップ＆シンポジウム 2011（JAWS2011）論文集 (2011 年 10 月)．
[5-38] 本田耕三，中川博之，田原康之，大須賀昭彦，“ケーススタディ：KAOS/UML モデリング”，
ソフトウェア工学の基礎ワークショップ FOSE 2010，pp.155-160 (2010 年 11 月)．
[5-39] 三代謙仁，川村隆浩，中川博之，田原康之，大須賀昭彦， “携帯端末上での拡張現実を用いた植物推薦エージェント Green-ThumbPhone の開発”， 合同エージェントワークシ
ョップ＆シンポジウム 2010（JAWS2010），pp.1-8，(2010 年 10 月)．
（ベストポスター賞

17

受賞）[5-40] 住元宗一朗，中川博之，田原康之，大須賀昭彦，“コンテンツ投稿型 SNS における未知性と意外性を考慮した推薦エージェントの提案”， 合同エージェントワークショップ＆シンポジウム 2010（JAWS2010），pp.1-6，(2010 年 10 月)．
[5-41] 橋本和幸，中川博之，田原康之，大須賀昭彦，“マイクロブログを用いた評判傾向抽出法の提案”， 合同エージェントワークショップ＆シンポジウム 2010（JAWS2010），pp.16，(2010 年 10 月)．
[5-42] 佐藤大輔，中川博之，田原康之，大須賀昭彦，“閲覧中のニュース記事に対するブログの主張を提示するシステムの提案”， 合同エージェントワークショップ＆シンポジウ
ム 2010（JAWS2010），pp.1-6，(2010 年 10 月)．
[5-43] 田中俊行，グェンミンティ，中川博之，田原康之，大須賀昭彦，“教師あり学習を用いたレビューサイトからの意見抽出”， 合同エージェントワークショップ＆シンポジウ
ム 2010（JAWS2010），pp.1-8，(2010 年 10 月)．
（学生奨励賞受賞: 田中俊行）[5-44] 多胡厚津史，中川博之，田原康之，大須賀 昭彦, “ニコニコ探検くらぶ：ソーシャルア
ノテーションとキーワード群に基づく動画要約”，インタラクション 2010，情報処理学会シンポジウムシリーズ Vol.2010, No.4，pp.47-50 (2010 年 3 月)．
[5-45] 玉田和洋, 中川博之, 田原康之, 大須賀昭彦, “モデル検査による Ajax アプリケーシ
ョン検証”, ウィンターワークショップ・イン・倉敷 論文集 2010, Vol.2010, No.3,
pp.139-140 (2010 年 1 月)．
[5-46] 田原康之，中川博之，中山健，大須賀昭彦, “自己適応型セキュリティアーキテクチャの提案”，合同エージェントワークショップ＆シンポジウム(JAWS2009)，pp.445-452（2009 年 10 月）.
[5-47] 西村一彦，中川博之，中山健，田原康之，大須賀昭彦, “自律システム実現に向けたアーキテクチャの構築”，合同エージェントワークショップ＆シンポジウム(JAWS2009)，
pp.524-531（2009 年 10 月）.（優秀論文賞受賞）[5-48] 多胡厚津史，中川博之，中山健，田原康之，大須賀昭彦, “ニコシーン： ソーシャルア
ノテーションとキーワード群に基づく動画シーン検索”， 合同エージェントワークシ
ョップ＆シンポジウム(JAWS2009)，pp.332-339（2009 年 10 月）.
[5-49] Minh Nguyen The，川村隆浩，中川博之，中山健，田原康之，大須賀昭彦, “条件付確率場と自己教師あり学習を用いた行動属性の自動抽出と評価”，合同エージェントワーク
ショップ＆シンポジウム(JAWS2009)，pp.468-475（2009 年 10 月）.
[5-50] 沈偉，川村隆浩，中川博之，中山健，田原康之，大須賀昭彦, “オントロジー構築サー
ビス ONTOMO の開発 -固有名詞抽出によるインスタンスとプロパティ自動推薦エージェ
ントの評価-”，合同エージェントワークショップ＆シンポジウム(JAWS 2009），pp.224231（2009 年 10 月）.
[5-51] 玉田和洋，中川博之，中山健，田原康之，大須賀昭彦, “モデル検査による Ajax アプリ
ケーション検証のためのモデルの提案”，ソフトウェア工学の基礎ワークショップ(FOSE 2009), pp.333-334（2009 年 11 月）.

18

[5-52] 中川博之，大須賀昭彦, 本位田真一, “KAOS モデルを利用した self-adaptive システ
ムの構築”,ソフトウェア工学の基礎ワークショップ(FOSE2008)，pp.21-30（2008 年 11月）.
[5-53] 中川博之，大須賀昭彦, 本位田真一, “コンポーネントモデルを用いた JADE ビヘイビ
ア実装手法の提案”, 合同エージェントワークショップ＆シンポジウム(JAWS2008)，
pp.1-8 (2008 年 10 月).
[5-54] 沈偉，川村隆浩，中川博之，中山健，田原康之，大須賀昭彦, “オントロジー構築サー
ビス ONTOMO の開発”，合同エージェントワークショップ ＆ シンポジウム(JAWS2008)，
pp.1-8 (2008 年 10 月).
[5-55] 西村一彦，中川博之，中山健，田原康之，大須賀昭彦, “階層プランニングによる Web
サービスの自動合成”， ソフトウェアエンジニアリングシンポジウム(SES2008)，
pp.139-146 (2008 年 9 月).
[5-56] 中川博之，吉岡信和, 田口研治, 本位田真一, “モデル変換に基づく要求記述を利用した 形 式 仕 様 記 述 の 構 築 ”, ソ フ ト ウ ェ ア 工 学 の 基 礎 ワ ー ク シ ョ ッ プ (FOSE2007),
pp.179-184，(2007 年 11 月).
[5-57] 川俣洋次郎, 中川博之，本位田真一, “保守性に着目したリファクタリング方針の評価
メトリクス”, ソフトウェア工学の基礎ワークショップ(FOSE2007), pp.137-142 (2007年 11 月).
[5-58] 鄭顕志，中川博之，川俣洋次郎，吉岡信和，深澤良彰，本位田真一, “ユビキタスコン
ピューティングにおけるアプリケーション開発手法に関する研究動向”，合同エージェ
ントワークショップ＆シンポジウム(JAWS2007)(2007 年 10 月).
[5-59] 中川博之，本位田真一, “KAOS を利用したマルチエージェントシステムの分析モデル構築”，
ソフトウェア工学の基礎ワークショップ(FOSE2006), pp.131-136 (2006 年 11 月).
[5-60] 中川博之，本位田真一, “要求の重要度を用いたロール・組織構造の同定”，合同エージェントワークショップ＆シンポジウム(JAWS2006)(2006 年 10 月).
[5-61] 中川博之，苅部卓哉，本位田真一, “KAOS を用いたマルチエージェントシステムの分析
支援”，合同エージェントワークショップ＆シンポジウム(JAWS2005), pp.253-260(2005 年 11 月).

6. 国内会議（査読なし）[6-1]

竹内広宜，小形真平，海谷治彦，中川博之，“機械学習プロジェクトアンチパターンの普及モデル”，情報処理学会

研究報告ソフトウェア工学（SE） (2023 年 11 月発表予

定).
[6-2]

Shuaicai Ren, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, “Exploring the Potentialof LLM for Review-driven Goal Model Generation”, 合同エージェントワークショ
ップ＆シンポジウム(JAWS2023), 電子情報通信学会 人工知能と知識処理（AI）, 信学
技報 AI2023-20，pp.109-116[6-3](2023 年 9 月). （JAWS 奨励賞受賞）

角田詩門，斎藤忍，中川博之，土屋達弘，“時系列データを用いたソフトウェア運用ロ

19

グのパターン識別手法”， 情報処理学会 研究報告ソフトウェア工学（SE），2023-SE214 No.28，pp.1-8 (2023 年 7 月).
[6-4]

青木善貴，小形真平，中川博之，小林一樹，“二種類のモデル検査器を用いたシステムの振る舞いの検証の試み”，電子情報通信学会 知能ソフトウェア工学研究会(SIGKBSE), 信学技報 KBSE2023-31，pp.110-115 (2023 年 7 月).

[6-5]

中川博之,“ RPA 不具合検出のためのプロセスマイニング技術の応用”, 情報処理学会 第 68 回 要求工学ワークショップ in 弘前 （口頭発表）(2023 年 5 月 11 日)．

[6-6]

植野直次朗，中川博之，冨沢哲雄，土屋達弘，“DeepSort を用いた中密度群衆からのグループ検出手法とその精度向上に関する考察”，電子情報通信学会 知能ソフトウェア
工学研究会(SIG-KBSE) , 信学技報 KBSE2023-1，pp.1-6[6-7](2023 年 5 月).

竹内広宜，小形真平，海谷治彦，中川博之，山本修一郎，“機械学習プロジェクトアン
チパターンの構造化手法”，電子情報通信学会 知能ソフトウェア工学研究会(SIGKBSE) , 信学技報 KBSE2023-4，pp.21-26 (2023 年 5 月).

[6-8]

成澤瑠佳，小形真平，青木善貴，中川博之，小林一樹，岡野浩三，“対話型システムにおけるユーザの物品取り忘れの発生状況特定に関する検討”，電子情報通信学会 知能
ソフトウェア工学研究会(SIG-KBSE) , 信学技報 KBSE2023-10，pp.59-64 (2023 年 5
月).

[6-9]

内藤惇，中川博之, 土屋達弘，“実行時間の不確実性を考慮した動的検証機能を持つ自己適応システム実装フレームワークの検討”， 電子情報通信学会 ライフインテリジ
ェンスとオフィス情報システム研究会（LOIS）, 信学技報 LOIS2022-64，pp.120-125(2023 年 3 月).

[6-10] 竹内広宜，小形真平，海谷治彦，中川博之，“機械学習プロジェクトにおけるアンチパ
ターンとその整備”， 情報処理学会 研究報告ソフトウェア工学（SE），2023-SE-213
No.22，pp.1-8 (2023 年 3 月). （山下記念研究賞受賞:竹内広宜）[6-11] 中川博之,“確率的モデル検査と要求工学”, 情報処理学会 第 67 回 要求工学ワークショップ in 那覇 （口頭発表）(2023 年 2 月 16 日)．
[6-12] 新田壮史，中川博之, 土屋達弘，“プロセスマイニングを用いた RPA の不具合要因検
出手法の検討”, 情報処理学会/ソフトウェア工学研究会

ウィンターワークショッ

プ 2023・イン・富山 （口頭発表）(2023 年 1 月 20 日)．
[6-13] 藤本昌也，中川博之, 土屋達弘，“ラプラス展開に着目した自己適応システムにおける動的検証の高速化に関する考察”， 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE), 信学技報 KBSE2022-47，pp.25-30(2023 年 1 月).

[6-14] 藤村優太郎，冨沢哲雄，中川博之, 多羅尾進，“鉄道車両ドアの閉扉タイミングの適正化による駆け込み乗車の抑制”， 第 23 回計測自動制御学会システムインテグレーシ
ョン部門講演会（SI2022），3A2-B02 (2022 年 12 月).
[6-15] 池田光，中川博之，赤木宏匡，関本章，土屋達弘，“深層強化学習を用いた施設レイア
ウト設計システム”， 日本経営工学会 2022 年秋季大会予稿集，pp.282-283
11 月).

20(2022 年

[6-16] 竹内広宜，小形真平，海谷治彦，中川博之，“機械学習プロジェクトの実施における危険な匂いとその認知度の調査”， 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE), 信学技報 KBSE2022-31，pp.1-6 (2022 年 11 月).
[6-17] 渡辺啓太郎，中川博之, 土屋達弘，“文章の方向性に関する質問に基づく仕様書からのゴール抽出手法の提案”， 電子情報通信学会 知能ソフトウェア工学研究会(SIGKBSE), 信学技報 KBSE2022-37，pp.37-42 (2022 年 11 月).
[6-18] 西口尚輝，中川博之, 土屋達弘，“確率的モデル検査ツールによるパロンドのパラドッ
クスの分析”， 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE), 信学技
報 KBSE2022-38，pp.43-47 (2022 年 11 月).
[6-19] 新田壮史，中川博之, 小形真平，竹内広宜，海谷治彦，土屋達弘，“RPA ログを用いた処理フロー再構築手法の検討”， 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE), 信学技報 KBSE2022-39，pp.48-53 (2022 年 11 月).
[6-20] 新田壮史，中川博之, 土屋達弘， “RPA におけるログマイニング手法の比較”, 情報処理学会 ソフトウェアエンジニアリングシンポジウム(SES2022) 併設ワークショッ
プ「プロセスマイニングの基礎と応用」，（口頭発表）(2022 年 9 月)．
[6-21] 小形真平，中川博之,“doc2vec による類似ゴール検出における一考察”, 情報処理学会 第 65 回 要求工学ワークショップ in 富山 （口頭発表）(2022 年 5 月 26 日)．
[6-22] 竹内広宜，小形真平，海谷治彦，中川博之，“機械学習プロジェクトに関する知見の活用における意思決定プロセスモデルの利用”， 電子情報通信学会 サービスコンピュ
ーティング研究会（SIG-SC），信学技報 SC2022-6, pp.31-36 (2022 年 5 月).
[6-23] 角田詩門，中川博之，土屋達弘，“XAI を用いた自己適応異常検知手法の実用化に向けて”， 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE) ，信学技報
KBSE2022-3, pp. 13-18 (2022 年 5 月).
[6-24] 池田光，中川博之，関本章，赤木宏匡，土屋達弘，“強化学習と階層化意思決定法を用いた施設レイアウト自動設計手法の提案”， 日本経営工学会 2022 年春季大会予稿集，pp.107-108 (2022 年 5 月).
[6-25] 中川博之, “要求駆動のプロセスモデル抽出に向けて”, 情報処理学会 第 64 回 要
求工学ワークショップ in 鹿児島 （口頭発表）(2022 年 3 月)．
[6-26] 南垣内一輝，中川博之，海谷治彦，小形真平，竹内広宜，土屋達弘，“Heuristic Minerを用いたパラメータ調整に基づくプロセスモデル抽出手法”， 電子情報通信学会 知
能ソフトウェア工学研究会(SIG-KBSE) ，信学技報 KBSE2021-46，pp.30-35 (2022 年 3月).
[6-27] 池田光，中川博之，関本章，赤木宏匡，土屋達弘，“強化学習に基づいた施設レイアウ
ト自動設計支援システムの実現に向けて”， 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE) ，信学技報 KBSE2021-26，pp.7-12 (2021 年 11 月).
[6-28] 青木善貴，小形真平，中川博之，小林一樹，“人の期待とシステムの振る舞いの乖離をモデル検査により検証する手法の提案”，ソフトウェア工学の基礎ワークショップ
FOSE 2021 （ポスター発表）(2021 年 11 月)．

21[6-29] 竹内広宜，小形真平，海谷治彦，中川博之，“エンタープライズアーキテクチャを用いた機械学習サービスシステムのアジャイル開発モデル”， 電子情報通信学会 知能ソフ
トウェア工学研究会(SIG-KBSE) ，信学技報 KBSE2021-8，pp.44-49 (2021 年 5 月).
[6-30] 新田壮史，中川博之，土屋達弘，“トレーサビリティリンク生成における自然言語処理
モデルの性能比較”， 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE) ，
信学技報 KBSE2020-34，pp.1-6 (2021 年 3 月).
[6-31] 小島英春，中川博之，“時間制約を実行時に検証可能な自己適応フレームワークに関する研究”， 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE) ，信学技報
KBSE2020-31，pp.13-18 (2021 年 1 月).
[6-32] 有若新悟，中川博之，土屋達弘，“要求-テストケース間のカバレッジ分析におけるグラフクエリの応用可能性の検討”， 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE) ，信学技報 KBSE2020-25, pp.53-58 (2020 年 11 月).
[6-33] 花田響四郎，中川博之，関本章，赤木宏匡，土屋達弘，“遺伝的プログラミングを用いた施設レイアウト自動生成の検討”， 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE) ，信学技報 KBSE2019-46, pp.1-6 (2020 年 3 月).
[6-34] 奥谷大介，伊加田恵志，中川博之，“ゴール指向要求分析に基づく AI・データ分析案件
業務の効率化”， 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE) ，信学
技報 KBSE2019-49, pp.19-24 (2020 年 3 月).
[6-35] 鈴木悠介，小形真平，大池勇太郎，青木善貴，中川博之，小林一樹，岡野浩三，“安全性解析支援のための状態遷移系に基づくハザード近接状態検出法の提案”， 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE) ，信学技報 KBSE2019-47, pp.7-12(2020 年 3 月).
[6-36] 石川公一，小形真平，中川博之，岡野浩三，word2vec による類似ゴール検出における一考察, 情報処理学会 第 63 回 要求工学ワークショップ in 福井 （口頭発表）(2020年 2 月)．
[6-37] 東和幸，中川博之，土屋達弘，“文書間の類似度に基づいたトレーサビリティリンクの精度向上手法の検討”， 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE) ，
信学技報 KBSE2019-27, SC2019-24, pp.25-30 (2019 年 11 月).
[6-38] 石川公一，小形真平，中川博之，岡野浩三，“word2vec とゴールモデルの階層性を利用した類似ゴール検出方法の提案”， 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE) ，信学技報 KBSE2019-23, SC2019-20, pp.1-6 (2019 年 11 月).
[6-39] 大池勇太郎，小形真平，青木善貴，中川博之，小林一樹，岡野浩三，“不具合原因分析
支援のための NuSMV 反例解析手法の試案”， 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE) ，信学技報 KBSE2019-24, SC2019-21, pp.7-12 (2019 年 11 月).
[6-40] 大池勇太郎，小形真平，青木善貴，中川博之，岡野浩三，“NuSMV の反例に対する自動検証による解析支援ツールの試作”，情報処理学会第 51 回組込みシステム研究発表会（SIGEMB）（ポスター発表） (2019 年 6 月) .
[6-41] 妙見侑祐，中川博之，土屋達弘，“自己適応システムの動的検証法の高速化に関する研22

究”， 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE) ，信学技報
KBSE2018-66, pp.75-80 (2019 年 3 月).
[6-42] 石川公一，小形真平，中川博之，岡野浩三， “word2vec によるゴール間類似度算出手法の実践と評価”，情報処理学会

研究報告ソフトウェア工学（SE），2019-SE-201，

No.14，pp.1-8 (2019 年 3 月).
[6-43] 東和幸，中川博之，土屋達弘，“Document Frequency と単語類似度に基づいたストップ
ワード自動作成手法の検討”， 電子情報通信学会 知能ソフトウェア工学研究会(SIGKBSE) ，信学技報 KBSE2018-38, pp.59-64 (2018 年 11 月).
[6-44] 土田真也，中川博之，土屋達弘，“組み込みシステムに対する安全な機能追加手法の考察”， 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)，電子情報通信学会 ソフトウェアサイエンス研究会 (SIG-SS)，情報処理学会 ソフトウェア工学研究会(SIGSE)合同研究発表会，信学技報 KBSE2018-18, pp.43-48 (2018 年 7 月)．
[6-45] 青木善貴，小形真平，小林一樹，中川博之，“コントロールループに着目した IoT アー
キテクチャモデルの検証に関する一考察”， 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)，電子情報通信学会 ソフトウェアサイエンス研究会 (SIG-SS)，
情報処理学会 ソフトウェア工学研究会 (SIGSE)合同研究発表会，信学技報 KBSE201821, pp.61-66 (2018 年 7 月)．
[6-46] 本田大雅，小島英春，中川博之，土屋達弘, “ゴールモデルのコンテキストに注目した効率的なモデル検査”， ソフトウェアエンジニアリングシンポジウム(SES2018)，
pp.229-235 (2018 年 9 月).
[6-47] 小林一樹，小形真平，青木善貴，中川博之，“サイバーフィジカル統合型モデを用いたフィールドモニタリングシステムの開発”， 農業情報学会 2018 年度年次大会，個-36(2018 年 5 月).
[6-48] 島田裕紀，中川博之，土屋達弘，“質問フローに基づくゴールモデル構築手法の提案”，
電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE) ，信学技報 KBSE2017-40,
pp.7-12 (2018 年 3 月).
[6-49] 津田宏軌，中川博之，土屋達弘，“時間制約を考慮可能な自己適応システム実装フレームワークの検討”， 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE) ，信学技報 KBSE2017-40, pp.121-126 (2018 年 3 月).
[6-50] 小西達也，小島英春，中川博之，土屋達弘，“焼きなまし法によるロケーティングアレ
イの生成”， 電子情報通信学会ディペンダブルコンピューティング研究会（DC），信学
技報 DC2017-82, pp.31-35 (2018 年 2 月).
[6-51] 土田真也，中川博之，土屋達弘，“MAPE ループ構造に基づいた機能更新フレームワーク
に関する考察”， 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE) ，信学
技報 KBSE2017-32, pp.1-6 (2018 年 1 月).
[6-52] 青木善貴，小形真平，中川博之，“STAMP／STPA を用いた Cyber-Physical Systems の検証”，IPA 第 2 回 STAMP ワークショップ (Japanese STAMP Workshop) (2017 年 11月).

23

[6-53] 青木善貴，小形真平，中川博之，“IoT システムのアーキテクチャモデルを用いた安全性の検証”，ソフトウェア工学の基礎ワークショップ(FOSE2017)（ポスター発表）(2017 年 11 月).
[6-54] 小西達也，小島英春，中川博之，土屋達弘，“SAT ソルバを使用したロケーティングア
レイの生成手法について”， 電子情報通信学会 システム数理と応用研究会(SIG-MSS)，
信学技報 MSS2017-46, pp.147-152 (2017 年 11 月).
[6-55] 小形真平，青木善貴，中川博之，小林一樹，福島祐子，“IoT システムアーキテクチャのモデリング記法によるモデル検査支援手法の試作と評価”， 電子情報通信学会 知
能ソフトウェア工学研究会(SIG-KBSE)，電子情報通信学会 ソフトウェアサイエンス研
究会 (SIG-SS)，情報処理学会 ソフトウェア工学研究会 (SIGSE)合同研究発表会，信
学技報 KBSE2017-5, pp.1-6 (2017 年 7 月)．
[6-56] 島田裕紀，中川博之，小島英春，土屋達弘， “抽出ルールに基づいた要求記述からのゴールモデルの構築支援”，情報処理学会

研究報告ソフトウェア工学（SE），2017-

SE-195，No.10，pp.1-8 (2017 年 3 月).
[6-57] 高橋仁，中川博之，土屋達弘， “文書中の単語出現頻度を利用したトピックモデル洗練化”，情報処理学会 研究報告ソフトウェア工学（SE），2017-SE-195，No.22，pp.18 (2017 年 3 月). （学生研究賞受賞: 高橋仁）
[6-58] 妙見侑祐，中川博之，土屋達弘，“システム環境の変化傾向に基づいた効率的な構成切り替え手法”， 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)，信学技報
KBSE2016-39, pp.1-6 (2017 年 3 月).
[6-59] 外山大夢，中川博之，小島英春，土屋達弘，“キャッシュの効率利用による自己適応シ
ステムの動的モデル検査法改善”， 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)， 信学技報 KBSE2016-40, pp.7-12 (2017 年 3 月).
[6-60] 小形真平，中川博之，青木善貴，小林一樹，“IoT システムの要求分析支援手法の実現に向けた取り組み ～アクタ関係に注目して～”，ウィンターワークショップ 2017・イ
ン・飛騨高山(2017 年 1 月).
[6-61] 松井勝利，中川博之，土屋達弘，“要求の類似度に基づいたカバレッジ可視化手法の提案”，第 14 回ディペンダブルシステムワークショップ DSW 2016，pp.1-6 (2016 年 12月)．
[6-62] 青木善貴，小形真平，小林一樹，中川博之，“IoT システムの安全性検証手法の提案”，
ソフトウェア工学の基礎ワークショップ(FOSE2016)（ポスター発表） (2016 年 12 月).
[6-63] 高橋仁，中川博之，土屋達弘，“トピックモデリングを用いたテストケース記述クラ
スタリングに関する考察”， 電子情報通信学会 知能ソフトウェア工学研究会(SIGKBSE)， 信学技報 KBSE2016-01, pp.13-18 (2016 年 5 月).
[6-64] 小川賢人，中川博之，土屋達弘， “大きな振る舞い変更にも適用可能な自己適応シス
テムの動的モデル検査法”，情報処理学会

研究報告ソフトウェア工学（SE），2016-

SE-191，No.19，pp.1-8 (2016 年 3 月).
[6-65] 高橋仁，中川博之，土屋達弘， “主要語の変遷に着目した要求トピックの洗練化に関24

する考察”， 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)， 信学技報
KBSE2015-32, pp.27-31 (2015 年 9 月).
[6-66] 津田宏軌，中川博之，土屋達弘， “実世界ハードウェアに対する自己適応フレームワ
ークのプロトタイプ実装”， 電子情報通信学会 知能ソフトウェア工学研究会(SIGKBSE), 信学技報 KBSE2015-7, pp.33-38 (2015 年 5 月).
[6-67] 小川賢人，中川博之，土屋達弘， “自己適応システムにおける動的検証法の適用範囲向上に向けて”， 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE), 信学
技報 KBSE2014-52, pp.65-70 (2015 年 3 月).
[6-68] 高橋仁，中川博之，土屋達弘， “LDA を用いたフィードバックコメントからの要求獲得に関する一考”， 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)， 信
学技報 KBSE2014-39, pp.1-6 (2015 年 1 月).
[6-69] 斎藤忍，井出昌浩，小形真平，中川博之，位野木万里，大久保隆夫，青山幹雄， “要求工学に革新を，要求工学で革新を－第 22 回要求工学国際会議(RE2014)参加報告－”，
情報処理学会 第 186 回ソフトウェア工学研究発表会（SE），2014-SE-186，No.9，pp.18 (2014 年 11 月).
[6-70] 小林弘幸，中川博之，小島英春，土屋達弘， “多様なタスクスケジューリング問題への解集合プログラミングの適用”， 電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)，電子情報通信学会 ソフトウェアサイエンス研究会 (SIG-SS)，情報処理学会 ソフトウェア工学研究会 (SIGSE)合同研究発表会，信学技報 KBSE2014-12 (201407)，pp.25-30 (2014 年 7 月).
[6-71] 工藤拓光，中川博之，清雄一，田原康之，大須賀昭彦， “自動掃除ロボットの自己適応化に向けて”，情報処理学会 第 127 回 OS・第 31 回 EMB 合同研究発表会，2013-OS127，No.5，pp.1-8 (2013 年 12 月).
[6-72] 斎藤忍，中川博之，中谷多哉子，青山幹雄， “第 21 回要求工学国際会議（RE2013）
参加報告”，
情報処理学会 第 182 回ソフトウェア工学研究発表会（SE），
2013-SE-182，
No.19，pp.1-8 (2013 年 10 月).
[6-73] 池尻恭介，清雄一，中川博之，田原康之，大須賀昭彦, “食材に基づいたレシピの意
外度算出手法の提案”, 電子情報通信学会 データ工学研究会，信学技報 DE2013-33,
No. 214, pp.1-6 (2013 年 9 月).
[6-74] 中川博之，大須賀昭彦，本位田真一，“動的ソフトウェア進化へのエージェント技術の活用”，合同エージェントワークショップ＆シンポジウム 2013（JAWS2013）論文集,
pp.48-49 (2013 年 9 月)．
[6-75] 岩崎祐貴，折原良平，清雄一，中川博之，田原康之，大須賀昭彦，“CGM における炎上の同定とその応用”，合同エージェントワークショップ＆シンポジウム 2013（JAWS2013）
論文集, pp.117-118 (2013 年 9 月)．
[6-76] Mian Wang, Takahiro Kawamura, Yuichi Sei, Hiroyuki Nakagawa, Yasuyuki Tahara,
Akihiko Ohsuga，“A Context-Based Music Recommendation System Using 'renso'
Relation among Linked Data”，
合同エージェントワークショップ＆シンポジウム 2013

25

（JAWS2013）論文集, pp. 97-98 (2013 年 9 月)．
[6-77] 田代和浩，王冕，越川兼地，西村悟史，森田武史，長野伸一，清雄一，中川博之，田原康之，川村隆浩，大須賀昭彦, “Linked Data を用いたソーシャルメディア×マスメデ
ィアの比較実験”, 2013 年度 人工知能学会 全国大会（第 27 回），
2N1-OS-10d-3, pp.14 (2013 年 6 月).
[6-78] 岩崎祐貴，折原良平，清雄一，中川博之，田原康之，大須賀昭彦, “CGM における炎上の同定とその応用”, 2013 年度 人工知能学会 全国大会（第 27 回），1J3-OS-22a-4,
pp.1-2 (2013 年 6 月).
[6-79] 新井佑弥，折原良平，中川博之，清雄一，田原 康之，大須賀 昭彦， “GA を用いた適合度関数と相場変化に着目したシステムトレード”， 人工知能学会 ファイナンスにおける人工知能応用研究会（SIG-FIN）, SIG-FIN-010, pp.55-62 (2013 年 3 月).
[6-80] 吉田豊，中川博之，田原康之，大須賀昭彦， “テンプレートを用いた法的要求抽出・モデリングの実現に向けて”，情報処理学会 研究報告ソフトウェア工学（SE），2013SE-179，No.27，pp.1-8 (2013 年 3 月). （学生研究賞受賞:吉田豊）[6-81] 都丸卓也，本田耕三，中川博之，田原康之，大須賀昭彦, “非同期通信を行う Web ア
プリケーションによる資源競合問題に対するモデル検査による検証”, 電子情報通信
学会知能ソフトウェア工学研究会 (SIG-KBSE)，信学技報 KBSE2012-67，pp.53-58 (2013
年 1 月).
[6-82] ジリエ陽子，本田耕三，中川博之，田原康之，大須賀昭彦， “ゴール指向要求分析に基づく組込みボードエミュレータ開発効率化手法の考察”，情報処理学会

システム

ソフトウェアとオペレーティング・システム(OS)／組込みシステム(EMB)合同研究発表会，2012-OS-123,EMB-27，No.11，pp.1-6 (2012 年 12 月).
[6-83] ジリエ陽子，本田耕三，中川博之，田原康之，大須賀昭彦， “プロダクトラインの要
求仕様を統合する要求分析モデルの提案”，情報処理学会

研究報告ソフトウェア工学（SE），2012-SE-177，No.1，pp.1-8 (2012 年 7 月).
[6-84] 藤原誠，中川博之，田原康之，大須賀昭彦， “タグクラスタ多様化による未知性を考慮した推薦手法の提案”，情報処理学会 第 167 回知能システム研究会(SIG-ICS),
2012-ICS-167, No.4, pp.1-6 (2012 年 3 月).
[6-85] 金子裕司，中川博之，田原康之，大須賀昭彦， “特定ユーザの作曲ログデータと付加情報を用いた作曲支援”，インタラクション 2012，pp.947-952，(2012 年 3 月).
[6-86] 全泰賢, 川村隆浩, 中川博之, 田原康之, 大須賀昭彦, “服飾オントロジーを用いた
EC サイトにおけるユーザデザイン嗜好の推定と評価”， 人工知能学会 セマンティッ
クウェブとオントロジー研究会(SIG-SWO), SIG-SWO-A1103-08, pp.1-4 (2011 年 12 月).
[6-87] 金子裕司，中川博之，田原康之，大須賀昭彦， “作曲特徴を用いた作曲支援システムの実現に向けて”，第 19 回インタラクティブシステムとソフトウェアに関するワークショップ（WISS2011），pp.170-172，(2011 年 12 月).
[6-88] 堀越永幸，中川博之，田原康之，大須賀昭彦， “アーキテクチャ記述言語を用いた自己適応システム設計手法の検討”，情報処理学会

26

研究報告ソフトウェア工学（SE），

2011-SE-172，No.8，pp.1-8 (2011 年 5 月).
[6-89] ジリエ陽子，本田耕三，中川博之，田原康之，大須賀昭彦， “Visual-K：ゴール指向
要求分析手法 KAOS のモデリング可視化支援ツールの試作”，情報処理学会 研究報告
ソフトウェア工学（SE），2011-SE-171，No.29，pp.1-7 (2011 年 5 月).
[6-90] 田中俊行，グェンミンティ，中川博之，田原康之，大須賀昭彦， “シーソー型インタ
フェースを用いた評判比較システムの開発”，インタラクション 2011，pp.479-482(2011 年 3 月)．
[6-91] 三代謙仁，川村隆浩，中川博之，田原康之，大須賀昭彦， “スマートフォン向け植物
推薦サービス Green-Thumb Phone の開発 ～モバイルセンサーと拡張現実を用いた植栽環境との調和性推定～”，インタラクション 2011，pp.449-452 (2011 年 3 月)．
[6-92] ワコラ，川村隆浩，中川博之，田原康之，大須賀昭彦， “インタラクション・シーケ
ンスに着目したユーザの商品検索 の目的の抽出に関する検討と実装”，インタラクシ
ョン 2011，pp.577-580 (2011 年 3 月)．
[6-93] 住元宗一朗，中川博之，田原康之，大須賀昭彦， “未知性と意外性を考慮したイラス
ト推薦システムの提案: 3D 表示を用いたイラスト推薦インタフェース”，インタラク
ション 2011，pp.519-522 (2011 年 3 月)．
[6-94] グェン・ミン・ティ，川村隆浩，中川博之，田原康之，大須賀昭彦, “Web からの自己教師あり学習を用いた人間行動マイニング”, 電子情報通信学会 人工知能と知識処
理研究会(AI)，信学技報 AI2009-22, pp.19-24 (2010 年 1 月).
[6-95] 浜本一知，中川博之，中山健，田原康之，大須賀昭彦, “サービス合成時におけるプ
ライバシ保護手法”，第 16 回 Web インテリジェンスとインタラクション研究会, 電子
情報通信学会 HCG 第 2 種研究会 (SIG-WI2), pp.19-20 (2009 年 10 月).
[6-96] 沈偉, 川村隆浩, 中川博之，中山健，田原康之，大須賀昭彦, “オントロジー構築サービス ONTOMO の開発 -インスタンス自動推薦の試作と評価-”, 電子情報通信学会
人工知能と知識処理研究会(AI)，信学技報 AI2008-43, pp.13-20 (2009 年 5 月).
[6-97] 鷲崎弘宜,久保淳人,下滝亜里,中川博之,林晋平,丸山勝久,本位田真一, “第 21 回ソフトウェア工学の自動化国際会議(ASE2006)開催および参加報告”, 情報処理学会 第154 回 ソフトウェア工学研究発表会研究会報告, 2006-SE-154, No. 125, pp.81-88(2006 年 11 月)．
[6-98] 鷲崎弘宜, 青山幹雄, 中川博之, 角田雅照, 吉村健太郎, “第 28 回ソフトウェア工学国際会議（ICSE2006）参加報告”, 情報処理学会 第 153 回ソフトウェア工学研究会
研究会報告,No.75, pp.55-62 (2006 年 7 月)．
以27上