とにかく実装をしたくない
性質だけ記述したらそのとおり動くものを