2011-06-15から1日間の記事一覧
最終章「プログラムの論証」の練習問題です。ついに最後です。 9. 以下の型が与えられているとする data Tree = Leaf Int | Node Tree Tree この木の葉の個数は、節の個数よりも、常に1多いことを示す まず葉の個数を数える関数 countLeaf と、節の個数を数…
最終章「プログラムの論証」の練習問題です。ついに最後です。 9. 以下の型が与えられているとする data Tree = Leaf Int | Node Tree Tree この木の葉の個数は、節の個数よりも、常に1多いことを示す まず葉の個数を数える関数 countLeaf と、節の個数を数…