``一意な文字列''

雑多な事柄

2013-12-16から1日間の記事一覧

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

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