日々の流転

λ. clean up of κ208

掃除したら色々出てきた。ベッド。謎の菓子。一升瓶。使いかけのリップ。SPAMの缶詰(?)。ケーブルの山! 山! 山!

とりあえず、机とマシンを確保出来たのでよしとする。ゲットしたのはサイムネさんマシン。なので、ひょっとしたらサイムネさんのJavaOSが稼働してるのかと思ったけど、普通のNetBSDでした。ちぇっ。このままNetBSDでも良いのだけど、どうせだからAsumiでも入れるかな。あとPlan9。

笑ったのは、某マシンでどうもハードディスクが認識されないと思ったら、ハードディスクに電源が繋ってなかったという事件。

[追記] この辺りとかこの辺りとかこの辺り。思い当たることばかりだ。うぅ、気を付けよ……

λ. 『ナイーヴ』 二宮ひかる

を読んだ。

λ. GTM = Graduate Texts in Mathematics

新堂さん、原さん、情報どうもありがとうございます。書影を見ると確かにでっかく「Graduate Texts in Mathematics」って書いてありますね。

λ. Categories, Types and Structures: an introduction to Category Theory for the working computer scientist.

有野さんは「ここの Categories, Types and Structures: an introduction to Category Theory for the working computer scientist. ってやつ」を使っているそうです。メモメモ φ(．．;)

• Selected publications by Giuseppe Longo
• 

λ. ところで、2/28に「数学のプラットフォーム争い」と書いたが、ちょうどその辺りの話を「黒木のなんでも掲示板2」で見つけた。この後に続く話は結構興味深い。

λ. 『日本の外交は国民に何を隠しているのか』 河辺一郎

を読んだ。

λ. Firefox で PDF を開こうとすると Could not launch Acrobat と言われる

なんか知らないが、Firefox で PDF を開こうとすると “Could not launch Acrobat” というエラーが発生するようになってしまった。

解決法を探してしばらく駈けずり回ったが、結局 MozillaZine Forumの書き込み を参考に、Acrobat Reader の 編集 → 環境設定 → インターネット → Webブラウザオプション の三つのチェックボックス「PDFをブラウザに表示」「Web表示用に最適化を許可」「バックグラウンドでのダウンロードを許可」を一回外して、もう一回チェックしなおしたら直った。

わけがわからん。 ……コンピュータなんか嫌いだっ。

λ. 萩野服部研納会

毎年年度末にやっている納会。 今年は中華ではなく北海道炉端と有機無農薬野菜の浜蔵というところで。 久しぶりに集まると、やっぱり楽しいものだな。