string のtokenize の修正