という名の オブジェクトデザイン 勉強会。 http://wiki.fdiary.net/ObjectDesignReading/?ObjectDesingReading02勉強会での疑問点・感想とあとで確認したこと。 1.5 オブジェクトの契約 よくある事前条件と事後条件。 形式手法って、これを形式言語を使って…