2012-02-08から1日間の記事一覧
付録A 練習問題まだまだ続きます。 A.2.2 アドレス帳の不変条件を保存する (a) 不変条件の述語 inv について説明せよ 「Book b においてすべての Name はそれ自身から addr でたどれるない。つまり addr で循環する関係は存在しない。また addr に存在する N…
付録A 練習問題まだまだ続きます。 A.2.2 アドレス帳の不変条件を保存する (a) 不変条件の述語 inv について説明せよ 「Book b においてすべての Name はそれ自身から addr でたどれるない。つまり addr で循環する関係は存在しない。また addr に存在する N…