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

日々の流転


2003-06-14 [長年日記]

λ. ファイト・クラブ

ファイト・クラブ [DVD] 想像してたよりは良かった。が、「再会」した後のテイラーの、あの筋肉馬鹿っぽい描写が、すべてを台無しにしてると思う。

Tags: 映画

λ. Linear Logic

「λ計算のかわりに線形論理を使う」というのは、結局「計算 = 項の簡約 = 証明の正規化(カット除去)」というアイディアをそのまま線形論理で使うって事なのかな?