[B! lambda] arikuiã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

arikui id:arikui

lambdaã«é–¢ã™ã‚‹arikuiã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (4)

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

${{author_name}}$
{{author_name}}{{created}}
{{ #comment }}{{ comment }}{{ /comment }}
- {{ label }}

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

JavaScriptã§èªã‚€ã€Œãƒ©ãƒ ãƒ€è¨ˆç®—åŸºç¤Žæ–‡æ³•æœ€é€Ÿãƒžã‚¹ã‚¿ãƒ¼ã€ - è²³ä½°ä¼æ‹¾é™¸å¤œæ—¥è¨˜
ä»¥å‰æ›¸ã„ãŸã€Œãƒ©ãƒ ãƒ€è¨ˆç®—åŸºç¤Žæ–‡æ³•æœ€é€Ÿãƒžã‚¹ã‚¿ãƒ¼ã€(ä»¥ä¸‹ã€Œæœ€é€Ÿãƒžã‚¹ã‚¿ãƒ¼ã€)ã¯, äºˆæƒ³ä»¥ä¸Šã«å¤šãã®äººã«èˆˆå‘³ã‚’æŒã£ã¦ã‚‚ã‚‰ãˆãŸã‚ˆã†ã§ã™ãŒ, åŒæ™‚ã«é›£ã—ãã¦ã‚ã‹ã‚‰ãªã‹ã£ãŸã¨ã„ã†äººã‚‚å¤šã‹ã£ãŸã‚ˆã†ã§ã™. åéŸ¿ã‹ã‚‰å¯Ÿã™ã‚‹ã«, æ§‹æ–‡ã‚’è¦‹æ…£ã‚Œã¦ã„ãªã„(ã¨éŒ¯è¦šã—ã¦ã—ã¾ã†)ã“ã¨ãŒç†è§£ã®å¦¨ã’ã«ãªã£ã¦ã„ãŸã‚ˆã†ã«æ€ã„ã¾ã™. ãƒ©ãƒ ãƒ€è¨ˆç®—ã®æ§‹æ–‡ã¯, å®Ÿéš›ã«ã¯å…¨ãç‰¹æ®Šãªã‚‚ã®ã§ã¯ã‚ã‚Šã¾ã›ã‚“. ã“ã®ã“ã¨ãŒã‚ˆãã‚ã‹ã‚‹ã‚ˆã†ã«, ã€Œæœ€é€Ÿãƒžã‚¹ã‚¿ãƒ¼ã€ã®ãƒ©ãƒ ãƒ€è¨ˆç®—ã®ç°¡ç´„ã®ä¾‹ã‚’ã™ã¹ã¦JavaScriptã®æ§‹æ–‡ã§æ›¸ã„ã¦ã¿ã¾ã—ãŸ. ......ã¨ã„ã†å†…å®¹ã«ãªã‚‹ã¯ãšã§ã—ãŸãŒ, æ°—ãŒã¤ã„ãŸã‚‰ãƒ©ãƒ ãƒ€è¨ˆç®—ã®ã‚¤ãƒ³ã‚¿ãƒ—ãƒªã‚¿ã‚’JavaScriptã§å®Ÿè£…ã—ã¦ã„ã¾ã—ãŸ! å®Ÿéš›ã«å‹•ã‹ã›ã‚‹ã‚‚ã®ã¯ä¸‹è¨˜URLã«ã‚ã‚Šã¾ã™. https://tarao.github.io/LambdaJS/#js å‹•ä½œç¢ºèªã¨æ—¢çŸ¥ã®å•é¡Œ Firefox 3.6 Google Chrome 4.1
arikui 2010/05/30
javascript

lambda

programming
ãƒªãƒ³ã‚¯
ãƒ©ãƒ ãƒ€è¨ˆç®—åŸºç¤Žæ–‡æ³•æœ€é€Ÿãƒžã‚¹ã‚¿ãƒ¼ - è²³ä½°ä¼æ‹¾é™¸å¤œæ—¥è¨˜
ãƒ©ãƒ ãƒ€è¨ˆç®—ã¯, å¤šãã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªž, ã¨ãã«é–¢æ•°åž‹è¨€èªžã®åŽŸå½¢ã«ãªã£ã¦ã„ã¾ã™. ãƒ©ãƒ ãƒ€è¨ˆç®—ã«ã¤ã„ã¦ç†è§£ã—ã¦ãŠãã“ã¨ã¯, å¤šãã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®ç¿’å¾—ã«å½¹ç«‹ã¤ã§ã—ã‚‡ã†. ãƒ©ãƒ ãƒ€è¨ˆç®—ã¯ãƒãƒ¥ãƒ¼ãƒªãƒ³ã‚°å®Œå…¨ã§, è¨ˆç®—èƒ½åŠ›ã¨ã—ã¦ã¯ãµã¤ã†ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã¨åŒã˜ã§ã™. ãƒ©ãƒ ãƒ€è¨ˆç®—ã§è¨ˆç®—ã‚’æ›¸ãè¨“ç·´ã‚’ã—ã¦ãŠãã“ã¨ã¯, ä»»æ„ã®è¨ˆç®—ã‚’é–¢æ•°ã®ã¿ã‚’ä½¿ã£ã¦(ä»–ã®åˆ¶å¾¡æ§‹æ–‡ã‚’ç”¨ã„ãšã«)æ›¸ãã¨ãã«å½¹ç«‹ã¡ã¾ã™. ãµã¤ã†ã«æ›¸ã„ãŸã‚‰ç…©é›‘ãªå‡¦ç†ã‚’, é–¢æ•°åž‹è¨€èªžã®ã‚„ã‚Šæ–¹ã§æ›¸ãã¨ã™ã£ãã‚Šã™ã‚‹ã“ã¨ãŒå¤šã€…ã‚ã‚Š, ã‚³ãƒ¼ãƒ‰ã‚’è‡ªç”±è‡ªåœ¨ã«æ›¸ããŸã‚ã«ã¯å¿…é ˆã®è€ƒãˆæ–¹ã¨è¨€ãˆã‚‹ã§ã—ã‚‡ã†. é … ãƒ©ãƒ ãƒ€è¨ˆç®—ã®å¼ã‚’é …(term)ã¨è¨€ã„ã¾ã™. é …ã¯å¤‰æ•°, æŠ½è±¡, é©ç”¨ã®ã„ãšã‚Œã‹ã§ã™. å¤‰æ•° å¤‰æ•°(variable)ã¯ãµã¤ã†1æ–‡å—ã§æ›¸ãã¾ã™. å¤‰æ•°ã«ã¯é–¢æ•°å†…ã®æŸç¸›å¤‰æ•°(bound variable)ã‹è‡ªç”±å¤‰æ•°(free variable)ã‹ã¨ã„ã†åŒºåˆ¥ãŒã‚ã‚Š
arikui 2010/03/22
programming

lambda

ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°
ãƒªãƒ³ã‚¯
ãƒãƒ£ãƒ¼ãƒæ•°ã‚’ã¤ãã£ã¦ã¿ãŸ - ã‚¯ãƒ©ãªã‚“ã¨ã‹ or ãã‚‰ãªã‚“ã¨ã‹ or cla ãªã‚“ã¨ã‹ã®æ—¥è¨˜
SICP ã®å•é¡Œ2.6 ã‚’è¦‹ã¦ã„ãŸã‚‰æ›¸ããŸããªã£ãŸã®ã§ï¼Œåˆ¥ã®è¨€èªžã§å†™çµŒã—ã¦ã¿ãŸï¼Ž #!/usr/bin/env perl # -*- mode: perl; coding: utf8; -*- use strict; use warnings; use Perl6::Say; my $zero = sub { my ($f) = @_; sub { my ($x) = @_; $x; }; }; sub add_1 { my ($n) = @_; sub { my ($f) = @_; sub { my ($x) = @_; $f->($n->($f)->($x)); }; }; } my $one = add_1($zero); my $two = add_1($one); sub plus ($$) { my ($m, $n) = @_; sub { my ($f) = @_; sub
arikui 2009/05/26
javascript

perl

lambda
ãƒªãƒ³ã‚¯
ãŠã¨ã†ã•ã‚“ã€ã¼ãã«ã‚‚Yã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿ãŒã‚ã‹ã‚Šã¾ã—ãŸã‚ˆï¼ - 2009-04-09 - ãã—ã ã®ã¯ã¦ãª
ã‚„ã£ã¨ã€Yã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿ãŒä½•ã‚’æ„å‘³ã™ã‚‹ã‚‚ã®ãªã®ã‹ã€ã©ã†ã„ã†æ„ç¾©ãŒã‚ã‚‹ã®ã‹ãŒã‚ã‹ã‚Šã¾ã—ãŸã€‚ åå‰ã‚’ä½¿ã‚ãšå†å¸°ãŒã§ãã¾ã™ã‚ˆï¼ã¨ã„ã†ã ã‘ã®ã‚‚ã®ã˜ã‚ƒãªã‹ã£ãŸã®ã§ã™ãã€‚ ã¾ãšÎ»ã‚ã‚Šã é–¢æ•°ã®è©±ã‚’ã—ãŸã„ã®ã§ã™ã€‚ ãã®ã¨ãã€ã„ã¡ã„ã¡ hoge(x) = x * 2 ã¨ã—ã¦hogeã‚’ãƒ»ãƒ»ãƒ»ã€ã¨ã‹åå‰ã‚’ã¤ã‘ã¦è©±ã‚’é€²ã‚ã‚‹ã®ãŒã‚ã‚“ã©ã†ãªã®ã§ã€é–¢æ•°ã‚’å€¤ã¨ã—ã¦ã‚ã‚‰ã‚ã™ã¨ä¾¿åˆ©ã¨ã„ã†ã“ã¨ã§ã€Î»ã¨ã„ã†å€¤ã‚’å®šç¾©ã™ã‚‹ã®ã§ã™ã€‚ ãã†ã™ã‚‹ã¨ã€ä¸Šã®hogeé–¢æ•°ãªã‚“ã‹ã¯Î»(x)(x*2)ãªã©ã¨ã‚ã‚‰ã‚ã›ã¾ã™ãŒã€å¼•æ•°ã‚’ã‚ã‚‰ã‚ã™ã®ã«()ã‚’ä½¿ã†ã¨ã„ã‚ã„ã‚ã¾ãŽã‚‰ã‚ã—ã„ã®ã§ã€ Î»x.x*2 ã®ã‚ˆã†ã«è¡¨è¨˜ã—ã¾ã™ã€‚ ã¨ã„ã†ã®ãŒÎ»ã€‚ ã“ã®ã¨ãã€Î»ã«ãªã«ã‹ã‚ãŸã•ã‚ŒãŸã‚‰ã€å¼•æ•°ã¨ã—ã¦ã‚ã‚‰ã‚ã•ã‚Œã‚‹éƒ¨åˆ†ã‚’å˜ç´”ã«ãŠãã‹ãˆã¾ã™ã€‚ (Î»x.x*2)y ã¨ã‚ã£ãŸã‚‰ã€xã®éƒ¨åˆ†ã‚’yã§ãŠãã‹ãˆã¦ (Î»x.x*2)y â†’ y * 2 ã¨ãªã‚Šã¾ã™ã€‚Î»ã®å¼•æ•°éƒ¨åˆ†ã‚’ä¸Žãˆã‚‰ã‚ŒãŸå¼•æ•°ã§ç½®
arikui 2009/05/13
programming

lambda

algorithm
ãƒªãƒ³ã‚¯
1