Erlangで実装された軽量なWebサーバーYAWSを、Windows上で動かすことができます。そのやり方は、次の2つの記事で説明されています。 http://yaws.hyber.org/wiki/showPage.yaws?node=YawsAndCygwin http://yaws.hyber.org/wiki/showPage.yaws?node=YawsAndWi…

右側のサイドバー「注目のエントリー」の表示と、エントリー自体のブックマーク数表示が食い違っている（Nov 07 12:31:30 2008時点）。http://b.hatena.ne.jp/bookmarklist で新着ブックマークを確認するかと、「URLで絞り込み」に自分のURLを入れようとした…

直積を持つ圏に終対象があれば、その終対象は直積の単位になります。この逆はどうでしょうか。つまり、直積の単位は終対象になるか？ なりません。練習問題として反例を作ってみました*1。実は、微妙なところを詰め切れてない気がするけど、まーいいや。たぶ…