大学から email address が支給されて、各種行事の宣伝等がそこに舞い込んでくることになってるわけだけど、全然昨日の朝ぐらいから張りついたように変化が無いなーと思ってたんですよ。受信箱に。これがね、どうも POP3 access が無いような、有るかもしれ…

こないだ broom ball*1やってて思ったというか思い出したというか実感したんだけど、人間の脳って、複雑な状況判断を用いて簡単な状況判断 code を生成しておく事で realtime 性能上げてるよね。判断の正確さを trade して。 例えば broom ball の ball が橙…

大学に着いたはいいが、寮では無線のみ。Driver が入ってない上に、古い backup disk から召喚した windoze 用 driver が install でこける。GNU/Linux に至っては kernel source すら持ってないと来たもんだ。 とりあえず大学の有線 LAN で一時的に access …

なんとまあ、狙ったかのようにタイミングの良いことに、出発前夜に丁度行きがけのスーパー (Fresco) に進出してるのを発見したんですよ。例の豆腐。そう、男前豆腐が入荷されてたんですよこれが。ジョニーと男前京冷奴があったんで両方買って食ってみました…

ちょとまてー credit card が無い! かなり探し回ったけど無ひ! うわわわ、どうしよう…とにかく慌てて止めて再発行を申し込んだけど、よく考えたらこれでは hotel がとれないぞ (大学寮には 20 日から泊めてもらえるけど、飛行機の便の都合で19 日着だから一…

"He" を neuter として使うのはイクナイ。だからどうしろっちゅーねんという話@おくじさんとこ。ふと思ったけど、この anti-sexist movement の前後で複数形代名詞の利用率が激変したとかいう事は無いんだろうか。最近の文章では generic な誰かについて語る…

通りすがり 『「AxBとXはisom」の定義は「f:AxB→Xとg:X→AxBをどう選んでも逆射になってる」ではなく「f:AxB→Xとg:X→AxBをうまいこと選んでやると逆射になってる」ことだと思います。 Product と言うだけで存在が保証される射（X, AxB の間にどっち方向にも存…

"Category products of a given family of objects is unique up to isomorphism." 嘘ぉ。これどうなん? GIMP で矢印つき曲線の描き方がわからんので、超落描きスマソ。こういうきれいな図は何で書いてるのかな。 要するに AxB が「本物の」A, B の product …

family = indexed class (というか set?)

何か知らんけど今日は蚊を五匹も殺ったぞ。

main から遠く離れた関数から警告を出力するのってどうやるんだこれ? Trace module とかが使ってる危ない関数使うのか? それができんと compiler の類全然書けんよな。それ以外も難しそう。

うーむ、ちょっと使ってみてるけど、何かと latent typing が恋しいのはナゼ。でも型 error だけ取ってれば bug がなかなか出ない。Hindley-Milner 凄ぇ。

ι←これ link ね、見えにくいけど。 Why care whether Iota is unambiguous? If ambiguous languages were allowed, we could do without the star, and have an even simpler language: Syntax Semantics F --> i ^x.xSK F --> F F [F][F] This language has…

map2 :: (a -> b) -> (c -> d) -> ([a], [c]) -> ([b], [d]) -- map2 f g (xs, ys) = (map f xs, map g ys) -- map2 f g = uncurry $ (. map g) . (,) . map f -- map2 f g = uncurry $ (. (,) . map f) (. map g) -- map2 f g = uncurry $ (. (,) . map f) …

李斯が出るのに李氏朝鮮が出ない。韓信も。

expr1 $ expr2 = ((expr1) (expr 2))ゆえに e1 $ e2 $ e3 = ((e1) ((e2) (e3)))で f . g $ x = ((f . g) (x))

えーい鬱陶しい。二時間で 12 箇所も噛まれとるではないか。今しがた一匹取り逃したのが実に悔しい。蚊取り線香は何をやっておるのだ。

マンドクセ。

マンドクセ。

truce magnate

結局 links2 もイマイチという結論に。残念。 ところで firefox で mouse wheel を勢いよく転がすと、「戻る」か「進む」機能が呼び出されることがあるんですけど、これ仕様ですか? ウザい事この上ない。拡張機能のせいなのかな…

eq f = \x -> \y -> f x == f yの body を point-free に書き直したい。しかし思い付かない。Point-free にしたところで別に意味は無いけど…

car = fst cadr = snd

(Optional) registeration の頁より抜粋: I want to download the free [註: LGPL] version of Clean and agree to the License Conditions. I would like to use Clean commercially. I want a commercial license. (L)GPL なsoftware が商用利用できないと…