この計算は絶対に繰り上がりがあるようになっているのかな