日々の流転

λ. E*TRADEのキャンペーン

E*TRADEがフレッシュマンキャンペーンと称して、抽選でAmazonギフト券が3,000円当たるというのをやっていたので、久しぶりに取引した上で申し込んでみた。

ついでに気付いたのだが、E*TRADEはウィルコムストアの優待販売なんてのもやっていた。先日6,800円で買ったAX420Nは2,800円で売ってる……不覚。

λ. 大分五日目

今日は私たちの教育担当の方がいろいろと連れて行ってくれることに。 とても楽しみ。

お昼に「天まで上がれ」というところでセキサバ・セキアジを食べる。 活作りだったので新鮮で、とても美味しかった。

その後、臼井石仏を観光。

最後に、富士見水産でお土産のお魚を検討。結局買わなかったけど。

寮に帰ってから、会社のプールで泳いできた。久しぶりなので軽く1kmくらい泳いだだけなのだけど、明日(大胸筋と上腕三頭筋あたりが)筋肉痛になりそうな感じ。体がなまりきってる。遠山さんと同じ?

λ. 関連

• <URL:http://mixi.jp/view_diary.pl?id=431288458&owner_id=1577475>

λ. Chapter 9 の練習問題6

Φ: A→B をフレーム準同型として、その右随伴 Ψ: B→A を Ψ(b) = ⋁{a∈A | Φ(a)≦b} で定義する。

このとき、Φ(a)≦b ⇔ a≦Ψ(b) が成り立つ(つまり圏論の意味での随伴になっている)。

• Φ(a)≦b ならば a ≦ ⋁{a∈A | Φ(a)≦b} = Ψ(b)
• a≦Ψ(b) ならば Φ(a) ≦ Φ(Ψ(b)) = Φ(⋁{a∈A | Φ(a)≦b}) ≦ ⋁{Φ(a) | a∈A, Φ(a)≦b} ≦ b

このとき、Ψは任意のmeetを保存する。 なぜなら a≦Ψ(⋀S) ⇔ Φ(a)≦⋀S ⇔ Φ(a)≦b for all b∈S ⇔ a≦Ψ(b) for all b∈S ⇔ a≦⋀{Ψb | b∈S} であり、 ここで a は任意なので Ψ(⋀S) = ⋀{Ψb | b∈S} を得られるので。

ただし、Ψはjoinを保存するとは限らない。 例えば、A={false < α < true}, B={false < true} として、Φ(α)=false とおくと、Ψ(false) = ⋁{a | Φ(a)≦false} = false∨α = α ≠ false となる。false すなわち empty join が保存されていない。 (binary join についての例も後で考える)

λ. サーバ障害

ここしばらくは問題なかったので安心してたが、tomのサーバがまたトラブルを起こしたらしい。復旧作業にあたった方々は本当にお疲れ様&ありがとうございました。しかし、RAID1を組んでるディスクが二つ同時にお亡くなりになるなんて、本当にあるんだねぇ。おそろしや、おそろしや……

というわけで(?)、トラブルのせいで一時 404 Not Found になっていたけど、別にtomを卒業したわけじゃないっす。

関連

• chikoさんのmixi日記
• torryさんのmixi日記

λ. Hints for Computer System Design by Butler W. Lampson

システム・ソフトウェアの講義資料にあったので読んだ。 わかっちゃいるけど、なかなかこの通りにはいかないんだよなぁ。 あと、具体例としてあがっているシステムの話が面白い。