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