日々の流転

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

λ. X-Moe

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

お。

λ. Lectures on the Curry-Howard Isomorphism

• http://www.cs.cornell.edu/courses/cs611/2001fa/scribe/lecture36.pdf
• http://www.cs.cornell.edu/Courses/cs611/2000fa/scribe/lecture_34.pdf

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

λ. モンタギュー (Richard Montague 1930-1971) - 自然言語に対する形式意味論の実現者

を読んだ。

λ. 形式意味論文献解題

を読んだ。