10月11日(水) 午後 セッション1
座長: 肥後 芳樹（大阪大学）
14:30 - 15:45 |
| (1) |
14:30-14:55 |
ChatGPTへのクラス設計プロセスの指示によるクラス図の自動生成 |
○神崎匠吾・奥野 拓（公立はこだて未来大） |
| (2) |
14:55-15:20 |
ソフトウェア要求仕様書からのCausal Component Model作成のための自動抽出手法の比較 |
○二ノ宮健来・大戸柾之介・高岡俊希・小形真平・岡野浩三（信州大） |
| (3) |
15:20-15:45 |
深層学習を用いた情報システムの非機能要求の効率的な自動分類 ～ BERT、GPT2の精度比較 ～ |
○向田和弘（信州大）・福居誠二・長岡武志・北川貴之（東芝）・小形真平・岡野浩三（信州大） |
| |
15:45-16:00 |
休憩 （ 15分 ） |
10月11日(水) 午後 セッション2
座長: 金子 晴彦（東京工業大学）
16:00 - 17:15 |
| (4) |
16:00-16:25 |
相互排除アルゴリズムを対象とした形式検証技術の適用 |
○西口尚輝・土屋達弘（阪大） |
| (5) |
16:25-16:50 |
ブロックチェーンにおけるVRNTを用いたSkip Graphによるブロック承認間隔短縮法 |
○稲村展帆・北神正人（千葉大） |
| (6) |
16:50-17:15 |
メモリのビット数削減と標本化を用いたニューラルネットワークの低消費電力化 |
○小太刀寛知・北神正人（千葉大） |
10月12日(木) 午前 セッション3
座長: 柗本 真佑（大阪大学）
10:00 - 10:50 |
| (7) |
10:00-10:25 |
A game-theoretic approach to indistinguishability of winning objectives as user privacy |
○Rindo Nakanishi（Nagoya Univ.）・Yoshiaki Takata（KUT）・Hiroyuki Seki（Nagoya Univ.） |
| (8) |
10:25-10:50 |
差分プライバシーを用いた機械学習であるDP-SGDのロバスト性の傾向 |
○神吉孝洋・小形真平・岡野浩三（信州大）・中島 震（NII） |
| |
10:50-11:05 |
休憩 （ 15分 ） |
10月12日(木) 午前 セッション4
座長: 小形 真平（信州大学）
11:05 - 11:55 |
| (9) |
11:05-11:30 |
選択演算と射影演算に対応する双方向変換の関数従属性のもとでの整合性検査 |
○石田 潤・酒井聡太・石原靖哲（南山大） |
| (10) |
11:30-11:55 |
R言語に対する欠陥データセット構築の試み ～ dplyrプロジェクトを題材として ～ |
○石野太一・柗本真佑・楠本真二（阪大） |
: o
nshu-u
i
n-u