@RefineInkは導出の符号誤りを見つけるのが非常に優れており、一度か一度実行するとすべての符号誤りが魔法のように消えます