日々の流転

λ. 携帯が故障

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

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

λ. ネクロファンタジア

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

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

λ. 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: C^op×C→C の最小不動点は、G: C^op→C, G(X) = μF(X,-) とおくと、μG² と同型なんだそうだ。でも、いまいち良く分からなかったので、Peter Freyd. Recursive types reduced to inductive types. を探すかなぁ……