2012-01-06から1日間の記事一覧
今日は 6.4.4 抽象化関数の簡単な紹介からです。 具体的なメモリモデルから抽象的なモデルの関連付け 具体的なモデルでの操作が抽象的なモデルの操作に対応していることを示す 抽象化関数 具体的なモデルでの状態を抽象的なモデルの状態に対応付ける関数(alp…
今日は 6.4.4 抽象化関数の簡単な紹介からです。 具体的なメモリモデルから抽象的なモデルの関連付け 具体的なモデルでの操作が抽象的なモデルの操作に対応していることを示す 抽象化関数 具体的なモデルでの状態を抽象的なモデルの状態に対応付ける関数(alp…