選奨セッション
知能ソフトウェア工学 (1) |
| 9月2日（水）9:30-12:00 1c会場 |
| CB-001 | ソフトウェアのモジュール性を活用したコーディングエージェントのためのコンテキスト管理手法
◎足利 聡太・田島 敬史（京都大学） |
| CB-002 | 記憶構造モデルL4t4による生成AI誤認検知手法 ー 概念実証と安全基盤の提案
○大林 正晴（メタキューブ） |
| CB-003 | 講演取消 |
| 知能ソフトウェア工学 (2) |
| 9月2日（水）13:10-15:10 2c会場 |
| B-001 | アテンションマップとCPG構造を併用したCodeBERTによるソースコード脆弱性の検出
◎陳 明瑞・藤野 巌（東海大学） |
| B-002 | LLMを用いた自然言語記述から宣言的ルールへの翻訳における曖昧性解消に向けて
◎佐藤 琉偉・堀田 大貴（茨城大学） |
| B-003 | 脅威インテリジェンス対応のための知識グラフの活用
○藤井 章博（法政大学） |
| B-004 | 因子抽出とマルチモーダルモデルを用いたGUI設計資産検索
◎東 ひな珠・原田 史子・島川 博光（立命館大学） |
| ソフトウェア工学 (1) |
| 9月2日（水）15:30-17:30 3b会場 |
| B-005 | 開発環境選定プロセスを支援する生成AIチャットボットの構築手法の比較評価
◎林 妙玉・得田 和希・奥村 智帆・鹿島 啓吾（日立製作所） |
| B-006 | JDK・Spring系OSSのバージョンアップにおける各種マイグレーションツール適用方針と効果検証
○得田 和希・林 妙玉・奥村 智帆・鹿島 啓吾（日立製作所） |
| B-007 | Kubernetesパターンの実装を想定したソフトウェアフレームワークの提案
◎松橋 尚也・尾花 将輝（大阪工業大学） |
| B-008 | LLMによるコード修正に伴う意図しない構造変更を抑制する試み
◎津田 大翔・尾花 将輝（大阪工業大学） |
| B-009 | Octagon Tester: GraphRAG and MCP-enabled Automated Agentic Web testing
◎Salwa Naura・Ahmed Saim・Yutaka Arakawa（九州大学） |
| B-010 | 基地局接続情報に基づいた移動モード推定手法
◎鍋田 昂佑・升井 洋志（北見工業大学） |
| 知能ソフトウェア工学 (3) |
| 9月2日（水）15:30-17:30 3q会場 |
| B-011 | ソフトウェア開発向けテスト支援システムの構築
◎小林 愛佳・城戸 武志・玉田 竜一（富士電機） |
| B-012 | 東洋医学知識グラフと説明可能AIを用いた鍼灸施術意思決定支援システム
○倉森 浩司・寺元 貴幸（津山工業高等専門学校） |
| B-013 | 生成AI支援下の一人開発における作業領域と判断点の整理
―小規模スマートフォンアプリの外部公開実践から―
○宇田川 浩治・乾 泰司（CITRONシステムズ） |
| ソフトウェア工学 (2) |
| 9月3日（木）15:30-17:30 5b会場 |
| B-014 | 自己修復AIを備えた計画立案プログラム自動生成システム
◎伊藤 健太・小林 雄一・正木 祐樹・柳田 貴志（日立製作所） |
| B-015 | ペアプログラミングにおけるナビゲータの誤り指摘訓練システムの提案
◎松本 輝央・高橋 侑暉・吉田 敦（南山大学）・藤井 洸（日立ソリューションズクリエイト） |
| B-016 | モジュール構造に対応した無矛盾な形式的ソフトウェア部品の自動生成手法
◎佐々木 孝紘・織田 健（電気通信大学） |
| B-017 | 状態遷移図比較による過剰な事前条件に対応した形式仕様の誤り検出手法
◎榮岩 拓見・織田 健（電気通信大学） |
| B-018 | 講演取消 |
| B-019 | 生成AI開発における双方向設計支援手法の提案：技術起点設計への適用
○浜谷 千波（アドソル日進） |
| 高性能計算と量子ソフトウェア |
| 9月4日（金）13:10-15:40 7b会場 |
| B-020 | GPUを用いたFFT計算の高速化に関する検討
◎高橋 大翔・増田 信之・鄭 彦秋（東京理科大学） |
| B-021 | GPUを用いた大規模行列演算の高速化
◎井本 瑞希・増田 信之・鄭 彦秋（東京理科大学） |
| B-022 | Jetson Orin上での粒子法陽解法におけるPinned Memoryを用いたCPU/GPU協調実行
◎長谷川 大樹・富永 浩文・吉田 明正（明治大学） |
| B-023 | GPU向けMPS法の圧力ポアソン方程式に対するMatrix-Free/ELLハイブリッドPCG解法
◎王 嘉信・富永 浩文・吉田 明正（明治大学） |
| B-024 | CUDAからSYCLに移植したコードによる位相型計算機合成ホログラムの計算高速化の検討
◎伊藤 拓海・Boaz Jessie Jackin・塩見 日隆・髙田 直樹（高知大学） |
| B-025 | マルチGPU上でのViT前処理を伴う量子古典ハイブリッド画像分類
◎西尾 涼太郎・吉田 明正（明治大学） |
| B-026 | 緩和型Guided Self-Schedulingのブラックボックス最適化によるハイパーパラメータ設定と評価
◎山下 将嗣・若谷 彰良（甲南大学） |
| クラウド・I/O 処理の効率化 |
| 9月4日（金）13:10-15:40 7x会場 |
| B-027 | パブリッククラウド型MLOps基盤をもとにした小規模構成の検討
◎佐藤 わか葉・藤原 翔太・芝 昌隆・東原 慶一良・亀井 仁志（香川大学） |
| B-028 | サーバレス環境における二重課金の継続渡し変換による解消
◎谷口 真叡・河野 健二（慶應義塾大学） |
| B-029 | ストレージシステム内部キャッシュにおけるハッシュテーブルの最悪応答時間評価
○鴨生 悠冬・深谷 崇元・早坂 光雄（日立製作所） |
| B-030 | ハードウェア仮想化環境を用いたネットワーク通信性能の定量的評価手法
◎香月 亮祐・山崎 進（北九州市立大学） |
| B-031 | ユーザランドで動作する EtherCAT Master における I/O 処理の遅延改善手法の検討
◎寺岡 久騎・乃村 能成（岡山大学） |
| B-032 | マルチコア環境における短周期のユーザレベルスレッド切り替え機構
◎中山 海・山内 利宏・谷口 秀夫（岡山大学）・楠 恒輝（富士通） |
| B-033 | マルチコアに対応した疑似I/O処理機構
◎高橋 幸汰・山内 利宏・谷口 秀夫（岡山大学）・楠 恒輝（富士通） |
