javascript - λ表記をDSL㫠: 404 Blog Not Found
2010å¹´10月02æ—¥05:00 カテゴリMathLightweight Languages javascript - λ表記をDSL㫠計算論 計算å¯èƒ½æ€§ã¨ãƒ©ãƒ ダ計算 高橋æ£å クãƒãƒ¼ã‚¸ãƒ£ãƒ¼ãŒã‚る言語ã«ã¯ã€Î»æ¼”ç®—ãŒã™ã§ã«å«ã¾ã‚Œã¦ã„ã¾ã™ã€‚ ãŒã€ãŸã„ã¦ã„ã®å ´åˆã€ãã®è¨€èªžã®æµå„€ã§æ›¸ã‹ãã°ãªã‚Šã¾ã›ã‚“。ãŸã¨ãˆã°ã“ã‚“ãªé¢¨ã«ã€‚ var Z = function(f) { 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)) ã¨æ›¸ã‘ãŸã‚‰ã‚ˆã„ã¨æ€ã„ã¾ã›ã‚“ã‹? λscript(笑) ã§ãるよã†ã«ã—
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
処ç†ã‚’実行ä¸ã§ã™
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
https://qiita.com/kenokabe/items/618692858044a89adbc0
{{#tags}}- {{label}}
{{/tags}}