xが複素数実数の定義であり死刑