9:00〜12:00 座長 笠井 琢美 (電通大)
1. グラフの k-分割問題に対するアルゴリズムについて
和田 幸一 (名工大)
2. 並列計算理論の最前線
富樫 敦 (静岡大)
3. 圧縮テキスト上での文字列照合アルゴリズム
篠原 歩 (九大)
13:00〜17:00 座長 山下 雅史 (広島大)
4. 計算量階層分離へのロジックからのアプローチ
新井 紀子 (広島市大)
5. 統計的ゼロ知識証明の関係について
岡本 龍明 (NTT)
6. 経路最適化問題の近似アルゴリズム:
幾何学的/非幾何学的場合の対比
玉木 久夫 (日本IBM)
7. DNF式の学習可能性
瀧本 英二 (東北大)