3月7日(金) 10:00 - 17:00 |
(1) |
10:00-10:30 |
単位伝播で決定可能な補問題の拡張CNF表現に関する検討 |
○戸田貴久(電通大) |
(2) |
10:30-11:00 |
動的ネットワークにおけるローカルビザンチン故障Reliable Broadcastの可解性と必要知識 |
○多田桃大・中村純哉(豊橋技科大) |
(3) |
11:00-11:30 |
無限離散平面上の自律分散ロボットにおける物体観測問題の可解性 |
○金 鎔煥(名工大)・山内由紀子(九大)・片山喜章(名工大) |
|
11:30-13:00 |
昼食 ( 90分 ) |
(4) |
13:00-14:00 |
[招待講演]複製不可能性に基づく量子暗号 |
○山川高志(NTT社会情報研) |
|
14:00-14:20 |
休憩 ( 20分 ) |
(5) |
14:20-14:40 |
成長する完全グラフ上のランダムウォークの零再帰性と正再帰性の十分条件について |
○熊本舟馬(九大) |
(6) |
14:40-15:10 |
トークンスライディング型独立集合遷移問題に対する物理的ゼロ知識証明 |
○池内唯斗・上嶋章宏(阪電通大) |
(7) |
15:10-15:40 |
不動点伝播法による共通展開図の構成 |
○後藤大河・鎌田斗南・上原隆平(北陸先端大) |
|
15:40-16:00 |
休憩 ( 20分 ) |
(8) |
16:00-16:30 |
Logarithmic Random Bidding for Roulette Wheel Selection in Parallel with Precise Probabilities |
○Koji Nakano(Hiroshima U.) |
(9) |
16:30-17:00 |
ZDDを用いた全域Laman部分グラフの列挙 |
○中畑 裕(奈良先端大)・伝住周平(NTT)・堀山貴史(北大)・栗田和宏(名大)・脊戸和寿(北大) |