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

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

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

参照用 記事

2011-02-01から1日間の記事一覧

デカルト圏の掛け算から作るインデックス付き圏の例

最近、圏論ネタの比率が高いなー。インデックス付き圏(indexed category)の例で、比較的簡単でとても役に立つモノを紹介します。コモナドからの余クライスリ構成の知識を前提とするので、あんまりself-containedじゃないですけど、関連する説明が次の記事…

Firefox: オフラインモードのリロード

インターネットに繋がってなくても、localhostを使ってナンかすることがあるんですが、そのときF5を押してもFirefoxがリロードしないことがあるんです。Firefoxがオフライン状態を検出して勝手にオフラインモードになるせい。オフラインではキャッシュを使っ…