... ラテン語のUlyssesは ギリシャ 語名Ο δ υσσεの方言形Ο λ υσσεから来たものだったのである。つまり、 ギリシャ 語名における「δ」と「λ」の一文字の差異が、ラテン語名ではOdysseusとUlissesの差異にまで広がり ...
■ [ javascript ][ book ]『これからJavaScriptを勉強する人が読むと良い本 - λab's Blog』 12:11 これからJavaScriptを勉強する人が読むと良い本 - λab's Blog JavaScript最近の書籍について 後、書くものが不足してるからTDDJS本とかかな。 ...
... { return (function(g) { return function(m) { return f(g(g))(m); }; })(function(g) { return function(m) { return f(g(g))(m); }; }) }; ふつーに Z := λf. (λx. f (λy. x x y)) (λx. f (λy. x x y)) と書けたらよいと思いませんか? 続きを読む