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

日々の流転


2003-02-03 [長年日記]

λ. 君に言えなかったあの一言が今も心残り。

λ. とりあえず、食っては寝ての、健康的でなければ知的でもない春休み。

λ. 御神本(笑)

が三田に配架されている事に気が付く。(請求番号: A@410.9@Ya2@1-1)

誰か読んだ人がいたら、感想を聴かせて欲しいところ。

λ. ロリータ?

どうでも良いのですが「アダルトロリータ画像」って何か激しく矛盾してませんか?

λ. colist

1/2にcolistについて書いたけど、charityにはそのものズバリのものがあった。

data SF(A) -> C = ss: A -> C
                | ff: 1 -> C.
 
data C -> colist(A) = delist: C -> SF(A*C).

ただ、"Strong Categorical Data Types I"の方では、 head: colist -> X と tail: colist -> coprod(1,colist) によって定義していて、 こっちは空でないリストだけを表している。

Tags: CPL

λ. 読書

『ブレス オブ ファイア 1』
『ブレス オブ ファイア 2』
ハヤト コウジ [漫画], 沢村 烈 [原作]
Tags:

λ. Ruby-GNOME2

に久しぶりにさわる。自分が書いたコードをすっかり忘れていて焦った。

RubyスレッドのスケジューリングをGSourceを使って何とか出来ないか試してみたが、どうもダメそうな感じ。

Tags: ruby
本日のツッコミ(全2件) [ツッコミを入れる]
ψ woods (2003-02-04 23:12)

ま、人名ですから。>ロリータ

ψ さかい (2003-02-06 01:37)

まぁ、それはそうなんですけどね。<br>それにしても今の世をナボコフが見たらどう思うか……