Rubyã®ã‚る風景 - Y+Combinator+2以å‰å–り上ã’ãŸY Combinatorã§ã™ãŒã€ä½•æ•…"Y"ãªã®ã‹ã¨æ€ã£ã¦èª¿ã¹ã¦ã¿ãŸã¨ã“ã‚ã€ã©ã†ã‚„ら"To Mock a Mockkingbird" ãŒã‚‚ã¨ã«ãªã£ã¦ã„るよã†ã§ã™ã€‚ ã“ã®æœ¬ã§ã¯è‰²ã€…ãªé³¥ã®åå‰ã‚’å„ラムダå¼ã«å‰²ã‚Šå½“ã¦ã¦ã€çµ„ã¿åˆã‚ã›ç†è«–(Combinatory Logic)を解説ã—ã¦ã„ã¾ã™ã€‚ ã¡ãªã¿ã«Yã¯"Why Bird (aka Sage Bird)"ã ãã†ã§ã€‚ ã•ã¦ã€çµ„ã¿åˆã‚ã›ç†è«–ã®æœ‰åãªè©±ã¨ã—ã¦ã€ K = λxy.x S = λxyz.xz(yz) ã®äºŒã¤ã‚’用ã„ã‚‹ã“ã¨ã§ã€ãƒãƒ¥ãƒ¼ãƒªãƒ³ã‚°ãƒžã‚·ãƒ³ã¨ç‰ä¾¡ãªè¨ˆç®—能力ãŒå¾—られるã¨ã„ã†ã“ã¨ãŒçŸ¥ã‚‰ã‚Œã¦ã„ã¾ã™(ã¨ã„ã†ã“ã¨ã¯ã€ã“ã®äºŒã¤ã•ãˆã‚ã‚Œã°ã€ä»Šä¸€èˆ¬ã«ä½¿ã‚ã‚Œã¦ã„るプãƒã‚°ãƒ©ãƒ ã¯å…¨ã¦è¨˜è¿°ã§ãã‚‹ã‚ã‘ã§ã™ã)。 例ãˆã°ã€æ’ç‰å†™åƒI(λx.x)㯠SKK = (λxyz.xz(yz))(λxy.x)(λxy.x) = (λyz.(λxy.x)z(yz))(
檜山æ£å¹¸ã®ã‚マイラ飼育記 - JavaScriptã§å¦ã¶ãƒ»ãƒ—ãƒã‚°ãƒ©ãƒžã®ãŸã‚ã®ãƒ©ãƒ ダ計算
計算ã¨è«–ç†Computation and Logic - ä½è—¤é›…彦(京都大å¦å·¥å¦éƒ¨æƒ…å ±å¦ç§‘)
{{#tags}}- {{label}}
{{/tags}}