2004-10-08 条件(追加) 言語 事前/後条件について一つ重要なことに気が付いた。 パラメータ付き型整合性による検証が(より原始的な)assertによる検証よりも優れているのは、事前/後条件が外部に公開されているという点である。