ラムダ計算ＡＢＣ仙å°ãƒã‚¸ãƒƒã‚¯å€¶æ¥½éƒ¨ ラムダ計算ＡＢＣ æ•°å¦ã‚»ãƒŸãƒŠãƒ¼ï¼™ï¼’年８月å·ã‚ˆã‚Š Ａ. ラムダ計算ã¨ã¯ 今ã‹ã‚‰ï¼–ï¼å¹´ç¨‹å‰ã€ãƒ—リンストン大å¦ã®è‹¥æ‰‹è«–ç†å¦è€…Ａ．ãƒãƒ£ãƒ¼ãƒãŒã€é–¢æ•°ã®æ–°ã—ã„表記法をæ案ã—ã¾ã—ãŸã€‚ラムダ記法ã¨å‘¼ã°ã‚Œã‚‹ãã®è¡¨è¨˜æ³•ã§ã¯ã€ä¾‹ãˆã°äºŒä¹—を計算ã™ã‚‹é–¢æ•°ã¯ λx.x^2 ã¨è¡¨ã—ã¾ã™ã€‚従æ¥ã®"f(x)"ã¨ã„ã†æ›¸ãæ–¹ã¯ã€ãã‚ŒãŒé–¢æ•°ã‚’表ã™ã®ã‹ã€é–¢æ•°ã®xã«ãŠã‘る値を表ã™ã®ã‹ãŒæ›–昧ãªã®ã§ã€ãƒ©ãƒ ダ記法ã§ã¯ã€é–¢æ•°fã®xã«ãŠã‘る値をfxã§ç¤ºã—ã€xã«ãŠã‘る値ãŒf(x)ã¨ãªã‚‹é–¢æ•°fをλx.f(x)ã¨è¡¨ã™ã®ã§ã™ã€‚ "f(x)"ã¨ã„ã†è¡¨è¨˜æ³•ã®æ¬ 陥ã¯ã€é«˜æ ¡ã®æ•°å¦ã¾ã§ã§ã¯ã»ã¨ã‚“ã©è¡¨é¢åŒ–ã—ã¾ã›ã‚“ãŒã€å¤§å¦ã«å…¥ã£ã¦ã‹ã‚‰å®šç¾©åŸŸã‚„値域ãŒé–¢æ•°ã®é›†åˆã«ãªã‚‹ã‚ˆã†ãªé«˜éšŽé–¢æ•°ï¼ˆã‚ªãƒšãƒ¬ãƒ¼ã‚¿ã¨ã‹ä½œç”¨ç´ ã¨ã‚‚呼ã³ã¾ã™ï¼‰ã‚’扱ã„ã ã™ã¨ã™ãã‚ã‹ã‚Šã¾ã™ã€‚ä½œç”¨ç´ ãªã©ã¨ã„ã†ã¨ã²ã©ã特殊ãªã‚‚ã®ã®ã‚ˆã†ã§ã™ãŒã€é–¢æ•°f(x)ã«ãã®å°Žé–¢æ•°f'(x)を対応ã•ã›ã‚‹å¾®åˆ†æ¼”ç®—åＤ
{{#tags}}- {{label}}
{{/tags}}