計算可能性理論

現実時間内に計算できるかどうか