高木数学的には虚軸上の点も実数なのか