muratak

みなさん PPL 好きすぎでは。

言語のマスコットキャラクターではないけど、じぇねらるたんはかわいいと思う人が多そう。

雪 + 夜 + 灯り　の組み合わせが好きすぎるので、札幌にいたとには、よく冬の深夜徘徊していたのを思い出した。

かわいいアイコンの人に like されるとなんとなく嬉しいので，自分もかわいいアイコンにした方が良いのかもしれないということをふと思った．

まあ，乗りかかった船なので，ほぼ Coq の説明になろうとも，アイデアの説明ぐらいまでは記事にできたら良いなと思ってます．

で，Capretta の Y コンビネータ（というのは本人がそういってるからで，本当は delay-fix とでもよぶべきものだと思うけど）の話とかも面白いので解説しても良いけど，そもそも Delay が普通に理解できる人は（Capretta の解説はわかりやすいので）論文読めば普通に理解できるだろうと言う．

Delay モナドの解説記事でも描こうかなと思ってガーッと途中まで書いたけど，ほぼ Coq の Inductive / Fixpoint と CoInductive / CoFixpoint の説明になっておる（これが理解できている人には Delay は一瞬で理解できるので，それはそう）．

大体の論文は、そこから期末試験みたいなの作るのって難しいのではないかと思う。

自分の論文を読ませてその内容についての理解度テストするの、新しいですね（）

久しぶりに2日間寝てはゲームの練習をするという充実した（？）休日を過ごしたので、明日から平常運転に戻っていきたい。

師匠その１に戴いた書道字典をどっかにやったかもしれない（おい

色々な意見がありますが私は平成明朝体大好きです。

お、てか平成明朝体使えるようになってるのか、と思ったら、これは TypeBank Passport を契約しないと使えないのかあ。

モリサワの学割パックの契約が切れたのだが、1/4 くらいの金額になる優待があるっぽくて、それを使って通常のモリサワパスポートを契約しようか検討中。