「計算できるもの、計算できないもの――実践的アプローチによる計算理論入門」Christmas eveに出版されるの、誰かに買ってプレゼントして欲しい... (原著、O'ReillyじゃないのでUS O'Reillyで読めない...orz)
https://www.oreilly.co.jp/books/9784873119335/