λ計算ã¨ã¯ コンピュータã®äººæ°—・最新記事を集ã‚ã¾ã—㟠- ã¯ã¦ãªã¾ãšç„¡é™å€‹ã®å¤‰æ•°ãŒä¸Žãˆã‚‰ã‚Œã¦ã„ã‚‹ã¨ã™ã‚‹ã€‚変数ã¯é€šå¸¸x, yãªã©ã©è¨˜è¿°ã•ã‚Œã‚‹ã€‚変数ã‹ã‚‰å‡ºç™ºã—ã€æ¬¡ã®æ“作を繰り返ã—ã¦å¾—られるもã®ã‚’λå¼ã¨å‘¼ã¶ã€‚ λ抽象 λå¼Mã¨å¤‰æ•°xã‹ã‚‰ã€å¼Î»x. Mを生æˆã™ã‚‹æ“作。ã“ã‚Œã¯ã€å¤‰æ•°xã«å¼•æ•°ã‚’å—ã‘å–ã‚Šã€å€¤Mã‚’è¿”ã™é–¢æ•°ã‚’æ„図ã™ã‚‹ã€‚Mã«å«ã¾ã‚Œã‚‹å¤‰æ•°xã¯ã“ã®Î»ã«ã‚ˆã‚ŠæŸç¸›ã•ã‚Œã‚‹ã¨ã„ã†ã€‚ãŸã ã—ã€ã™ã§ã«æŸç¸›ã•ã‚Œã¦ã„ã‚‹ã‚‚ã®ã¯é™¤ã。 関数é©ç”¨ 二ã¤ã®Î»å¼M, Nを並ã¹ã¦çµåˆã—ãŸå¼MNを作るæ“作。ã“ã‚Œã¯å¼MãŒè¡¨ã™é–¢æ•°ã«å¼•æ•°ã¨ã—ã¦Nを与ãˆã‚‹ã“ã¨ã‚’æ„図ã™ã‚‹ã€‚ ã¾ãŸÎ»æŠ½è±¡ã‚„関数é©ç”¨ã®ç¯„囲を明確ã«ã™ã‚‹ãŸã‚ã«æ‹¬å¼§ã‚’用ã„る。 例: (λx. xx)(λx. xx),λf.(λx.(f (x x)) λx.(f (x x)))
Camellia 紹介 - NTTã®æš—å·è¦ç´ 技術
CAST -- Ruby's C parsing dog. Woof.
{{#tags}}- {{label}}
{{/tags}}