>>636
少なくとも計算定理なら有限長で成り立つなら計算機の中で使える
それなら計算機に頑張らせればいいし