水素水飲み放題 2021年2月21日の日記
*
今日はあまりに眠気が強いので手短にいこうと思う。いくら寝ても寝たりない。なんなんだ。
*
高岡詠子の『チューリングの計算理論入門』を読んだ。本当に手取り足取りな入門書だったけれど、おかげで万能チューリングマシンの概要がつかめたような気がする。「計算できる」ということを数学的なモデルで示すための条件など、知りたかったことも綺麗にまとまっていたので満足。参考文献も充実していたのでそちらから勉強を進めてもいいかもしれない。最近は小説と併行してエッセイや新書、評論なんかも読