12月1日(火) 午前 10:00 - 11:30 |
(1) |
10:00-10:30 |
Towards Higher-Order Oriented Matroid Theory
-- Topological Representation Theorem -- |
○Hiroyuki Miyata(Gunma Univ.) |
(2) |
10:30-11:00 |
制約を伴うDAG最短路問題の高速解法 |
○竹内文登(北大)・西野正彬(NTT)・安田宜仁(北大)・秋葉拓哉(NII)・湊 真一(北大)・永田昌明(NTT) |
(3) |
11:00-11:30 |
軽量暗号Simeckに対する電力解析攻撃 |
○野崎佑典・吉川雅弥(名城大) |
|
11:30-13:00 |
休憩 ( 90分 ) |
12月1日(火) 午後 13:00 - 14:00 |
(4) |
13:00-14:00 |
[招待講演]Parallel Flint:汎用生体システムの並列シミュレータ |
○萩原兼一(阪大) |
|
14:00-14:20 |
休憩 ( 20分 ) |
12月1日(火) 午後 14:20 - 15:20 |
(5) |
14:20-15:20 |
[招待講演]ポリマトロイド対における安定割当 |
岩田 覚・○横井 優(東大) |
|
15:20-15:40 |
休憩 ( 20分 ) |
12月1日(火) 午後 15:40 - 16:40 |
(6) |
15:40-16:10 |
多項式時間測度とランダム性について |
○河村彰星(東大) |
(7) |
16:10-16:40 |
向きづけ不可能曲面のZometool近似 |
○坂田幸士郎・森口昌樹・今井桂子(中大) |