4月18日(金) 午前 10:00 - 16:05 |
(1) |
10:00-10:35 |
Constant-Working Space Algorithm for Connected Components Labeling |
Tetsuo Asano・○Hiroshi Tanaka(JAIST) |
(2) |
10:35-11:10 |
Constant-Working-Space Algorithm for Euclidean Distance Transform |
○Tetsuo Asano・Hiroshi Tanaka(JAIST) |
(3) |
11:10-11:45 |
Enumeration of Perfect Sequences of Chordal Graph |
Yasuko Matsui(Tokai Univ.)・○Ryuhei Uehara(JAIST)・Takeaki Uno(NII) |
|
11:45-13:30 |
昼食 ( 105分 ) |
(4) |
13:30-14:05 |
量子一方向性置換の計算量理論的特徴付け |
○遠田耕司・小柴健史(埼玉大) |
(5) |
14:05-14:40 |
Quantum Isomorphism Testing for Semidirect Product Groups |
Yoshifumi Inui(JST/ Univ. of Tokyo)・○Francois Le Gall(JST) |
|
14:40-14:55 |
休憩 ( 15分 ) |
(6) |
14:55-15:30 |
ラベル付きグラフからのウォークの多項式時間学習 |
○筒井淳平・有村博紀(北大) |
(7) |
15:30-16:05 |
3状態相互排他アルゴリズムの安定時間の下限について |
○木本雅博・土屋達弘・菊野 亨(阪大) |