9:00〜12:00 座長 笠井 琢美 (電通大)
1. 単調論理回路計算量 vs 回路計算量
天野 一幸 (東北大)
2. トポロジカル推論について
陳 致中 (東京電機大)
3. データの論理的解析とブール関数
牧野 和久 (阪大)
13:00〜16:00 座長 五十嵐 善英 (群馬大）
4. メッシュ型モデル上でのラウティングについて
宮野 英次 (九大)
5. 高信頼分散システムに向けて
--自己安定分散アルゴリズムの最近の研究動向
増澤 利光 (奈良先端大)
6. 幾何クラスタリングとデータマイニング
稲葉 真理 (東大)