12月10日(金) 午前
10:30 - 16:40 |
| (1) |
10:30-11:00 |
Recognizable Set の記号列表現 |
○山口文彦・山崎克典（東京理科大） |
| (2) |
11:00-11:30 |
It is NP-complete to find the maximum length of the shortest cycles in Eulerian trails |
○Shuji Jimbo・Yasuaki Osie・Kosaburo Hashiguchi（Okayama Univ.） |
| (3) |
11:30-12:00 |
Another Proof for an Upper Bound of a Local Search Algorithm for 3-SAT |
○Masaki Yamamoto（Tokyo Inst. of Tech.） |
| |
12:00-13:15 |
昼食 （ 75分 ） |
| (4) |
13:15-14:15 |
［チュートリアル講演］頻出パターンの高速列挙 |
○宇野毅明（NII） |
| |
14:15-14:30 |
休憩 （ 15分 ） |
| (5) |
14:30-15:00 |
Interval bigraphs are unit grid intersection graphs |
Yota Otachi・○Koichi Yamazaki（Gunma Univ.） |
| (6) |
15:00-15:30 |
Better Simulation of Exponential Threshold Weights by Polynomial Weights |
○Kazuyuki Amano・Akira Maruoka（Tohoku Univ.） |
| (7) |
15:30-16:00 |
量子アルゴリズムによる近似文字列出現頻度問い合わせ |
○小林健了・小野廣隆・定兼邦彦・山下雅史（九大） |
| (8) |
16:00-16:30 |
効率的なRAIDのアクセス順序決定のための完全二部グラフのcluttered orderingの構成法 |
○足立智子（東邦大） |
| (9) |
16:30-16:40 |
学科紹介
○塚田真 (東邦大) |