Ｏ先生のスライドのスペルミスが一部で話題でしたが、偉い人ほど忙しくて読み直す（どころか誤変換を再変換する）暇すらないので、内容こそ重要ということで是非ともご理解(?)を…。Ｙ先生のメール等も、稀に本当に内容が判読できないぐらい誤字脱字があった…

http://www.jssst.or.jp/prod/software-papers-cfp.html 日本ソフトウェア科学会編集委員会は，ソフトウェア研究の深化を目指すのみならず，先進的なアイデアを実現したソフトウェアの開発と普及を一層推進することを目的として，学会誌『コンピュータソフト…

来週は海外出張なので「先に書く」。「後で書く」の双対(?)です。まだURLがないので連載目次を。11/8（水）頃に公開予定です。タイトルや内容はITproの編集により多少の変更があるかもしれません。またcontroversialな話題でビクビクしています（笑）。

少し前だが、またJavaScriptがキャッシュされて、編集画面のボタンが使えなくなっていた。キャッシュに有効期限を指定して、それにしたがって更新する等、はてな側で回避方法はないのだろうか…？

前にどう考えても通る人が落ちて？？？と思ったものだが（当時はブログが原因ではあるまい）、単に書くべきpublicationsを書かなかったためらしい。おめでとう。自分もブログなど書いていないで論文を書かねば…

http://homepages.inf.ed.ac.uk/wadler/topics/gj.html#oopsla (via http://wadler.blogspot.com/2006/11/faith-evolution-and-programming.html)ゲンツェンのnatural deductionからChurchのλ計算、Curry-Howard同型、Haskellのtype class (?)、Javaのgeneri…