協調型論理設計エキスパートシステムco-LODEX