972 計算理論 (Theory of Computation)