日々の流転

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

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

λ. 御神本(笑)

が三田に配架されている事に気が付く。(請求番号: 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) によって定義していて、 こっちは空でないリストだけを表している。

λ. 読書

『ブレス オブ ファイア 1』

『ブレス オブ ファイア 2』

ハヤト コウジ [漫画], 沢村 烈 [原作]

λ. Ruby-GNOME2

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

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