1 0 0 0 「ドメインモデル≡計算モデル」を志向したアプリケーション開発環境M - baseにおける開発・検証技法