Design by Contract をご存知だろうか？契約による設計と言うやつで、不変表明・事前条件・事後条件で構成される。Eiffelという言語では言語レベルでサポートされているが、Javaでは対応されていない。(assertがそれにあたるのか？)とりあえず、本当に対応し…