9月3日(月) 午前
09:30 - 12:00 |
| (1) |
09:30-10:05 |
マルチトラック文字列の順列パターン照合と索引構造 |
○桂 敬史・成澤和志・篠原 歩（東北大）・坂内英夫・稲永俊介（九大） |
| (2) |
10:05-10:40 |
Bit-Parallel Algorithms for Finding All Substrings Matching a Regular Expression |
○Hiroaki Yamamoto（Shinshu Univ.）・Takashi Miyazaki（Nagano National College of Tech.） |
| |
10:40-10:50 |
休憩 （ 10分 ） |
| (3) |
10:50-11:25 |
最大クリーク問題の多項式時間的可解性の拡張の改良 |
○中西裕陽・富田悦次・若月光夫・西野哲朗（電通大） |
| (4) |
11:25-12:00 |
Compressing de Bruijn Graphs |
Alexander Bowe（NII）・Taku Onodera（Univ. of Tokyo）・○Kunihiko Sadakane（NII）・Tetsuo Shibuya（Univ. of Tokyo） |
| |
12:00-13:30 |
昼食 （ 90分 ） |
9月3日(月) 午後
13:30 - 14:30 |
| (5) |
13:30-14:30 |
［招待講演］新学術領域「計算限界解明」発足にあたって |
○渡辺 治（東工大） |
| |
14:30-14:50 |
休憩 （ 20分 ） |
9月3日(月) 午後 【特別企画】 FOCS2012論文紹介
14:50 - 16:45 |
| (6) |
14:50-15:25 |
Partially Symmetric Functions are Efficiently Isomorphism-Testable |
Eric Blais（Carnegie Mellon Univ.）・Amit Weinstein（Tel Aviv Univ.）・○Yuichi Yoshida（NII/Preferred Infrastructure） |
| (7) |
15:25-16:00 |
Faster Algorithms for Rectangular Matrix Multiplication |
○Francois Le Gall（Univ. of Tokyo） |
| |
16:00-16:10 |
休憩 （ 10分 ） |
| (8) |
16:10-16:45 |
A New Direction for Counting Perfect Matchings |
○Taisuke Izumi・Tadashi Wadayama（Nagoya Inst. of Tech.） |
n
e
is
is
