第223回ソフトウェア工学研究発表会

プログラム詳細は以下をご参照ください。
https://www.ipsj.or.jp/kenkyukai/event/se223.html


（1） 構成員個人の業務関連メタ認知知識を踏まえた組織メタ認知活性化支援
　　　油谷 知岐，菅家 元志，諸根 理仁，辺見 直哉

（2） 違和感に基づくシステムリスクの多次元分析法の提案—QAP(品質，アーキテクチャ，プロセス)と4側面(社会的，感情的，機能的，認識的)の相互分析—
　　　山本 修一郎

（3） SKPアーキテクチャによる知識の共鳴と代謝の設計法
　　　山本 修一郎

（4） 長時間露光撮影を用いた養殖魚群の異常行動検知手法
　　　白川 怜，圓谷 猛，宮崎 香穂，中村 翼，高橋 竜一

（5） AR表示による視認性向上を目的としたスマートウォッチ文字入力
　　　河原 由子香，高橋 竜一

（6） AIエージェントによる内製業務データのデータ理解支援
　　　松永 智広，浅木森 浩樹，山田 哲，八重樫 理人，米谷 雄介

（7） 不確実性を考慮したイノベーションの評価のためのEvaluation Window Model
　　　秦泉寺 久美

（8） 構造を有する既知のデータを用いたデバッグ手法の提案
　　　久米 出，新田 直也，中村 匡秀

（9） オンラインジャッジシステムにおける複数のプログラミング言語切り替えの実態調査
　　　松尾 歩，清水 翔太，槇原 絵里奈，吉田 則裕，井上 克郎

（10）オンラインジャッジシステムにおける細粒度コード修正に基づいたエラー傾向の定量分析
　　　清水 翔太，槇原 絵里奈，吉田 則裕，井上 克郎，楊 詩語

（11）モバイルプラットフォームにおけるプログラミング教育用シリアスゲームの実態調査
　　　小笠原 翼，依田 みなみ，李 家隆，松野 裕，鄭 顕志

（12）VRプログラミング教室におけるアウェアネス制御を用いた学習支援システムの構築
　　　玉川 葵，塩澤 秀和，田中 昂文

（13）プログラミング学習における動作のアニメーション可視化による学習効果の分析
　　　栁内 大輝，塩澤 秀和，田中 昂文

（14）ソースコードの部品化と動作に注目した学習支援システム
　　　濵田 太耀，塩澤 秀和，田中 昂文

（15）クラス図・オブジェクト図の学習支援に向けた段階的モデリング支援ツールの試作
　　　瀧澤 玲弥，小形 真平，槇原 絵里奈，岡野 浩三

（16）Δ-代数: 参照構造に着目したオブジェクト指向設計の形式的変換法
　　　山際 祥平，新田 直也

（17）CNNモデルにおける4つの最適化アルゴリズムのロバスト性能比較
　　　佐藤 一騎，岡野 浩三，小形 真平，中島 震

（18）転移学習モデルへのモデル反転攻撃に対する差分プライバシーの防御効果に関する評価実験
　　　青木 滉士郎，岡野 浩三，小形 真平，中島 震

（19）大規模言語モデルが作成したLTL式の妥当性判定手法の提案－信頼度とコサイン類似度に基づく評価－
　　　大内 秀太郎，和田 佑太，毛利 寿志，武安 政明

（20）オープンソースLLMエージェントフレームワークにおける権限管理メカニズムの実証調査
　　　青柳 龍太，范 優美，李 家隆，鄭 顕志

（21）大規模言語モデルを用いたチャットログからの論理的根拠抽出に関する妥当性評価
　　　野口 颯之介，塩澤 秀和，田中 昂文

（22）Agentic Dependency Management at Repository-Level
　　　Kaya Kitada，Yoshiki Higo，Raula Gaikovina Kula

（23）EclipseAI: Dynamic Re-Ranking of Code Completion Proposals with Behavioural Signals and LLM Priors
　　　Thangarasu Kiruba，Takayuki Omori

（24）成果物メタモデルとプロセス定義に基づくAI駆動開発手法
　　　不破 慎之介，河口 怜央，興津 綾弓，林 香織，小林 展英，竹内 広宜

（25）要求の曖昧性とソースコード生成LLMの内部表現に関する一考察
　　　田井 聖凪，伊原 彰紀，水野 晴斗

（26）An Analysis of Funding and Its Impact on Development Activities in Open Source Projects
　　　Gakushi Kimura，Olivier Nourry，Yoshiki Higo

（27）Reproducibility of Bugs4Q under Framework Evolution: Toward Supporting Quantum Program Migration
　　　Haruto Ohto，Yuta Ishimoto，Shinsuke Matsumoto，Shinji Kusumoto

（28）バグ混入コミットによる過去制約違反の実証研究
　　　近藤 偉成，近藤 将成，ヌリ オリビエ，亀井 靖高，肥後 芳樹

（29）依存関係グラフとLLMを組み合わせたVue.jsアプリケーションのバグ因果関係追跡支援
　　　黒田 真央，Profir-Petru Pârţachi，小林 隆志

（30）マイクロサービスにおけるサービス間・サービス内コードクローンの共変更に関する実証的研究
　　　太田 悠希，吉田 則裕，崔 恩瀞，楊 詩語，槇原 絵里奈，井上 克郎

（31）GitHub Actionsにおけるランナーの設定がCI/CDの実行時間に与える影響調査
　　　照屋 悠，平田 海大，Georges Aaron Randrianaina，Shane Mcintosh，近藤 将成，亀井 靖高

（32）ソフトウェア開発プロセスへの環境影響評価の組込みに向けた対応関係モデルの提案
　　　米原 大樹，篠塚 真智子，岩塚 卓弥

（33）ソフトウェア開発におけるCO2排出量の推定方法
　　　神 明夫，篠塚 真智子

（34）検出済みクローンペアの推移的関係を利用した未検出クローンペアの補完手法
　　　石村 涼介，肥後 芳樹

（35）Peacefulテストの解析による不足したミューテーション演算子検出の試み
　　　後藤 有希，柗本 真佑，楠本 真二

（36）SBOMの整合性検証に向けたライブラリ間依存関係に基づく静的依存ライブラリ特定手法
　　　長崎 智人，神田 哲也，井上 克郎，眞鍋 雄貴，仇 実，肥後 芳樹

（37）動的依存解析に基づく原因推定によるSBFLの順位改善効果
　　　江﨑 政哉，小林 隆志

（38）LLMを利用した2038年問題へのアプローチ
　　　大江 秀幸，松下 誠，井上 克郎

（39）A Time-Based Visualization for Agent-Based Codebase Interactions
　　　Takuto Kawamoto，Yoshiki Higo，Raula Gaikovina Kula

（40）プロジェクト固有規約に準拠したリファクタリングにおけるコーディングエージェントの性能評価
　　　執行 凱斗，近藤 将成，亀井 靖高

（41）生成AI時代のソフトウェアの正しさに関する一考察～正当化の階層に基づく検討～
　　　岸 知二

（42）実行時指向性制御器合成に基づく段階的ODD縮退機構 自動運転支援を例としたLingua Franca上の試作
　　　石水 優成，生方 寿英，李 家隆，鄭 顕志

（43）不要な最小化処理の回避による段階的制御器合成の効率化
　　　山口 友輝，山内 拓人，鄭 顕志

（44）ユーザレビューに基づくアクセシビリティ違反レポートの理解支援手法
　　　小山 諒也，王 志堯，李 家隆，土屋 達弘，鄭 顕志

（45）DX推進スキル標準に基づく大学院講座体系の構造分析 香川大学大学院創発科学研究科情報システム・セキュリティユニットおよび情報社会ユニットにおけるケーススタディ
　　　浅木森 浩樹，久我 透，山田 哲，米谷 雄介，八重樫 理人

（46）消防署移転先探索問題における意思決定を支援するインタラクティブ可視化
　　　福田 章太，中田 匠哉，陳 思楠，佐伯 幸郎，中村 匡秀

（47）エージェント対話を通した高齢者体調確認サービスの実験的評価
　　　西山 敦紀，中田 匠哉，陳 思楠，佐伯 幸郎，増田 廣介，露崎 雄太，安田 清，中村 匡秀

（48）在宅高齢者見守りに向けたサービス横断型マルチカメラシステムの開発
　　　眞銅 利典，西山 敦紀，福田 章太，中田 匠哉，陳 思楠，佐伯 幸郎，安田 清，中村 匡秀

（49）要求の段階的分析による離散制御器合成の解なし原因特定手法
　　　河野 日和，山内 拓人，鄭 顕志

（50）環境・要求間の依存性分析に基づく環境変化対応PreControllerの選択的事前合成
　　　三上 駿介，山内 拓人，鄭 顕志

一括ダウンロード