επιστημηさんのエントリに書き込めなかったのでここに描いてみるテスト。

契約プログラミングの話。

事前条件ってのは
自分の仕事に必要なものを与えられたかチェックってやつね。
引数チェックですね。ArgmentExceptionなげてるかな。

で、事後条件。
これって自分がやった仕事に対するチェックですよね。
つまり自分の処理を逆にたどって元に戻る感じですか？（計算誤差はあるけど。）

ばらばらのるーびっくきゅーぶを色で揃えたあと逆手順でやると元に戻るよね？みたいな感じですか？