日々の流転

λ. ふと、こないだ買ったデジカメを写真に撮ろうとして、カメラ自身を撮影するには別のカメラが必要だということに気がついて、自分の阿呆さ加減に愕然とする。まあ、今に始まったわけじゃないけど。

λ. ガイアー

ということらしいので、そのマーズという漫画を本屋で探してみよっと。

λ. 読んだコミックス

『サイレント・メビウス SIDE9』

『サイレント・メビウス SIDE10』

麻宮騎亜

『ジャングルはいつもハレのちグゥ 4』

金田一蓮十郎

λ. 今朝の夢

「俺は負け犬じゃ無い!!」と執拗に叫び続ける夢を見た。俺はきっと負け犬なんだろうな。

λ. 東方永夜抄のスペルカード取得率

「幻朧月睨(ルナティックレッドアイズ)」ゲット。これで取得/挑戦可能/総数が200/207/222。

λ. 『輝ける日々』, ダニエル・スティール(Danielle Steel) [著], 畑 正憲 [訳]

読了。

λ. 研究

しなくちゃなぁ。

λ. Freek Wiedijk. Comparing mathematical provers

を読んだ。各種のシステムの大雑把な比較。個々のシステムの詳細について触れられていないのは残念だけど、A rather subjective two-dimensional diagram は分かりやすかった。

λ. 「時間を無作為にすごす」 by addie

今日の迷言。

λ. カタンに初挑戦

こんなに面白いゲームだとは知らなかった。3ゲームやって一回も勝てなかったのは残念だけど、またやりたい。特に最後のゲームはyaizawaさんに longest road を奪い返されて負けたのが悔しい。こんなことだったら道を伸ばしておくんだった……次に家を建てるか都市化しようと思ってカードを温存して道を伸ばさなかったのだけど、後の祭り。

λ. ロジック プログラミング (1)

今期は古川先生がサバティカルなので、古川研から人が何人か来ていた。

ちなみに、参考書はこの本。

λ. 今日の向井研

今期はHaskellをやるらしいので久しぶりに顔を出してみる。さかいくん(≠私)を目撃できるかと思ったが、残念ながら目撃できなかった。向井先生は圏論の効用を語るのに例のオートマトンと余代数の話をしていた。 Aczelがhypersetという名前をあまり好きでなかった一方、Barwiseはそのような存在に対する信念があったらしいとか。 それからコルメラワー(Alain Colmerauer)の無限木の理論との対応(?)とか。

Lambek計算に関して「Language & Grammar : Studies in Mathematical Linguistics and Natural Language」という本を紹介してもらった。

λ. ベルビュー・クリーク ＠EUROPEAN BEER CAFE 新宿フリゴ

λ. 『寄生獣 (8)』 by 岩明 均

を読んだ。

λ. 日本のスイッチ最終回

日本のスイッチ、今年に入ってからはほぼ毎週やっていたんだけど、終わっちゃうのね……

λ. 栗ご飯

栗ご飯おいしい。