2308 設計知識に注目した設計の推論モデルの提案(第 4 報) : 設計の推論モデルの計算機上への実装と検証