10月17日(木) 午後 13:30 - 16:45 |
(1) |
13:30-13:55 |
攻撃者を想定した遅延耐性ネットワークのルーティング方策に関する考察 |
○内田直希・福本 聡(都立大) |
(2) |
13:55-14:20 |
組合せテストにおける2分決定グラフを使った制約処理 |
○土屋達弘(阪大) |
|
14:20-14:30 |
休憩 ( 10分 ) |
(3) |
14:30-14:55 |
Finding Functionally Equivalent Methods in Python Using Automated Test Generation Techniques |
○Yusheng Guo・Shiyu Yang・Akihiro Tabata・Yoshiki Higo(Osaka Univ.) |
(4) |
14:55-15:20 |
Verification with Common Knowledge of Rationality for Graph Games |
○Rindo Nakanishi(Nagoya Univ.)・Yoshiaki Takata(KUT)・Hiroyuki Seki(Nagoya Univ.) |
|
15:20-15:30 |
休憩 ( 10分 ) |
(5) |
15:30-15:55 |
競輪におけるLLMを用いた予想記事生成手法の提案 |
○後藤健之介・横山想一郎・山下倫央・川村秀憲(北大) |
(6) |
15:55-16:20 |
サブルーチン化による集約に適したコードクローン検出手法の提案 |
○川本琢人・肥後芳樹(阪大) |
(7) |
16:20-16:45 |
大学演習課題としてのソフトウェア開発における要件定義成果物に対する感情分析の考察 |
○勝家拓巳・小形真平・岡野浩三(信州大)・飯村結香子・斎藤 忍(NTT) |