田島圭「自然数を引く」