2002-04-29 昭和節 [長年日記]
λ. メディア・センタで連休中に読む本を借りようかと学校に行ったら、メディア・センタが閉ってた。
λ. ソース読み会
ゴールデンウィーク特別イベント。NetBSDのUSBドライバを読んだ……のだけど付いてけなかった…… → 加藤さんによるまとめ
ところで、grepとlessでソースを読むというのは初めて聞いたよ。
それから、とーやまさんが頭を剃っててビックリした。
λ. Haskellのパターンマッチと単一化 (ゆ〜あいの日記 4/17)
「１が((+) x 1)に単一化できるとするとx=0になるはずですね。これは(+)の逆関数が必要になりますが、処理系が逆関数を生成するは困難ですね。」とあるけど、制約論理プログラミングについて調べてみると良いと思う。
λ. screenのススメ
.
λ. 力と制度、或いはコンパクト化について
脱力するねぇ。
λ. :=<
「:>=」はオッケーなのに「:=<」はパースエラーになるのか。
λ. 圏論&オントロジー
昨日、「圏論 オントロジー」というキーワードで検索されてるけど、圏論とオントロジーって何か関係あるんでしょうか?
それなら「:<=」でないと公平な比較にならないと思はれ。
おぉー、あおきさんだぁ。<br>確かにそうですね。<br>ついPrologの感覚で書いてしまったのだ。(^^;