イプシãƒãƒ³è¨ˆç®—ã£ã¦ãªã‚“ã§ã™ã‹ã？ ã“ã‚“ãªã‚‚ã‚“ã§ã™ã‚ˆã‰ - 檜山æ£å¹¸ã®ã‚マイラ飼育記 (ã¯ã¦ãªBlog)ラムダ計算ã¯ã€è¨ˆç®—モデルã¨ã—ã¦ã ã‘ã§ãªãã€æ‰‹è¨ˆç®—ã®å®Ÿéš›çš„手段ã¨ã—ã¦ã‚‚役立ã¡ã¾ã™ã€‚ã—ã‹ã—ã€é€šå¸¸ä½¿ã‚れるå„種変æ›ï¼ˆã‚¢ãƒ«ãƒ•ã‚¡ã€ãƒ™ãƒ¼ã‚¿ã€ã‚¤ãƒ¼ã‚¿ã€ãƒ‡ãƒ«ã‚¿ï¼‰ã§ã¯ã†ã¾ã計算ãŒé€²ã¾ãªã„ã¨ããŒã‚ã‚Šã¾ã™ã€‚例ãˆã°ã€gãŒfã®é€†é–¢æ•°ã®ã¨ãã€f(g(y)) 㯠y ã«ç°¡ç´„ã•ã‚Œã‚‹ã®ã ã‘ã©ã€f(g(y)) ⇒ y ã£ã¦ç°¡ç´„è¦å‰‡ã¯é€šå¸¸ã®ãƒ©ãƒ ダ計算ã§ã¯ã†ã¾ã定å¼åŒ–ã§ãã¾ã›ã‚“（ã„ã‚„ã€ã§ãã‚‹ã‹ã‚‚ã—ã‚Œã¾ã›ã‚“ãŒã€åƒ•ã«ã¯ã†ã¾ã„方法ãŒæ€ã„ã¤ãã¾ã›ã‚“）。 ãã“ã§ã€ãƒ©ãƒ ダ計算ã«åŠ ãˆã¦ã‚¤ãƒ—ã‚·ãƒãƒ³è¨ˆç®—も使ã†ã¨ã‚ˆã•ãã†ã§ã™ã€‚ã§ã‚‚ã€ã‚¤ãƒ—ã‚·ãƒãƒ³è¨ˆç®—ã¯ã€ãƒ©ãƒ ダ計算ã»ã©ã«ãƒãƒ”ュラーã§ã¯ãªã„ã§ã™ã。簡å˜ãªä¾‹ã§ã‚¤ãƒ—ã‚·ãƒãƒ³è¨ˆç®—を紹介ã—ã¾ã—ょã†ã€‚ 内容： イプシãƒãƒ³è¨˜å·ã¨ã‚¤ãƒ—ã‚·ãƒãƒ³é … イプシãƒãƒ³é …ã®æ„味 イプシãƒãƒ³é …ãŒå®šç¾©ã™ã‚‹é–¢æ•° 例題：gãŒfã®æ–é¢ï¼ˆã‚»ã‚¯ã‚·ãƒ§ãƒ³ï¼‰ã§ã‚ã‚‹ã“㨠イプシãƒãƒ³è¨˜å·ã¨ã‚¤ãƒ—ã‚·ãƒãƒ³é … è² ã®æ•°-1ã¨ã‹ã€ç„¡ç†æ•°âˆš2ã¨ã‹ã‚’å°Žå…¥ã™ã‚‹ã¨ãã€æ¬¡ã®ã‚ˆã†ãªå®š
Erlang実験室：状態é·ç§»ã‚’書ãã®ã¯ã“ã‚“ãªã«ç°¡å˜ - 檜山æ£å¹¸ã®ã‚マイラ飼育記 (ã¯ã¦ãªBlog)
{{#tags}}- {{label}}
{{/tags}}