このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

参照用 記事

2010-10-21から1日間の記事一覧

Caty/Python Public-Preview 1.0.0 @ Chimaira.org

Caty/Python リリース8か9か(バージョン Public-Preview 1.0.0)をまたコソッと公開します。リリース番号の管理がいいかげんで、実はこれが9回目のリリースですが、前回はリリース7とか書いてしまいました。バージョン番号の区切りがいいことには何の意味も…

さまざまな忘却関手

twitter上で忘却関手の話が出てたのでコッチで反応します。バエズがどこかで言ってました、「『忘却』のちゃんとした定義は難しい」と。関手の充満性/忠実性を使うとか、自由と忘却の随伴(自由 -| 忘却)に根拠を求めるとかありますが、それで全てかどうか…