仕様変更時に型エラーを生じさせる