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

日々の流転


2002-06-22 [長年日記]

λ. ストック経済論の補講があるのを忘れてて寝過ごしてしまった。

λ. X-Moe

X-Moeは人類の敵です。これは定説です。

お。

Tags: ネタ

λ. Lectures on the Curry-Howard Isomorphism

を読んだ。これを読んで、Curry-Howard Isomorphism について理解出来た木がする。僕の想像は概ね正しくて、欠けていたのは否定がreturnしない関数に対応して、CPS(Continuation Passing Style)に関係するという点だけだった。

Tags: logic