睡眠可能性・睡眠の複雑さ入門

　プログラムの計算可能性とかを論じれるとめっちゃかっこいいんじゃないかと思い立ち、昨年度後期に履修した授業で使用した「計算可能性・計算の複雑さ入門」という教科書をここ2週間くらいちまちま読み直している。

　今のところ最高の睡眠導入剤であるという感想しかない。浅学ぶりが見て取れる。

（追記）2013-12-28：読み終えた。命題論理で殴られると死ぬということがわかった。