Theory-of-Computation

チューリングマシンと計算可能性理論：アラン・チューリングの思考実験と「停止性問題」