とある（まっとうな）研究者の人に頼まれて、TCSというジャーナルとMFPSという会議のproceedingsに論文を投稿というか寄稿して、acceptされたというメールやサインいりFAXまでもらったのですが（人事の関係で必要だったので）、もうかなり音沙汰がありません…

Unisonという（OCamlで開発されて定理証明までされた）ファイル同期ソフトhttp://www.cis.upenn.edu/~bcpierce/unison/のLinuxバイナリが、uname -aがlinuxではなくLinuxを返すマシンがサーバだとチェックに引っかかってしまい、ソースからコンパイルするの…