(2)ラップトップは生協で修理に出した。週末だから週明けから一週間くらいかかるそうだ。その間どうすっかなぁ。昨日ddでダンプしたディスクイメージを別のWindowsマシンのパーティションに書き出す*1。そのマシンのWindowsを起動すると、chkdiskが走って盛大なエラーを報告してくれる。Windowsで表示してみると、思ったよりも無事のファイルが多いけど、盛大に消えてるところもあるな。最近のメッセンジャのログとかは全滅っぽい。02:50)僕だって音楽くらい聴くさ......多分。<br>英語も聴くと思うけど。09:54)こんにちは、田中です。<br>慶応sfcでの圏論勉強会に参加した者です。<br>単純型つきλ計算の強正規性の初等的な証明、ですが、<br>よく分からない点があります。<br>lemma2で、文字cの上に矢印が矢印がありますが、何の意味<br>でしょうか。17:20)こんにちは。<br>矢印はn個のλ式をベクトル風の表記で書いているだけだと思います。(はてな版)日記は現代の病です。読み過ぎ書き過ぎはあなたの健康を害する恐れがあります。2.2.10-p489。