つくばのホテルを予約しておいた…と思ったら空きがなかったそうで振り替えられました。仙台での航空券手配も少し頼りなかったのですが（行き先がエストニアだったせいかも）、会社として大丈夫？？あと、国際学会なので連絡は英語だったのですが、お客さんに…

東大理情の授業資料（の一つ）として使っていた／使っている、MinCamlの擬似コードをアップロードしました。たとえMLだろうとソースコードだけでは「美しさ」がわからない！という人におすすめ。ところで、「擬」似コードなんでしょうか、それとも「疑」似コ…

λ計算、とか全角文字で入力するからいけないのでしょうか？（追伸：と思ったら、ちゃんとリンクされていました。）ちなみにアメリカ人はde Bruijnを「ド・ブラウン」、Dana Scottは「デイナ・スコット」とか発音しているようなのですが、原語(?)はどうなんで…

(setq mew-ssl-verify-level 0)しろ、などという「アドバイス」が出回っているようですが、たとえばDebianならca-certificatesパッケージをインストールとかして、(setq mew-ssl-cert-directory "/etc/ssl/certs")すればmew-ssl-verify-levelが2でもちゃんと…