彼 は その 数式 を 有理化 する ため に 努力 して い ます 。