増補版:気軽ã«è©¦ã—ã¦ã¿ã‚ˆã†ï¼ä»Šã“ã Lisp 入門 - Lisp ã®èª¿ã¹1. 関数型プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã§ã‚‚ã£ã¨è¨€ã„ãŸã‹ã£ãŸã“㨠(1) λ計算 λ計算ã¯é–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã§ã¯åŸºæœ¬ä¸ã®ã€Œã‚ã€ã§ã™ãŒã€æœ¬æ–‡ã¯åˆå¿ƒè€…å‘ã‘ã¨ã„ã†ã“ã¨ã§ã‚«ãƒƒãƒˆã—ã¦ã„ã¾ã™ãŒã€ã“ã“ã§ã¯å°‘ã—説明ã—ã¾ã™ã€‚ λ計算（λ-calculus）ã¯Î±å¤‰æ›ã¨Î²-ç°¡ç´„ã€Î·-変æ›ã®è¦å‰‡ãŒã‚ã‚Šã¾ã™ã€‚ α-変æ›ã¯æŸç¸›å¤‰æ•°ã®åå‰ã‚’変ãˆã‚‹å¤‰æ›ã§ã€Î²-変æ›ï¼ˆç°¡ç´„）ã¯é–¢æ•°é©ç”¨ã§ã™ã€‚ η-変æ›ã¯ã™ã¹ã¦ã®å¼•æ•°ã§åŒã˜å€¤ã‚’è¿”ã™é–¢æ•°ã¯ç‰ä¾¡ã§ã‚る（関数ã®å¤–延性）ã¨ã™ã‚‹ã‚‚ã®ã§ã™ã€‚ α-変æ›ã®ä¾‹ã¯Î»x.fx → λy.fy ã§ã‚ã‚Šã€Î²-変æ›ã®ä¾‹ã¯(λx.fx)3 → f3ã§ã‚ã‚Šã€Î·-変æ›ã®ä¾‹ã¯ λx.fx → f（但ã—xã¯fã§è‡ªç”±ã§ãªã„ã¨ã）ã§ã™ã€‚ Lisp 風ã«æ›¸ãã®ã§ã‚ã‚Œã°ã€(lambda (x) (f x))→(lambda (y) (f y))ã€((lambda (x) (f x)) 3)→（f 3)ã€(lambda (x) (f x
{{#tags}}- {{label}}
{{/tags}}