イベント企画
トップコンファレンス2-1 ソフトウェア工学
2026/9/2(水) 13:10-15:10
第4イベント会場
第4イベント会場
座長：林 晋平（東京科学大学）
13:10-13:30 講演(1) オンラインジャッジシステムにおけるエラー特徴の実証的研究 | |
| 清水 翔太（立命館大学 大学院情報理工学研究科情報理工学専攻データ駆動ソフトウェア工学研究室 大学院生） | |
| 【原発表の書誌情報】Shimizu, S., Makihara, E., & Yoshida, N. (2025, June). An Empirical Study of the Error Characteristics in an Online Judge System. In Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering (pp. 711-721). | |
| 【概要】本研究では，提出プログラムを自動検証・自動フィードバックするオンラインジャッジシステム（OJS）において，ユーザのプログラム習熟度に応じたエラー出現割合・解決率・解決時間を分析した結果を報告する． | |
 | 【略歴】2025年、立命館大学情報理工学部情報理工学科卒業。 同年、立命館大学大学院情報理工学研究科情報理工学専攻に入学。 オンラインジャッジシステムを対象としたエラー分析に関する研究に従事。 |
13:30-13:50 講演(2) SpectAcle：DNNコントローラの推論系列を活用したAIを活用するCPSにおける欠陥箇所特定手法 | |
| 呂 徳運（国立情報学研究所 アーキテクチャ科学研究系 特任研究員） | |
| 【原発表の書誌情報】Deyun Lyu, Zhenya Zhang, Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa, Jianjun Zhao. SpectAcle: Fault Localisation of AI-Enabled CPS by Exploiting Sequences of DNN Controller Inferences, ACM Transactions on Software Engineering and Methodology, Vol.34, No.4, pp.1–35 (2025). | |
| 【概要】AIベースCPSにおけるDNNコントローラの安全違反を対象に，違反前の推論系列を解析し，誤動作の原因となるパラメータを特定する手法SpectAcleを提案する。6,067件の故障ベンチマークで有効性を確認した。 | |
 | 【略歴】2018年大連理工大学ネットワーク工学専攻卒業．2020年同大学大学院ソフトウェア工学専攻修了．2025年九州大学大学院システム情報科学府博士後期課程修了，博士号取得．2025年より国立情報学研究所アーキテクチャ科学研究系特任研究員．AIベースサイバーフィジカルシステム，特に端到端自動運転システムの品質保証，テスト，欠陥箇所特定，修復に関する研究に従事．情報処理学会ソフトウェア工学研究会卓越研究賞を受賞し，同研究会推薦博士論文に選定． |
13:50-14:10 講演(3) トークン単位のマイクロコミットに関する実証調査 | |
| 近藤 将成（九州大学 大学院システム情報科学研究院 助教） | |
| 【原発表の書誌情報】Masanari Kondo, Daniel German, Yasutaka Kamei, Naoyasu Ubayashi, Osamu Mizuno, “An Empirical Study of Token-based Micro Commits”, Empirical Software Engineering, Vol.29, No.148, 2024. | |
| 【概要】本研究では，ソフトウェア開発における小さなコード変更である「マイクロコミット」を定義し，4つのOSSプロジェクトでその特徴を分析した．その結果，マイクロコミットは名前やリテラルの置換が中心であり，バグ修正に用いられる傾向が強いことを示した． | |
 | 【略歴】2021年京都工芸繊維大学大学院 工芸科学研究科設計工学専攻修了．博士（工学）．2021年より九州大学 システム情報科学研究院 助教．2018年カナダ クイーンズ大学で1年間訪問研究員として研究に従事．ソフトウェア工学領域で数多くの研究成果を発表．情報処理学会 山下記念研究賞などを受賞多数． |
14:10-14:30 講演(4) 深層ニューラルネットワークの修正と破壊の予測 | |
| 石本 優太（大阪大学 大学院情報科学研究科 助教） | |
| 【原発表の書誌情報】Yuta Ishimoto, Masanari Kondo, Lei Ma, Naoyasu Ubayashi, and Yasutaka Kamei, "Repairs and Breaks Prediction for Deep Neural Networks," ACM Transactions on Software Engineering and Methodology, vol. 34, no. 4, pp. 1–42, Apr 2025. DOI: 10.1145/3702983 | |
| 【概要】深層ニューラルネットワークの修正手法が多数提案されている．これらの手法の成否は事前にわからないため，手法の適用後に予期せぬ副作用が発生する可能性がある．本研究では，これらの修正手法による主効果（修正）と副作用（破壊）を事前に予測することで，修正プロセス全体のコストを低減する手法を提案する． | |
 | 【略歴】2026年3月 九州大学大学院システム情報科学府 博士後期課程修了（博士（情報科学）） 2026年4月から現在 大阪大学大学院情報科学研究科 助教 |
14:30-14:50 講演(5) オープンソースソフトウェアにおけるプロテストウェアに対する開発者の反応:color.js と es5.ext の事例 | |
| 范 優美（奈良先端科学技術大学院大学 先端科学技術研究科 情報科学領域 ソフトウェア工学研究室 助教） | |
| 【原発表の書誌情報】Fan, Y., Wang, D., Wattanakriengkrai, S., Damrongsiri, H., Treude, C., Hata, H. and Kula, R.G., 2025. Developer reactions to protestware in open source software: the cases of color. js and es5. ext. Empirical Software Engineering, 30(2), p.56. | |
| 【概要】protestwareと呼ばれるOSS保守者による自作パッケージの意図的な破壊行為について、colors.jsとes5-extの2事例を対象に分析し、684件の関連投稿から5つの主要テーマを特定した。 | |
 | 【略歴】2025年3月 奈良先端科学技術大学院大学 先端科学技術研究科 情報理工学プログラム 博士後期課程修了、博士(工学)。現在、同大学 ソフトウェア工学研究室 助教。専門は実証的ソフトウェア工学、リポジトリマイニング、OSSサプライチェーンセキュリティ。EMSE、TSE、ICSE 等の国際論文誌・会議にて研究成果を発表。 |
14:50-15:10 講演(6) モデルベース意思決定がまぎらわしいソースコードの読解に与える影響 | |
| 森崎 修司（名古屋大学 大学院情報学研究科 准教授） | |
| 【原発表の書誌情報】Y. Sugiyama, S. Morisaki, A. Toyama and K. Katahira, Relationship Between Model-Based Decision-Making and the Comprehension Performance of Source Code With Confusing Patterns, IEEE Transactions on Software Engineering, vol. 51, no. 6, pp. 1783-1800 (2025) | |
| 【概要】個人の意思決定の特性であるモデルベース意思決定の割合が大きいとコーディング規約を逸脱しているまぎらわしいソースコードであっても正しく理解ができることを開発実務者91名を被験者とする実験を通じて確かめた． | |
 | 【略歴】2001年奈良先端科学技術大学院大学 情報科学研究科 博士後期課程修了，博士(工学)．2001年 インターネットサービスプロバイダに入社．2007年奈良先端科学技術大学院大学 情報科学研究科 助教．2011年 静岡大学 大学院情報学研究科 助教．2013年 名古屋大学 大学院情報科学研究科 准教授．IPSJ 山下記念研究賞, IPSJ SE研究会卓越研究賞 受賞．実証的ソフトウェア工学，ソフトウェア品質に関する研究に興味を持つ．日本品質管理学会 代議員 |