ãŠã¨ã†ã•ã‚“ã€ã¼ãã«ã‚‚Yコンビãƒãƒ¼ã‚¿ãŒã‚ã‹ã‚Šã¾ã—ãŸã‚ˆï¼ - 2009-04-09 - ãã—ã ã®ã¯ã¦ãªã‚„ã£ã¨ã€Yコンビãƒãƒ¼ã‚¿ãŒä½•ã‚’æ„味ã™ã‚‹ã‚‚ã®ãªã®ã‹ã€ã©ã†ã„ã†æ„義ãŒã‚ã‚‹ã®ã‹ãŒã‚ã‹ã‚Šã¾ã—ãŸã€‚ åå‰ã‚’使ã‚ãšå†å¸°ãŒã§ãã¾ã™ã‚ˆï¼ã¨ã„ã†ã ã‘ã®ã‚‚ã®ã˜ã‚ƒãªã‹ã£ãŸã®ã§ã™ã。 ã¾ãšÎ»ã‚ã‚Šã 関数ã®è©±ã‚’ã—ãŸã„ã®ã§ã™ã€‚ ãã®ã¨ãã€ã„ã¡ã„ã¡ hoge(x) = x * 2 ã¨ã—ã¦hogeを・・・ã€ã¨ã‹åå‰ã‚’ã¤ã‘ã¦è©±ã‚’進ã‚ã‚‹ã®ãŒã‚ã‚“ã©ã†ãªã®ã§ã€é–¢æ•°ã‚’値ã¨ã—ã¦ã‚らã‚ã™ã¨ä¾¿åˆ©ã¨ã„ã†ã“ã¨ã§ã€Î»ã¨ã„ã†å€¤ã‚’定義ã™ã‚‹ã®ã§ã™ã€‚ ãã†ã™ã‚‹ã¨ã€ä¸Šã®hoge関数ãªã‚“ã‹ã¯Î»(x)(x*2)ãªã©ã¨ã‚らã‚ã›ã¾ã™ãŒã€å¼•æ•°ã‚’ã‚らã‚ã™ã®ã«()を使ã†ã¨ã„ã‚ã„ã‚ã¾ãŽã‚‰ã‚ã—ã„ã®ã§ã€ λx.x*2 ã®ã‚ˆã†ã«è¡¨è¨˜ã—ã¾ã™ã€‚ ã¨ã„ã†ã®ãŒÎ»ã€‚ ã“ã®ã¨ãã€Î»ã«ãªã«ã‹ã‚ãŸã•ã‚ŒãŸã‚‰ã€å¼•æ•°ã¨ã—ã¦ã‚らã‚ã•ã‚Œã‚‹éƒ¨åˆ†ã‚’å˜ç´”ã«ãŠãã‹ãˆã¾ã™ã€‚ (λx.x*2)y ã¨ã‚ã£ãŸã‚‰ã€xã®éƒ¨åˆ†ã‚’yã§ãŠãã‹ãˆã¦ (λx.x*2)y → y * 2 ã¨ãªã‚Šã¾ã™ã€‚λã®å¼•æ•°éƒ¨åˆ†ã‚’与ãˆã‚‰ã‚ŒãŸå¼•æ•°ã§ç½®
{{#tags}}- {{label}}
{{/tags}}