トップ «前の日記(2003-01-03) 最新 次の日記(2003-01-06)» 月表示 編集

日々の流転


2003-01-04 [長年日記]

λ. チュチュ

豊田さんもプリンセスチュチュ見てるですか。あのアニメはわりと楽しいですよね。でも、チュチュという名前が「主体(チュチェ)思想」を連想してしまって……。

Tags: TV

λ. CPL

1/2のlist2colistには間違いがあったので訂正。正しくは「list2colist = coprl(prl(in1, in2.prod(I, case(nil, cons))))」。あー、ややこしー。ところで、colistの長さはnatでは表せないけど、conatは無限大も含むのでcolistの長さはconatで表す事が出来る。すなわち「colist-length = copr(coprod(I, pi2).α)」。

Tags: CPL

λ. ||=

私はわりと良く使う気がします。

Tags: ruby

λ. 共変化(covariance)

へたれ日記(2003-01-04) に書いてあった「共変化」。最初、何の訳か分からなかったけど、考えてみれば「covariant functor」は「共変関手」と訳されてるわけだし、なるほどという感じ。

ただ、「ルーチンの引数の型および結果の型を子孫クラスの型に変更することを共変化 (covariance)といいます」と書いてあるけど、結果の型を子孫クラスに変更できるのは自然なのだ(参考: exponential functor の variance)けど、引数の型を子孫クラスに変更する際にはどういう扱いになっているのだろう……。

λ. ヴァンパイアハンターD / VAMPIRE HUNTER D

ふとCATVの番組表で目に止ったので見てみた。スタイリッシュな世界観が何ともいえない。そういえば、原作の文庫は図書館で何回か見掛けたような気がする。こんど読んでみよっかな。

……なんて事やってる場合じゃないんだよなぁ……。もう明後日から学校だよ。ぎゃー

Tags: 映画
本日のツッコミ(全5件) [ツッコミを入れる]
ψ うぃすてりあ (2003-01-04 22:31)

でも12話と13話を見逃した罠。<br>再(々?)放送を切に願う。

ψ さかい (2003-01-05 22:19)

テスト

ψ Ze (2003-01-05 23:16)

D全部持ってる。愛蔵版も途中まで

ψ さかい (2003-01-07 03:35)

僕も飛び飛びでしか見てないので再放送は是非やって欲しいところです。> チュチュ<br><br>> D全部持ってる。<br><br>それは素晴らしいぃ。<br>今度の認知科学の時にでも一冊貸してください。

ψ chiko (2003-01-14 02:34)

ちゅちゅはみたり,見なかったり.<br>ケーブルで日曜の夜にやっているので,遭遇率は結構高いですけど.