トップ «前の日記(2009-04-11) 最新 次の日記(2009-04-14)» 月表示 編集

日々の流転


2009-04-12 [長年日記]

λ. 第五十一回圏論勉強会

どうも暑いと思ったら、暖房がついていたらしい。

二次会は焼肉に。

[焼肉] [焼肉]

カリー化をカリー化と命名したのは、フレーゲとStracheyらしい。Haskell B Curry は1900-1982。

白石さんを問い詰める会(?)

Tags: 圏論