[id:lethevert:20050715:p1]にいただいたid:emeitchさんのコメントを見て、Eiffelというプログラミング言語を調べてみました。でも、あまり情報がないようです。"Design by Contract"についても、Eiffelでどのように実装されているかよりも、Javaでどのよう…