故障したHDDを交換しにDellの人が来た。アポが10時だと思ってて諸般の事情により（謎）遅れて慌てたが実は11時だったらしい。いよいよ痴呆進行中か。;_; 修理の横でMinCamlのエスケープ解析（僕じゃなくてTAの人のアイディア）の健全性証明について考える。…

これは検証しても駄目だなあ（当たり前）。構造計算結果偽造のニュースのときは、誰でも「電子署名しろよ！」って思っただろうけど…