2011-02-01から1日間の記事一覧
最近、圏論ネタの比率が高いなー。インデックス付き圏(indexed category)の例で、比較的簡単でとても役に立つモノを紹介します。コモナドからの余クライスリ構成の知識を前提とするので、あんまりself-containedじゃないですけど、関連する説明が次の記事…
インターネットに繋がってなくても、localhostを使ってナンかすることがあるんですが、そのときF5を押してもFirefoxがリロードしないことがあるんです。Firefoxがオフライン状態を検出して勝手にオフラインモードになるせい。オフラインではキャッシュを使っ…