物事は形式化できれば後はアルゴリズムで解決できる、というふうに>>43は理解している

と理解してもいいのかな