>>232
>証明を書くのが大変だというけど、プログラムを書く以上に
>大変なわけではないよ
それはどうかな。Eiffelのassertionのようなものでも人は
難しい、かつめんどくさいと感じる。人がプログラムを組んでいる
ときに、全ての条件を想定しているわけではないという事実を
もっとよく見ておく考えておく必要がある。