日々の流転

λ. 読書

『藍より青し』1巻〜8巻

文月 晃 [著]

『ソムリエ 1』

『ソムリエ 2』

城 アラキ, 甲斐谷 忍 [著]

λ. ゲームプログラミング

シューティングゲームの敵キャラや敵弾の動作は結構複雑なので、メインループやイベントハンドラの中に細切れになった形でコードを書くのが嫌だなぁ。なので、コルーチン(もどき)をスレッドを使って実装して、それを使って書くことにした。ただ、継続を使ってコルーチンを実装するのに比べて、Javaのスレッドで実装するのは少し不安。というのは、Schemeなんかの継続が自由に捨てられたのに対して、Javaのスレッドの場合、終了せずにwait()したままのスレッドって、きっと解放されない……よね?

λ. ドイツ語

その辺りにあった適当な袋にお弁当を入れて持ってきていたら、その袋に「とらのあな」という文字が印刷されている事を加賀野井君に指摘されて焦る。全然気がついてませんでしたよ。この袋をぶら下げながら、学校に来たと思うとかなり恥ずかしいぞ。ちなみに、誤解のないように言っとくと、私はとらのあななんて行ったことありませんですよ、ええ。

λ. 『ソムリエ (2)』　城 アラキ, 甲斐谷 忍 [著]

を読んだ。

λ. 買った本

『Topology Via Logic』

Steven Vickers [著]

『裸でゴメンね』

THE SEIJI [著]

『ベルセルク 25』

三浦 建太郎 [著]

Amazonからの発送のお知らせメールが来ないなぁ……と思ったら、商品が到着してから発送のお知らせメールがきたのですが……

λ. 極限?

結局、

• 極限(limit) = 逆極限(inverse limit) = 射影極限(projective limit)
• 余極限(colimit) = 順極限(direct limit) = 帰納極限(inductive limit)

って事なのか。limit と inverse limit が同じものを指しているなんて、 なんて酷い名前付けなんだっ(泣)

【2006-04-23追記】檜山さんのグロッサランダム（Glossarandom）でも「75. ‘順極限（帰納的極限）’と‘逆極限（射影的極限）’という言葉がある。圏論的には、逆極限が‘極限’で順極限が‘余極限’、って、どういうことコレ？」と書いてあった。やっぱ、そう思うよなぁ。

λ. On coalgebra based on classes (J. Adámek, S. Milius, J.Velebil)

という論文を向井先生に紹介される。「Don't Be Afraid of Classes 」というフレーズが向井先生の心をとらえたらしい(笑)。それから、こないだメモしてまだ読んでいなかったFinal Coalgebras And a Solution Theorem for Arbitrary Endofunctors と同じ著者だった事に驚く。

λ. ヒキコモリ健康法

タイトルをみて爆笑してしまった。

λ. friday_night

今日もビリヤード。

λ. 夕食

豊田さんと久しぶりに豚菜に行こうかと思ったら、混んでいたので、倉吉でお好み焼き。食べたのは「もちチーズ玉」と「山かけ玉(豚肉のとろろのせ)」。お好み焼きにとろろがこんなに合うなんて知らなかった。

λ. ゲームプログラミング

これまで実装していない部分が思っていたよりも随分手ごわく、あと30分、あと30分とか思ってやっているやっているうちに随分遅くなってしまった。まだまだゲームの出来自体にもコードにもかなり不満はあるのだけど、気力が尽きたので12時頃になって提出。も〜ど〜でもい〜や〜。

しかし、もうバスもないし、小田急の終電にも間に合わないよ〜。ひょっとして残留しなくちゃいけないかなぁ……と思ったら、U女史が車で送ってくださることになり助かった。Uさんと二人きりで夜のドライブですよ。しかも考えてみたら七夕の夜なわけですよ。ドキドキ、バクバク……

λ. 夢

自分の心臓が突然止まってしまう夢を何度も何度も見る。切ない。

λ. ドイツ語

今日は発話試験。あらかじめ指定されていた3つのテーマのうちから一つを指定されて、それについて会話を先生の前で発表する形式。内容が発表されてから一週間なかったので、パートナーともなかなか都合が合わず、あまり準備出来なかったのだけど、なんとか無事に済ませることが出来た。結構緊張したのだけど、先生がクンスト先生で助かった。

ちなみに、指定されたテーマは「Was hast du in den Sommerferien vor?」で、 一番ネタな会話を用意していたテーマだけあって、結構先生もうけてた。

λ. ミクロ経済Ⅲ

テスト大失敗。なんだか頭がボーっとして、集中できなかった。落ち着いて考えれば解ける問題だけに悔しい。悩みが「A欲しいなぁ」から「単位くるかなぁ」に変わってしまった。(T_T)

λ. friday_noon

……頓挫。中村さんにミスドでドーナツをおごってもらう。

λ. friday_night

friday_noonのはずだったのに、いつの間にかfriday_nightに...

まずは、藤沢ボウルでボーリング。1ゲーム目は「100点以下の人は (100-得点) 本の論文を書く」、2ゲーム目は「合計得点が250点以下の人は、(250-得点)×100 行のコードを書く」という、良く分からんペナルティを設定してみた。ペナルティを設定したら、とたんにみんなストライクを出したりして、「そんなに論文書きたくないのかっ(笑)」とか言いあってみたり。

その後、Jパスタで夕食。「チキンのカリビアントマトソーススパゲティ」他。

λ. バイト

shiftという所でバイトすることに。

λ. 向井研最終レポート

必死になって仕上げる。下らないことで時間をくってしまったせいで、かなりギリギリになってしまった。締め切りを数時間オーバして、ようやくレポートをメールできた。

その下らない事というのは、An Introduction to Domain Theory - Notes for a Short Course (Corso di TEORIA DEI DOMINI E SUE APPLICAZIONI / Prof. M. Mislove) の projective diagram と projective limit のところで、任意の有限部分集合が最小上界を持つ半順序集合を directed set と呼んでいて、directed set D を形とするようなダイアグラム Δ: D→C を projective diagram と呼んでいるのだけど、このダイアグラムの射の向きを逆に考えてた事。正しい射の向きは大きいほうから小さいほうへなのだけど、その逆だと勘違いしていた。

だって、その直前で、半順序集合のadjoint 「f(a)≦b ⇔ a≦g(b) 」を、圏論でのadjoint「Hom_D(F(A), B) ~= Hom_C(A,G(B))」とみなせるというような話があったので、そりゃ小さいほうから大きいほうへ向かうと考えたくなるじゃん。

λ. 最近の妖々夢

• th7_01.rpy
• th7_02.rpy
• th7_03.rpy

λ. 気がついたら一日が終わっていた。俺はいったい何をしてたんだろう。

λ. 寝坊。

λ. 田中先生飲み

田中先生と「線形の理論」「数学基礎」のSAで新宿へ飲みに行く。「さいぞう」(ozmall,Yahoo!グルメ)というちょっと変わった雰囲気の居酒屋へ。伊藤君が数学を熱く語るので、応戦してみたり。それにしても、伊藤君がこんなに天然だとは知らなかった。

帰りは、最後のモノレールに間に合わないかと思ったけど、和田さんに教えてもらって、なんとか最後のモノレールに間に合う。おかげで藤沢から歩いて帰るという事態を回避できた。感謝感激なり。

λ. 現代数学の最終レポートを提出しに学校へ。学校にくる途中に直江さんそっくりの顔をした女の子を見かける。学校にくる途中に証明の穴に気がついて鬱。学校についてから研究室でなんとか穴を繕う。本質的な問題ではなかったようで、簡単に塞がる。もうちょっと説明を足したほうが良いような気もするけど、他にもやらなくちゃいけないことは沢山あるので、提出してしまう。

λ. 今日のひとこと

「るろうにtakoty」。誰が言ってたんだっけなぁ……

λ. 萩野服部研最終発表

明日の最終発表どうしよう。まだ発表資料はおろか、実装すら影も形もないのです。やばすぎ。明日はマジで逃亡するかも。

λ. 萩野服部研の最終発表とか

最初は、最終発表用のコードを真面目に書いてたのだけど、疲労と睡眠不足からか、ある瞬間に何か「ほわ〜ん」として何もかもどうでも良くなってしまった。で、ぼーっとしていたら、気がついたら眠ってて、目が覚めたらすでに夕方4時でございました。で、スッキリした頭で自己嫌悪。

chikoさん、takotさん、せっかく連絡を頂いたのに、申し訳ありませんでした。

それにしても、学期の最後がこれだなんて、後味悪すぎ。

λ. 歯医者

詰め物がだいぶ前に取れてしまっていたのを思い出して、歯医者に言ってきた。で、泣きたくなる。詰め物が取れた部分が虫歯になっていたのはまぁ良いとして(いや良くはないけど)、右下の親知らずがヤバイ事になっているそうだ。この親知らずが手前に傾いて生えて、その手前の奥歯を圧迫してしまっていて、その奥歯のそっち側が結構溶けてしまってるとか。で、外科的な手術が必要そうで「両方抜いて奥歯の位置に親知らずを移植する」事が可能か大学病院の先生と相談とか……

夏休み気分が一気に吹き飛んだよ。(T_T)

λ. 雨が上がる。読書を中断して晴れ上がった空を見上げると、どこからか蝉の鳴き声が聴こえてくる。じめじめして重苦しかっただけの空気も、いつのまにか照り返すような熱気を伝えてくる。もう梅雨はあけたのだったろうか

λ. (use-syntax (ice-9 syncase))

Guile でdefine-syntaxとかを使うには (use-syntax (ice-9 syncase)) としておかなくてはいけないのか。知らずにちょっとはまった。

λ. どせいさんフォント

メモ。