5月24日(水) 午前
10:40 - 16:10 |
| (1) |
10:40-11:15 |
Minimum Augmentation of Edge-Connectivity with Monotone Requirements in Undirected Graphs |
○Toshimasa Ishii（Otaru Univ. of Commerce） |
| (2) |
11:15-11:50 |
Embedding of a Qualitative Representation Language on a Two-Dimensional Plane |
○Kazuko Takahashi・Takao Sumitomo（Kwansei Gakuin Univ.）・Izumi Takeuti（AIST） |
| |
11:50-13:00 |
昼食休憩 （ 70分 ） |
| (3) |
13:00-13:35 |
Approximating Tree Edit Distance Through String Edit Distance |
○Tatsuya Akutsu（Kyoto Univ.）・Daiji Fukagawa・Atsuhiro Takasu（NII） |
| (4) |
13:35-14:10 |
Average-case Analysis for the MAX-2SAT Problem |
○Osamu Watanabe・Masaki Yamamoto（Tokyo Inst. of Tech.） |
| (5) |
14:10-14:45 |
(4,1)-Quantum Random Access Coding Does Not Exist |
Masahito Hayashi（JST）・Kazuo Iwama（Kyoto Univ.）・○Harumichi Nishimura（Osaka Prefecture Univ.）・Rudy Raymond（Kyoto Univ.）・Shigeru Yamashita（NAIST） |
| |
14:45-15:00 |
休憩 （ 15分 ） |
| (6) |
15:00-15:35 |
隠れマルコフモデルを用いたDNA配列設計 |
○前村一哉・小野廣隆・定兼邦彦・山下雅史（九大） |
| (7) |
15:35-16:10 |
動的近傍操作を用いたDNA塩基配列設計 |
○川下 優・小野廣隆・定兼邦彦・山下雅史（九大） |
dia
k
-u