日報

• 故障したHDDを交換しにDellの人が来た。アポが10時だと思ってて諸般の事情により（謎）遅れて慌てたが実は11時だったらしい。いよいよ痴呆進行中か。;_;
• 修理の横でMinCamlのエスケープ解析（僕じゃなくてTAの人のアイディア）の健全性証明について考える。いろいろと勘違いして遠回りしたが、どうやら結果は簡単になってうまくいきそう？
• Dellのマシンは、なぜか立ち上がらなくてメモリやCPUも抜き差ししてたが、何とかWindowsのインストールまで終わったようなので、残りを超インストールしまくり。再起動地獄。Windows Update→ウィルス対策ソフト→Firefox→Office→Microsoft Update→Acrobat→VMware→ASTEC-X→Mayu→SoW→携帯シンクロソフト→プリンタドライバ→…
• 卒論の関係で、別のマシンにCashをインストール。標準のOCamlではin_channelをselectできないから駄目なのです。OCaml→findlib→PCRE→OCamlのPCRE→Cstr（CVSバージョンじゃないと入らなかった）→Cash（同じくCVSバージョン）。
• 疲れた。もうインストールはいいです。