評価前後で型を変えたけど、バグの回避にはなっていない気がする