2011-06-13から1日間の記事一覧
最終章「プログラムの論証」の練習問題です。 4. ヒントより、 all (== x) (replicate n x) = True を証明します。 n = 0 の時 all (== x) (repliicate 0 x) => all (== x) [] -- replicate の定義より => True -- all の定義より n = m + 1 の時 all (== x)…
最終章「プログラムの論証」の練習問題です。 4. ヒントより、 all (== x) (replicate n x) = True を証明します。 n = 0 の時 all (== x) (repliicate 0 x) => all (== x) [] -- replicate の定義より => True -- all の定義より n = m + 1 の時 all (== x)…