9月15日(木) 午前 10:30 - 14:40 |
(1) COMP |
10:30-11:00 |
ストリーミングデータにおけるアイテム頻出数を求める省領域乱択アルゴリズム |
○垣村尚徳(慶大)・新田 陸(日本IBM) |
(2) COMP |
11:00-11:30 |
直並列グラフに含まれる極小誘導シュタイナー部分グラフの効率良い列挙に向けて |
○大野木 駿(豊橋技科大)・和佐州洋(法政大) |
(3) COMP |
11:30-12:00 |
双方向マッチングにおける新しいIndividual Fairnessに関する一考察 |
○中村 徹・磯原隆将(KDDI総合研究所) |
|
12:00-13:00 |
昼食 ( 60分 ) |
|
13:00-13:10 |
「情報処理学会コンピュータサイエンス領域奨励賞」の表彰式 ( 10分 ) |
(4) |
13:10-13:40 |
[AL] 離散化アプローチによる共通展開図の非存在性の証明
Elena Arseneva (St Petersburg State University), Erik D. Demaine (CSAIL, MIT), ○Tonan Kamata (JAIST), Ryuhei Uehara (JAIST) |
(5) |
13:40-14:10 |
[AL] UNOを用いた数独に対するゼロ知識証明について
○田中 滉大(東北大学),水木 敬明(東北大学) |
(6) |
14:10-14:40 |
[AL] ボードゲーム「ノッカノッカ」の一般化と解析
○池内 明伸(九州大学),山口 勇太郎(大阪大学) |