解決するアルゴリズムがないことが証明されている問題はどうやって解決するんだね。