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