Agdaは現在開発真っ最中の言語で、昨日停止判定を合格しなかったプログラムが、今日の最新版では合格していたりすることが結構あります。例えば、ヒビルテさんのところの2006年3月25日*1に「アッカーマン関数の停止性を認識できない」と書かれていますが、現…

暖かい日。花粉も飛んでいるが、湿度が高いおかげで思ったほどではない。起床は9時半、出勤して論文読みと原稿作り、意外と進む。21時半に帰宅、夕食は肉団子のスープとマカロニサラダ。 食後、Cと「俗・絶望先生」の録画を見る。最近、Cが声優ネタに反応し…