「ラムダ計算、論理、圏」セミナー（第1回）

• 檜山さんに一番に指される位置に座っていたのでどきどき
• 檜山さんがラムダの話をするたびに頭の中でSchemeのコードに変換されるわけだけど、lambdaがクロージャとして実装されているSchemeを過度に意識するのはよくないとか思いつつ聞いてた
• スノーグローブの説明で、JavaでJava VMを作る例は直感的にわかりやすかった