はじめてのにき

_ あー

これ興味深いなー。

http://jijixi.azito.com/cgi-bin/diary/index.rb?date=20070511#p04

なんていうか、普段割と厳格な Haskell ちゃんにも こんなオチャメな一面が! みたいな。

(14:07)

_ やばい

http://www.city5.org/AlligatorEggs.html

意味が全然わからんなー。 俺が意味がさっぱりわからんということは、 これが全くもっていいたとえではないか、 俺の脳味噌が腐ってるかだけど、 今回はたとえがくさってるんじゃないかなぁ。

なんかいかにもえらい学者さんが考えそうなたとえではある。

なんていうか、ただルールを説明してるだけで、 わかってる人にはなんかわかるんだろうなーとは 思うのだけど、 全くラムダ計算とかよくわかってない僕には さっぱり何が言いたいのやら、という。

いやーこれは無いんじゃね。

(15:52)

_ ワニ

http://shinh.skr.jp/m/?date=20070511#p02

ワニの何が問題かっていうと、 たとえだけを説明して、 具体的にそのたとえで身近な現象を一切説明してないことだと思う。 身近な現象を説明しないたとえっていうのは 単にわかりにくいたとえ以外の何者でもない、 と思った。

なんだろう。 「AがBになるのがわかりにくいんだって？ CはAに似てるよね、そしてDはBに似ている。 CならばDなのは自明だよね。 君はAとBへの理解をC,Dを通じて理解できたわけだ」 というような種類の議論で、 Dが不在だなぁという感じか。 AとCが似てるのかどうかはよくわからない。

(16:56)