mk2481

契約プログラミングを意識するとオブジェクト指向になるかも知れないと思った話