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

日々の流転


2002-03-20 [長年日記]

λ. clean up of κ208

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

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

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

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

Tags: tom

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

を読んだ。

ナイーヴ 1 (ジェッツコミックス)(二宮 ひかる) ナイーヴ 2 (ジェッツコミックス)(二宮 ひかる) ナイーヴ 3 (ジェッツコミックス)(二宮 ひかる)

Tags:

λ. GTM = Graduate Texts in Mathematics

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

Tags:

λ. 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. ってやつ」を使っているそうです。メモメモ φ(..;)

Tags: 圏論

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

本日のツッコミ(全4件) [ツッコミを入れる]
ψ chiko (2002-03-21 23:36)

ゲットしたマシンは,saimuneさんの開発マシンなので多分探せばJavaOSがあると思います.というか,彼はNetBSDで生活していて,開発もそれでしてましたー

ψ さかい (2002-03-22 01:02)

じゃ、探してみるかな。ワクワク……

ψ たかはし (2002-03-22 12:24)

おお、「Categories, Types and Structures」って<br>FTPで公開されてるんですね! 情報さんくすです>有野さんも。<br><br>ちなみに私は『数学 その形式と機能』が好きで、<br>マックレーンのカテゴリ本も(なぜか)持ってたりしますが、数学の<br>基礎的素養に致命的に欠けてるので未だちゃんと読めませんです……。

ψ さかい (2002-03-23 03:21)

『数学 その形式と機能』は良い本らしいですね。<br>僕もそのうち読んでみたいと思ってます。<br><br>> マックレーンのカテゴリ本も(なぜか)持ってたりしますが、数学の<br>> 基礎的素養に致命的に欠けてるので未だちゃんと読めませんです……。<br><br>どうせなので、この際、一緒にカテゴリ論を勉強しませんか?<br>……と、誘ってみる。<br># 僕も数学の素養という点では酷いもんです。