基本的にはこれら３点セットはDesign by Contractのもので、仕様を明確に記述するための方法です。 で、その副産物として、実行時にその式を評価することにより動的に検証することができます。これはassertの効果と似ています。 では、assertで代用できるで…

http://d.hatena.ne.jp/koichik/20040405#1081174886 最近になって財前教授のおっしゃられたことが分かってきました。：−）