トップ «前の日記(2004-07-01) 最新 次の日記(2004-07-04)» 月表示 編集

日々の流転


2004-07-03 [長年日記]

λ. 携帯が故障

充電してたらいつの間にか電源が入らなくなっていた。近くの電気屋に持ってったけどダメっぽかったので、新しいのを買った。電源が入らなかったのでデータを救出することも出来ずアドレス帳とかが全部パーに。orz

そんな訳で、お手数ですが、友人知人関係のみなさま、お手空きのおりに私の携帯メール宛にでも電話番号/メールアドレスをご通知いただけるとありがたいです。

λ. ネクロファンタジア

白と黒の夢郷の青汁さんのこの絵と文を読んで、無性に「ネクロファンタジア」(少女幻葬じゃない方)が聴きたくなり、久しぶりに妖々夢のPhantasmをプレイ。あー、「妖々跋扈 〜 Who done it!」も懐かしい。いいね、いいね。

ってな感じでプレイしてたら「弾幕結界」とれた(th7_udsa15.rpy)。第四段階は辛いのでレザマリの人の安地に逃げちゃったけどね(テヘッ)。というわけで、これでスペルカード取得枚数141/141。

Tags: 東方

λ. Bananas in Space: extending Fold and Unfold to Exponential Types

fixed points of difunctors can be expressed in terms of fixed points of covariant functors. って所にちと興味を持って眺めてみる。endo-difunctor F: Cop×C→C の最小不動点は、G: Cop→C, G(X) = μF(X,-) とおくと、μG2 と同型なんだそうだ。でも、いまいち良く分からなかったので、Peter Freyd. Recursive types reduced to inductive types. を探すかなぁ……

Tags: 論文