PS

2015-07-31から1日間の記事一覧

Lambda 記法

やっぱり lambda 記法の方が読みやすい。*1 Lambda 記法 と書くことにする*2と、例えば Pointwise weighted limits - PS は となって覚えやすい(と思う)。 と も区別しなくてよくなる。 Unlambda (Evaluation) 特に、Enriched functor category - PS で使っ…