タスク・モデルに基づく問題解決エンジンの合成 ―知識工学支援のためのCAKE環境を目指して―