3月14日(木) 午前 10:30 - 17:00 |
(1) |
10:30-11:00 |
ペンタヘックス・ヘプタモンドパズルの解の総数 |
○白川俊博 |
(2) |
11:00-11:30 |
たすくえあのNP完全性の証明について |
○福永智渉・大久保誠也(静岡県立大) |
(3) |
11:30-12:00 |
ましゅの定数時間検査 |
○兜石鼓太郎・伊藤大雄(電通大) |
|
12:00-13:30 |
昼食 ( 90分 ) |
(4) |
13:30-14:30 |
[招待講演]Gap Amplification for Reconfiguration Problems |
○Naoto Ohsaka(CyberAgent) |
|
14:30-14:45 |
休憩 ( 15分 ) |
(5) |
14:45-15:15 |
タイを含む無羨望マッチングの遷移 |
岩政勇仁・川原 純・○上田結大(京大) |
(6) |
15:15-15:45 |
成長するグラフ上のランダムウォークの再帰性のcouplingを用いた証明 |
○熊本舟馬(九大)・来嶋秀治(滋賀大)・白井朋之(九大) |
|
15:45-16:00 |
休憩 ( 15分 ) |
(7) |
16:00-16:30 |
Time Analysis of Space Efficient Uniform Partitioning in Population Protocols |
○Pascal Sahner(NAIST/RWTH Aachen)・Ryota Eguchi(NAIST)・Fukuhito Ooshita(FUT)・Michiko Inoue(NAIST) |
(8) |
16:30-17:00 |
A consideration on the spannig polytope volume using the recurrence representation and its computation |
○Ei Ando(Senshu Univ.) |