『甦るチューリング―コンピュータ科学に残された夢』
https://m.media-amazon.com/images/I/41KFYWF6GXL.jpg
https://www.amazon.co.jp/甦るチューリング―コンピュータ科学に残された夢-星野-力/dp/4757100795
著：星野 力
感想
https://github.com/lemonadern/book-review/releases/tag/1
2023-04-25
（記号）論理学と型と計算理論をかじった今になって読むと、あんまり内容は難しくない
むしろあまりに読み物的で物足りなくすらある