アフガニスタンで教諭二人が殺害されたそうで哀悼の意を表したい。さて。僕の叔母の一人は国際協力機構で働いている。小さないとこ達は寂しがっているがよく途上国に行く。それで妹を挟んで聞いたアフガニスタンの話。正直、いまのアフガニスタンに旅行に行…

http://d.hatena.ne.jp/nuc/20050727/p2 http://d.hatena.ne.jp/nuc/20050822/p2 とシリーズ化してきました、というかネタが尽きるとお世話になっております。 今回はただふと思ったことなんだけなんだけれども p53. の汎関数って定義は何なんですかね。 「…

http://www.cp.cmc.osaka-u.ac.jp/~kikuchi/weblog/index.php?UID=1125902125 これを読んで、今日考えていたことを思い出したんですよ。 http://d.hatena.ne.jp/nuc/searchdiary?word=%b1%ca%b5%d7%b5%a1%b4%d8 永久機関は大好きなんですけども、これはちょ…

http://d.hatena.ne.jp/notfound/20050903 (なぜ、((+1).(*)) 1 2 とできないか。) curry ((+1). uncurry (*)) 1 2 で、どうでしょう。 curry というのは curry化して、uncurry というのはその逆です。 (a, b) -> c と a -> (b -> c) の間に自然な同型が存在…

未踏ユースPMの竹内先生はたらいまわしの名人らしい。御本人じゃないのに聞いちゃったらどうしようと結構悩んだ。 tak 12 6 0 を計算。 tak x y z | x (0.02 secs, 528808 bytes) 遅延評価の威力を体感するために `seq` をいれてみる。 tak x y z | x とする…

このあいだのあれ、さくっと2行削れるなあ。 http://d.hatena.ne.jp/nuc/20050831/p4 http://d.hatena.ne.jp/nuc/20050902/p1 最後の一行は番兵で念のためいるだけ。 gen :: (Int, Int, Int) -> [Int] -> [([Int], [Int], [Int])] gen (0,0,0) _ = [([ ],[ ]…

免許証取ってきました。もちろん一発合格ですよ。ええ。(仮免は一度落としましたが。)待ち時間の間することないです。食べるくらいしか。それで田舎では食べるくらいしか娯楽がないので太っている人が多いという仮説を立てました。都会だと麻薬が買えるので…