つまり契約によるプログラミング(contract programming)が出来るということだぉ
なんか勘違いしてるかもしれないぉ

（´д`）ｓｓｓすみません直ぐに片付けます