[B! ãƒ©ãƒ ãƒ€è¨ˆç®—] yagieyã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

yagiey id:yagiey

ãƒ©ãƒ ãƒ€è¨ˆç®—ã«é–¢ã™ã‚‹yagieyã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (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}}

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

ãƒ©ãƒ ãƒ€è¨ˆç®—

åŸºç¤Žæ–‡æ³•æœ€é€Ÿãƒžã‚¹ã‚¿ãƒ¼
ãƒªãƒ³ã‚¯
Y ã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿ã«ã¤ã„ã¦èª¿ã¹ã¦ã¿ãŸ - F.Ko-Jiã®ã€Œä¸€ç§’å¾Œã¯æœªæ¥ã€
Y ã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿ã£ã¦ä½•ï¼Ÿ â€“ ITæˆ¦è¨˜ Y ã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿ã™ã‚‰çŸ¥ã‚‰ãªã„(ç ”ç©¶å®¤ã§å‹‰å¼·ã—ã¦ãŸã‹ã‚‚ã—ã‚Œãªã„ã‘ã©è¨˜æ†¶ã«ãªã„)ã®ã§ãã“ã ã‘èª¿ã¹ã¦ã¿ãŸã€‚ f=g(f) ã¨ãªã‚‹ã‚ˆã†ãªé–¢æ•°fã®ã“ã¨ã‚’ä¸å‹•ç‚¹ã¨å‘¼ã¶ ä¸å‹•ç‚¹ã‚’è¡¨ã™ãŸã‚ã®æ¼”ç®—åãŒä¸å‹•ç‚¹æ¼”ç®—å Y ã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿ã¯ä¸å‹•ç‚¹æ¼”ç®—åã¨å‘¼ã°ã‚Œã‚‹ã‚‚ã®ã®ä¸€ç¨® Î»è¨ˆç®—ã§ã¯ Y = Î»f.(Î»x.f(xx))(Î»x.f(xx)) ã§å®šç¾©ã§ãã‚‹ã€‚ Î»è¨ˆç®—ã§ã¯Yã‚’ç”¨ã„ã‚‹ã¨ Yg ãŒ g ã®ä¸å‹•ç‚¹ ã¨ãªã‚‹ã€‚ Y ã‚³ãƒ³ãƒ“ãƒãƒ¼ã‚¿ã‚’åˆ©ç”¨ã™ã‚‹ã¨Î»è¨ˆç®—ã§å†å¸°çš„ãªé–¢æ•°ã‚’å®šç¾©ã§ãã‚‹ Yg = g(Yg) ã®è¨¼æ˜Ž (â†’ã¯Î²ç°¡ç´„) Yg = (Î»f.(Î»x.f(xx))(Î»x.f(xx)))g â†’ (Î»x.g(xx))(Î»x.g(xx)) â†’ g((Î»x.g(xx))(Î»x.g(xx))) g(Yg) = g((Î»f.(Î»x.f(xx))(Î»x.f(xx)))g) â†’ g((Î»x.g(xx
yagiey 2009/01/30
y combinator

ãƒ©ãƒ ãƒ€è¨ˆç®—
ãƒªãƒ³ã‚¯
ã¡ã‚‡ã£ã¨è‰æ¤ãˆã¨ãã¾ã™ãåž‹è¨€èªž Grass
_, ._ ï¼ˆã€€ãƒ»Ï‰ãƒ»ï¼‰ã€€ã‚“ã‚‚ã€œ â—‹=ï½›=ï½ã€‡, |:::::::::ï¼¼, ', Â´ ï½¤ï½¤ï½¤ï½¤ã— ï½¤ï½¤ï½¤((ï¼ˆ.ï¼ ï¼‰ï½—ï½–ï½—ï½—ï¼·ï¼·ï½—ï½–ï½—ï½—ï¼·ï½—ï½—ï½–ï½—ï½—ï½—ï½—ï¼·ï¼·ï¼·ï½—ï½—ï¼·ï½— ï½—ï¼·ï¼·ï¼·ï¼·ï¼·ï¼·ï½—ï½—ï½—ï½—ï¼·ï½—ï½—ï½–ï½—ï¼·ï¼·ï½—ï¼·ï½—ï½—ï½–ï½—ï¼·ï¼·ï¼· ä½œã£ã¦ã¿ãŸï½—ï½—ï½—ï½—ï½— ã¨ã‚Šã‚ãˆãšå…¬é–‹ï½—ï½—ï½—ï½—ï½—ï½—ï½—ã£ã†ã‡ æ—¥æœ¬èªžç‰ˆã¯ã¦ãã¨ãƒ¼ã§ã™ï¼Žãã£ã¨è‹±èªžç‰ˆã®ã»ã†ãŒè©³ã—ã„ã§ã™ï¼Ž å®Ÿè£… ã‚¤ãƒ³ã‚¿ãƒ—ãƒªã‚¿ Interpreter written in Standard ML (accept US-ASCII only) by UENO Katsuhiro Interpreter written in Ruby by UENO Katsuhiro Interpreter written in ãƒ‹ã‚³ã‚¹ã‚¯ãƒªãƒ—ãƒˆ Interpreter written in Prolog by zick Interpreter written in Java b
yagiey 2008/08/30
æ¿€ã—ãæ‰èƒ½ã®ç„¡é§„ã¥(ry

ãƒ©ãƒ ãƒ€è¨ˆç®—

é–¢æ•°ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°

ãƒã‚¿
ãƒªãƒ³ã‚¯
C# 3.0 ã¨ä¸å‹•ç‚¹æ¼”ç®—å - NyaRuRuãŒåœ°çƒã«ã„ãŸã“ã‚
C# 3.0 ã¨ãƒ©ãƒ ãƒ€è¨ˆç®—ã®ãŠè©±ï¼Ž è‹±èªžåœã® C# ç³» blog ã§ã¯ï¼Œãƒ©ãƒ ãƒ€è¨ˆç®—ãŒå‘¨æœŸçš„ã«è©±é¡Œã«ä¸Šã‚Šï¼Œç›¸äº’ã«ã‚†ã‚‹ã‚„ã‹ãªã‚¯ãƒ©ã‚¹ã‚¿ã‚’å½¢æˆã—ã¦ã„ã‚‹ã‚ˆã†ã«æ„Ÿã˜ã¾ã™ï¼Žã€ŽNew Series on Closures in Visual Basic 9.0ã€ã¨ã„ã†ã‚¨ãƒ³ãƒˆãƒªãŒè‰¯ã„æ„Ÿã˜ã« Hub ã«ãªã£ã¦ã„ã¾ã™ã®ã§ï¼Œã“ã“ã‚’å‡ºç™ºç‚¹ã«ã™ã‚‹ã¨è‰¯ã„ã§ã—ã‚‡ã†ï¼Ž ä»Šå›žã¯ Mads Torgersen æ°ã®ã€ŽRecursive lambda expressionsã€ã‚’å‚è€ƒã«ä¸å‹•ç‚¹æ¼”ç®—å Fix ã‚’ä½œã£ã¦ã¿ã¾ã™ï¼Ž public static class ExprUtil { public static class Fun<T> { public delegate U SelfApplicable<U>(SelfApplicable<U> self); public static SelfApplicable<Func<F
yagiey 2008/04/10
C#

ãƒ©ãƒ ãƒ€è¨ˆç®—

ã‚ã¨ã§èªã‚€
ãƒªãƒ³ã‚¯
1