2006-05-26から1日間の記事一覧

clean

試験で人を計れるかといえば、そうは思えない。だが、篩う方法として、他のどんな手法よりもとてもクリーンであることは間違いない、と誰かが言っていたような気がする。とてもそう思う。

この間の日経新聞にちょっと奇妙な文章があった。 青信号の色はどう見ても緑である。英語では実際 green light という。青信号と呼ぶならば青にするべきだし、どう見えるか本当のことを教えるべきではないか。 日本古来の文化や習慣を大切にしよう。 三度読…

型付ラムダ計算

http://d.hatena.ne.jp/nuc/20051003/p1 に (f, g) (a, b) = (f a, g b) となるべきだと書いた。ようするに、圏論の積ですよね。 それを拡張して http://d.hatena.ne.jp/nuc/20060424/p4 で、データ型を定義するときに、何を食ったときには何、のようなこと…