みなさんの感想・言及に感謝しつつリンクします！ 感想：何よりそれぞれの章末のまとめの会話が秀逸。私個人としては、停止判定問題の証明は感動したね。 http://homepage1.nifty.com/maname/log/200504.html#010016p6 ひさしぶりの自腹購入．ぼつぼつ読んで…