2006-04-30 [長年日記]
λ. 第十六回圏論勉強会
Olegさん凄いな。 Context Reduction がeagerかlazyかだとか、その場合の Functional Dependency の扱いとか、僕なんかは出来るだけ避けて通りたいと思うような点について、嬉々として語っていたのが印象的だった。
Olegさん凄いな。 Context Reduction がeagerかlazyかだとか、その場合の Functional Dependency の扱いとか、僕なんかは出来るだけ避けて通りたいと思うような点について、嬉々として語っていたのが印象的だった。