トップ «前の日記(2002-11-10) 最新 次の日記(2002-11-12)» 月表示 編集

日々の流転


2002-11-11 [長年日記]

λ. 東方紅魔郷

「よけてるんじゃない、かすりに行ってるんだ」か。

Tags: 東方

λ. 買った本

週間エコノミスト 2002年11月19日号
-
Tags:

λ. 論文読み会: rfc2291

資料

Tags: 論文

λ. 夕食

久しぶりに豚菜。

λ. zip, unzip

CPLで書くとどうなるかと考えてたら意外と難しい。無限リストであるinflistに対しては

zip   = fold(prod(head, head), prod(tail, tail))
unzip = pair(inflist(pi1), inflist(pi2))
      = pair(fold(pi1.head, tail), fold(pi2.head, tail))

と単純なんだけど、普通のリストであるlistに対してはなかなかうまく定義できない。多分、λ計算で定義するのも結構大変なんじゃなかろうか。

Tags: CPL