トップ «前の日記(2002-03-05) 最新 次の日記(2002-03-07)» 月表示 編集

日々の流転


2002-03-06 [長年日記]

λ.果実かみの贈物」というチョコレートが美味しかった。

λ. そういえば、僕って進級出来るのかな? 考えてみればフェイルセーフとか全然考えずに履修選択をしてたんだよな。greedyな選択にはリスクが伴うのね。

λ. トラブル

色々足掻いてみたけれど結局ファイルシステムを修復する事は出来なかった。仕方ないのでリカバリCDを使って再インストール。インストールと設定に半日取られた。昨日の半日と合わせて一日無駄にした気分だ。ファイルシステムに重要なデータが保存されていなかったのがせめてもの救いか。

λ. blurb

そっか、"blurb"を「説明」と訳しているのね。

Tags: gimp

λ. A first introductin to categories

さらに読み進んで現在p.100辺り。残り約250ページ。まあ順調か。sectionとretraction関係で同じ話を何度か繰り返してるのがウザい。"Idenpotents as records of retracts"は素直に感心した。……でも、そろそろ飽きてきたので、早くfunctorとかnatural transformationとか出てこないかなぁ。

Tags: 圏論

λ. win32ole on Scheme

よくやるなぁ。

Tags: scheme