http://caml.inria.fr/pub/ml-archives/caml-list/1996/09/6fe7d80e0e84d33d8f84ce6923904873.en.html > If we take all finite and infinite lists, one would take the > terminal co--algebra or greatest fixpoint semantics.Hmph. If it's not the leas…

友人経由。http://gigazine.net/index.php?/news/comments/20060916_mathematics_genius/ http://immense-world.blogspot.com/2006/09/mathematics-genius.htmlこんな答案を採点させられたら、思わず点をあげたくなる衝動を我慢できるかどうか…？

うちのクルマにもETCを導入しようかと。初めの頃は「誰も使わない」「税金の無駄」などと言われていた気もしますが、あれは本当に便利そうだ。

あろはさんがreferされていたお話。どこに書いたら良いのかわからないので、ちょっとこちらで。（soutaroさんの研究は自分の研究じゃないのでわかりませんが）「一般には」、まさに静的に型つけできる部分とできない部分の折り合いをつけるために、たとえばs…

mailmanで運用しているPEPTメーリングリストの通知が、Gmailでspamに分類されていて、１週間ぐらいmoderationがストップしていました…。しばらく来なくて変だなー、と思って気がつきました。spamのせいで数が多くて家からやるのは難しいので（元から大したメ…