サクサク読めて、アプリ限定の機能も多数！
yass のブックマーク 2014/10/12 14:07
このブックマークにはスターがありません。 最初のスターをつけてみよう！
www.slideshare.net/slideshow2012/06/29
18. 嬉しいです • f(x, y) = x • … x と y の両方を渡す必要がある • f(x)(y) = x • … x だけ渡す、という操作が可能 • この操作を部分適用と言う 19. ついでに • λx. (λy. x) は λx. λy. x と表せる • どこがど...
33 人がブックマーク・1 件のコメント
＼ コメントが サクサク読める アプリです ／
このブックマークにはスターがありません。
最初のスターをつけてみよう！
ラムダ計算入門
18. 嬉しいです • f(x, y) = x • … x と y の両方を渡す必要がある • f(x)(y) = x • … x だけ渡す、という操作が可能 • この操作を部分適用と言う 19. ついでに • λx. (λy. x) は λx. λy. x と表せる • どこがど...
33 人がブックマーク・1 件のコメント
＼ コメントが サクサク読める アプリです ／