12月22日(木) 午前
10:50 - 12:00 |
| (1) |
10:50-11:25 |
柔軟にサイズ変更可能な多次元配列 |
○熊切正和・都司達夫・樋口 健（福井大） |
| (2) |
11:25-12:00 |
Decidability of Termination for Left-Linear Shallow Term Rewriting Systems and Related |
○Yi Wang・Masahiko Sakai・Naoki Nishida・Keiichirou Kusakari・Toshiki Sakabe（Nagoya Univ.） |
| |
12:00-13:00 |
昼食 （ 60分 ） |
12月22日(木) 午後
13:00 - 14:10 |
| (3) |
13:00-13:35 |
Transmitting classical information on the quantum network efficiently |
Kazuo Iwama・○Harumichi Nishimura・Rudy Raymond（Kyoto Univ.）・Shigeru Yamashita（NAIST） |
| (4) |
13:35-14:10 |
Universally Anonymizable Public-Key Encryption |
○Ryotaro Hayashi・Keisuke Tanaka（Tokyo Inst. of Tech.） |
| |
14:10-14:25 |
休憩 （ 15分 ） |
12月22日(木) 午後
14:25 - 15:35 |
| (5) |
14:25-15:00 |
バンド幅縮小問題に対する遺伝的アルゴリズム |
青木一正・大舘陽太・○山崎浩一（群馬大） |
| (6) |
15:00-15:35 |
An Improved (1.234m)-Time Deterministic Algorithm for SAT |
○Masaki Yamamoto（Tokyo Inst. of Tech.） |
| |
15:35-15:50 |
休憩 （ 15分 ） |
12月22日(木) 午後
15:50 - 17:00 |
| (7) |
15:50-16:25 |
Failure Detectors for the Leader Election with Bounded Faulty Processes |
○Hirotaka Ono（Kyushu Univ.）・Sung-Hoon Park（Chungbuk Univ.）・Masafumi Yamashita（Kyushu Univ.） |
| (8) |
16:25-17:00 |
Max-Stretch Reduction for Tree Spanners |
○Kazuo Iwama（Kyoto Univ.）・Andrzej Lingas（Lund Univ.）・Masaki Okita（Kyoto Univ.） |
: 
i
is
