が一週間強ほど来ています。MLとかCCSとかπ計算とかを考えたMilnerさんの一番弟子で、π計算の双模倣とかの専門家です。（講演以外は）ほとんど何も用意していなかったので、時間が余るかも…とか思っていたら大間違いで、超高密度のテクニカルな議論が続きま…

が微妙に不調です。ノートPCをサスペンド＆レジュームしまくるとCPU使用率100%になったり、Firefoxからだけファイル→印刷→（プリンタの）プロパティが開けなくなったりします。調べれば何かわかるのかもしれませんが。むう。

自分がmoderateしているメーリングリストが、ソフトウェア工学のメーリングリストに勝手に登録されて、関係のない学会のアナウンスをrejectするのが面倒になってきたので、手動でunsubscribeしてみた。また勝手に登録されるかどうか。