派生クラスでオーバーロードした関数の返り値などは、基本クラスで約束されたものの範囲でなければいけない。