契約
Contract
インターフェース
表明
https://ja.wikipedia.org/wiki/契約プログラミング