えー、静的に保証せずに実行時例外飛ばすのでいいわけ……