2012/7/3 リンク先修正Design by Contract（契約による設計）と書くと小難しく聞こえますが、メソッドをプログラミングする際に事前条件、事後条件、不変条件をきちっと定義して頑健なプログラムを書きましょうというものです。U.S.のdeveloperWorksの記事（…