>>233
＞Eiffelのassertionのようなものでも
＞人は難しい、かつめんどくさいと感じる。

＞人がプログラムを組んでいるときに、
＞全ての条件を想定しているわけではない

確かに。でもそれは言い訳じゃないかな。
ちゃんとデバッグする気があるんなら、
条件を想定するよね。全てとは限らないから
全部省略していいということにはならないよね。
わかっていることだけでも書かなかったら
なんにも情報がないよね。