部分分数分解自体は昔からあるとおもうけど