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

日々の流転


2008-04-05 [長年日記]

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

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

Tags: ネタ

λ.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)

清水寺
[清水寺]

京都御苑
[京都御所1] [京都御所2]

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

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

南禅寺