エイリアンって数学的に定義されてないのか...