日々の流転

λ. 女性シンガー･ソングライター ALGEBRAデビュー!!

そのネーミングはどーなんだw

λ. “Polymorphic Delimited Continuations” by Kenichi Asai, Yukiyoshi Kameyama

先日の “Continuations in Natural Language” by Chris Barker - ヒビルテ (2008-03-13) に続いて、今度の Continuation Fest 2008 の予習のために読んだ。

(後で書く)

CPS変換に関しては、以前に読んだ Final Shift for Call/cc: Direct Implementation of Shift and Reset (cf. 20030503#c04) では、shift/reset をCPS変換する際には二重に変換して meta continuation なんてものがでてくるややこしいものだったが、ここで定義しているCPS変換だとそんなことはないんだな。 違いはどこにあるのだろう。

【2008-04-14追記】 継続フェスタの時に亀山先生に直接教えてもらってしまった。 昔から二通りの変換があり、ここで使っているCPS変換だと変換結果が末尾呼び出しの形になっておらず、call-by-valueとcall-by-nameで結果が変わったりと良い性質を満たさないそうだ。 ただ、単純かつこの論文の目的には十分なのでこちらを使用したらしい。

λ. 京都 (1)

清水寺

京都御苑

銀閣寺は工事中の上に人が大杉。侘びも寂びもあったもんじゃないね。

哲学の道も人が多過ぎで、散策どころではなかった。

南禅寺