Online edition: ISSN 2432-6380
[TOP] | [2020] | [2021] | [2022] | [2023] | [2024] | [2025] | [2026] | [Japanese] / [English]
SS2026-1
構成員個人の業務関連メタ認知知識を捉えた組織メタ認知活性化支援
○油谷知岐（阪公立大）・菅家元志・諸根理仁・辺見直哉（プレイノベーション）
pp. 1 - 6
SS2026-2
違和感に基づくシステムリスクの多次元分析法の提案 ～ QAP（品質、アーキテクチャ、プロセス）と4側面（社会的、感情的、機能的、認識的）の交差分析 ～
○山本修一郎（名国工専大）
pp. 7 - 12
SS2026-3
SKPアーキテクチャによる知識の共鳴と代謝の設計法
○山本修一郎（名国工専大）
pp. 13 - 18
SS2026-4
長時間露光撮影を用いた養殖魚群の異常行動検知手法
○白川 怜（茨城大）・圓谷 猛・宮崎香穂・中村 翼（ウミオス）・高橋竜一（茨城大）
pp. 19 - 24
SS2026-5
AR表示による視認性向上を目的としたスマートウォッチ文字入力
○河原由子香・髙橋竜一（茨城大）
pp. 25 - 30
SS2026-6
AIエージェントによる内製業務データのデータ理解支援
○松永智広・浅木森浩樹・山田 哲・八重樫理人・米谷雄介（香川大）
pp. 31 - 36
SS2026-7
不確実性を考慮したイノベーションの評価のためのEvaluation Window Model
○秦泉寺久美（NTT）
pp. 37 - 42
SS2026-8
モバイルプラットフォームにおけるプログラミング教育用シリアスゲームの実態調査
○小笠原 翼（科学大）・依田みなみ（日大）・李 家隆（科学大）・松野 裕（日大）・鄭 顕志（科学大）
pp. 43 - 48
SS2026-9
VRプログラミング教室におけるアウェアネス制御を用いた学習支援
○玉川 葵・塩澤秀和・田中昂文（玉川大）
pp. 49 - 54
SS2026-10
プログラミング学習における動作のアニメーション可視化による学習効果の分析
○栁内大輝・塩澤秀和・田中昂文（玉川大）
pp. 55 - 60
SS2026-11
ソースコードの部品化と動作に注目した学習支援システム
○濵田太耀・塩澤秀和・田中昂文（玉川大）
pp. 61 - 66
SS2026-12
クラス図・オブジェクト図の学習支援に向けた段階的モデリング支援ツールの試作
○瀧澤玲弥・小形真平（信州大）・槇原絵里奈（立命館大）・岡野浩三（信州大）
pp. 67 - 72
SS2026-13
Δ-代数：参照構造に着目したオブジェクト指向設計の形式的変換法
○山際祥平・新田直也（甲南大）
pp. 73 - 78
SS2026-14
CNNモデルにおける4つの最適化アルゴリズムのロバスト性能比較
○佐藤一騎・岡野浩三・小形真平（信州大）・中島 震（NII）
pp. 79 - 84
SS2026-15
転移学習モデルへのモデル反転攻撃に対する差分プライバシーの防御効果に関する評価実験
○青木滉士郎・岡野浩三・小形真平（信州大）・中島 震（NII）
pp. 85 - 90
SS2026-16
大規模言語モデルが作成したLTL式の妥当性判定手法の提案 ～ 信頼度とコサイン類似度に基づく評価 ～
○大内秀太郎・和田佑太・毛利寿志・武安政明（三菱電機）
pp. 91 - 96
SS2026-17
オープンソースLLMエージェントフレームワークにおける権限管理メカニズムの実証調査
○青柳龍太（Science Tokyo）・范 優美（奈良先端大）・李 家隆（早大）・鄭 顕志（ScienceTokyo）
pp. 97 - 102
SS2026-18
大規模言語モデルを用いたチャットログからの論理的根拠抽出に関する妥当性評価
○野口颯之介・塩澤秀和・田中昂文（玉川大）
pp. 103 - 108
SS2026-19
An Analysis of Funding and Its Impact on Development Activities in Open Source Projects
○Gakushi Kimura・Olivier Nourry・Yoshiki Higo（UOsaka）
pp. 109 - 114
SS2026-20
Reproducibility of Bugs4Q under Framework Evolution: Toward Supporting Quantum Program Migration
○Haruto Ohto・Yuta Ishimoto・Shinsuke Matsumoto・Shinji Kusumoto（UOsaka）
pp. 115 - 120
SS2026-21
バグ混入コミットによる過去制約違反の実証研究
○近藤偉成（阪大）・近藤将成（九大）・オリビエ ヌリ（阪大）・亀井靖高（九大）・肥後芳樹（阪大）
pp. 121 - 126
SS2026-22
依存関係グラフと LLM を組み合わせたVue.js アプリケーションのバグ因果関係追跡支援
○黑田真央・プロフィア ペトル パツァキ・小林隆志（Science Tokyo）
pp. 127 - 132
SS2026-23
検出済みクローンペアの推移的関係を利用した未検出クローンペアの補完手法
○石村涼介・肥後芳樹（阪大）
pp. 133 - 138
SS2026-24
Peacefulテストの解析による不足したミューテーション演算子検出の試み
○後藤有希・柗本真佑・楠本真二（阪大）
pp. 139 - 144
SS2026-25
SBOMの整合性検証に向けたライブラリ間依存関係に基づく静的依存ライブラリ特定手法
○長崎智人（阪大）・神田哲也（ノートルダム清心女子大）・井上克郎（立命館大）・眞鍋雄貴（福知山公立大）・仇 実（東芝）・肥後芳樹（阪大）
pp. 145 - 150
SS2026-26
動的依存解析に基づく原因推定によるSBFLの順位改善効果
○江﨑政哉・小林隆志（Science Tokyo）
pp. 151 - 156
SS2026-27
プロジェクト固有規約に準拠したリファクタリングにおけるコーディングエージェントの性能評価
○執行凱斗・近藤将成・亀井靖高（九大）
pp. 157 - 162
SS2026-28
実行時指向性制御器合成に基づく段階的ODD縮退機構 ～ 自動運転支援を例としたLingua Franca上の試作 ～
○石水優成・生方寿英（Science Tokyo）・李 家隆（早大）・鄭 顕志（Science Tokyo）
pp. 163 - 168
SS2026-29
不要な最小化処理の回避による段階的制御器合成の効率化
○山口友輝（Science Tokyo）・山内拓人（早大）・鄭 顕志（Science Tokyo）
pp. 169 - 172
SS2026-30
ユーザレビューに基づくアクセシビリティ違反レポートの理解支援手法
○小山諒也（科学大）・王 志堯（阪大）・李 家隆（早大）・土屋達弘（阪大）・鄭 顕志（科学大）
pp. 173 - 178
SS2026-31
DX推進スキル標準に基づく大学院講座体系の構造分析 ～ 香川大学大学院創発科学研究科情報システム・セキュリティユニットおよび情報社会ユニットにおけるケーススタディ ～
○浅木森浩樹・久我 透・山田 哲・米谷雄介・八重樫理人（香川大）
pp. 179 - 184
SS2026-32
消防署移転先探索問題における意思決定を支援するインタラクティブ可視化
○福田章太・中田匠哉・陳 思楠（神戸大）・佐伯幸郎（高知工科大）・中村匡秀（神戸大）
pp. 185 - 191
SS2026-33
エージェント対話を通した高齢者体調確認サービスの実験的評価
○西山敦紀・中田匠哉・陳 思楠（神戸大）・佐伯幸郎（高知工科大）・増田廣介（長崎友愛病院）・露崎雄太（おゆみの中央病院）・安田 清・中村匡秀（神戸大）
pp. 192 - 198
SS2026-34
在宅高齢者見守りに向けたサービス横断型マルチカメラシステムの開発
○眞銅利典・西山敦紀・福田章太・中田匠哉・陳 思楠（神戸大）・佐伯幸郎（高知工科大）・安田 清・中村匡秀（神戸大）
pp. 199 - 205
SS2026-35
要求の段階的分析による離散制御器合成の解なし原因特定手法
○河野日和（Science Tokyo）・山内拓人（早大）・鄭 顕志（Science Tokyo）
pp. 206 - 210
SS2026-36
環境・要求間の依存性分析に基づく環境変化対応PreControllerの選択的事前合成
○三上駿介（Science Tokyo）・山内拓人（早大）・鄭 顕志（Science Tokyo）
pp. 211 - 214
注： 本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります．