べき乗のSpecを有効にした．