誰か検算してくれ、と書いたが、よく考えればMathematicaに検算させればいいんじゃないか。俺はどうも数式…