なおすべて自然数とする