トップ «前の日記(2006-01-26) 最新 次の日記(2006-01-28)» 月表示 編集

日々の流転


2006-01-27 [長年日記]

λ. 『国家の罠―外務省のラスプーチンと呼ばれて』, 佐藤優

国家の罠 外務省のラスプーチンと呼ばれて(佐藤 優)

読了。これはすごい本である。 感想は後でちゃんと書きたい。

Tags:

λ. RDスタイルでプラグイン引数がエスケープされる問題へのパッチ

プラグイン呼び出しの引数がエスケープされてプラグインに渡されてしまうのを避けるためのパッチ。 [tDiary-devel] RDスタイルでプラグインの引数がエスケープされてしまう で報告、2006-09-13に取り込まれた。

Tags: tDiary

λ. Haskell is not not ML. Ben Rudiak-Gould, Alan Mycroft, and Simon Peyton Jones.

<URL:http://lambda-the-ultimate.org/node/1248> より。

継続が否定の計算的解釈というのはもちろん知ってはいたけど、二重否定がliftingに対応するということには気づいてなかったし、call-by-name CPS translation と call-by-value CPS translation についても知らなかった。知らないことばかりで勉強になった。それにしても、こういう理論的な話と実装寄りの低レベルな話とがうまく結びついているのは好きだな。

IL は paraconsitent だという話があったが、paraconsistent logic というものがあるようだ。