2008-07-14から1日間の記事一覧

Problem60 - Project Euler(途中)

30分プログラム、その339。Problem 60 - Porject Euler。id:mzp:20080713:eulerの続き。 エラトステネスの古いが、再起が深すぎてRuntimeエラーがでてしまうのでwhileで書き直したりしてみたけれど、そもそもこれだと遅すぎで全然解けない。別の方法を考えな…

契約によるプログラミングとQuickCheckは相性がいいんじゃないだろうか

EffeleとD言語ぐらいしかサポートしている言語は知らないけれど、契約によるプログラミングというのがある。(噂によるとassertさえあれば、契約によるプログラミングだ、と言いはってもいいらしいけど。) これを使うと、関数に入るときに満しているべき事前…