計算理論の基礎　［原著第３版］　計算可能性の理論 （２）