数学で演繹的にアルゴリズムを構築できるの?
できないでしょ