結果 : python cast list of strings to list of ints