いやそれ自然数じゃん