2009-01-24から1日間の記事一覧

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

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