2009年05月28日の記事内容の訂正とおわび

2009年05月28日の記事「制約指定で意図しない制約が生まれる!? 」の末尾の部分で、「直交表で制約をサポートした場合も同じ結果になると思います。」とありますが、この記述は読者の方に誤解を抱かせる記述ですので、この部分を削除しました。

直交表ベースのHAYST法では、この記述は当てはまりません。矛盾したパラメータEの値にはNULLが割り当てられ、パラメータＡとパラメータＢの値が１と２、２と２の組み合わせがNULLとの組み合わせとして網羅される結果となります。

この点はPICTにはないHAYST法の長所です。なお、少なからぬ方々に誤解の念を抱かせる結果になったことに対して、HAYST法の開発者の方々、とりわけ秋山さんにお詫び申し上げます。