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}}