>1000000 回かけてみたところ, user time は 13.9s から 12.4s に減りました. ところで、どうやって時間をはかってます? time ではかると u + s が実時間を越えたりしますよね。 # 原因はだいたいわかってるんだけど…。