取り扱える回路の範囲を拡大するためのシステムの拡張,そこでの知識の充実,システムにおけるツールとその利用法について検討した.本論文では,システム全体の概要と各種適用実験について報告する.本システムは,抽象的な動作仕様記述を... 竹沢 寿幸,白井 克彦 - 《電子情報通信学会論文誌 a》 ...