MinCamlの話ばかり続いたので、マイレージおたくな話題を（おい）。ユナイテッド航空のマイル（ポイントのようなもの）やSystem Wide Upgrade（クーポンのようなもの）で、ルフトハンザ航空のフライトをアップグレード（エコノミークラスのチケットでビジネ…

研究室の人たちと芋煮会とやらの後に１３６個の直方体状の物体を組み合わせていたら夜が明けてしまいました。眠い＆足が痛い。場所提供者、サンクスです。

大昔にシステムエンジニアの叔父さんから「メタ言語って何」と聞かれ、？？？と思いつつ一般名詞としてのメタ言語について答えてしまったのですが、後から思うとプログラミング言語MLの話だったように思われます。宣伝の機会を損失して残念。

例によって「やる」といって手もつけていませんが、FDPE'05の発表のFuture Workで「IA-32対応」とかいったら、首を横に振る人やらブーイングやら、散々な反応でした。Xavier LeroyもOCamlメーリングリストで「brain-damaged instruction set architecture」…

前にも書いたかもしれませんが、かなり頓挫気味。とりあえずこっそりとsnapshotをおきました。頓挫の原因は、第一には私の怠惰ですが、言い訳すると「訳しはじめたら思ったよりつまらなかった」ということかも…

タリンでは日本の方々はもちろん、プログラム委員長＆前ボスのBenjamin Pierceやら、general chairのOlivier Danvyやら、今年のプログラミングコンテストを担当したRobby Findlerやら、Glasgow Haskell Compilerの作者のSimon Peyton Jonesやら、かなりの人…

は、少なくとも僕がご本人に聞いた限りでは、ACM/ICPCのほうが（直接の）対象だったようです。ICFPは修論にかかるような時期じゃないし。どちらにせよ研究もちゃんとやるべきなのは当然ですが。でも、僕にICFP（コンテストじゃなくて会議のほう）とかMLワー…

しました。なんか僕の席のAudio and Video on Demandが壊れていて（音とび・コマ落ちが激しくて使い物にならない）、お詫びとかいって５０ユーロの免税品券をくれたので、その場でおみやげを買ってしまいました。日ごろの行いでしょうか（←違う）。３位のチ…