トップ «前の日記(2006-04-29) 最新 次の日記(2006-05-01)» 月表示 編集

日々の流転


2006-04-30 [長年日記]

λ. 第十六回圏論勉強会

今日は圏論勉強会だった。写真

Olegさん凄いな。 Context Reduction がeagerかlazyかだとか、その場合の Functional Dependency の扱いとか、僕なんかは出来るだけ避けて通りたいと思うような点について、嬉々として語っていたのが印象的だった。

Tags: 圏論