t_wの輪郭

外部化契約プログラミング
契約プログラミングの契約を述語化