概要 回路レイアウト実験システムの試作を通して、並列協調新算法の可能性、並列 論理型言語KL1の仕様記述性、並列推論マシンの問題解決能力を実証する。 特徴 ICOT後期で開発中の大規模並列マシンの機能実証ソフトウェアとして、平 成元年度、2年度の開発実績をもとにしつつ、電子回路レイアウト問題解決実験 システムCo-HLEXを開発している。その特徴は、次の通りである。