2005-10-14 [長年日記]
λ. 単純型つきλ計算の強正規性の初等的な証明
<URL:http://www.lama.univ-savoie.fr/sitelama/Membres/pages_web/DAVID/ftp/sn.ps>
欝っぽい日記 別館 (2005-10-14) より。おー、短い。
λ. ラップトップのWindowsが起動しなくなった (2)
ラップトップは生協で修理に出した。 週末だから週明けから一週間くらいかかるそうだ。 その間どうすっかなぁ。
昨日ddでダンプしたディスクイメージを別のWindowsマシンのパーティションに書き出す*1。そのマシンのWindowsを起動すると、chkdiskが走って盛大なエラーを報告してくれる。で、Windowsで表示してみると、思ったよりも無事のファイルが多いけど、盛大に消えてるところもあるな。最近のメッセンジャのログとかは全滅っぽい。
ファイナルデータとかを使うと復旧できるのかも知れないけど、買ってくるの面倒くさいな(ぉぃ
*1 ところで、NTFSのディスクイメージを直接マウント出来るツールとかってないのかな?
なに聞くの？えーご？
僕だって音楽くらい聴くさ……多分。<br>英語も聴くと思うけど。
こんにちは、田中です。<br>慶応sfcでの圏論勉強会に参加した者です。<br>単純型つきλ計算の強正規性の初等的な証明、ですが、<br>よく分からない点があります。<br>lemma2で、文字ｃの上に矢印が矢印がありますが、何の意味<br>でしょうか。<br>(最初で躓いています)
こんにちは。お久しぶりです。<br>矢印はn個のλ式をベクトル風の表記で書いているだけだと思います。