計算理論の基礎＜原著第２版＞　計算可能性の理論 （２）