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.) |