再帰的に枚挙可能