この問題は解を与える式と実装の距離が遠く感じましたね