preconditionとassertの使い分けは今でも迷うなあ・・・