ラムダ計算基礎文法最速マスター - 貳佰ä¼æ‹¾é™¸å¤œæ—¥è¨˜ãƒ©ãƒ ダ計算ã¯, 多ãã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªž, ã¨ãã«é–¢æ•°åž‹è¨€èªžã®åŽŸå½¢ã«ãªã£ã¦ã„ã¾ã™. ラムダ計算ã«ã¤ã„ã¦ç†è§£ã—ã¦ãŠãã“ã¨ã¯, 多ãã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®ç¿’å¾—ã«å½¹ç«‹ã¤ã§ã—ょã†. ラムダ計算ã¯ãƒãƒ¥ãƒ¼ãƒªãƒ³ã‚°å®Œå…¨ã§, 計算能力ã¨ã—ã¦ã¯ãµã¤ã†ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã¨åŒã˜ã§ã™. ラムダ計算ã§è¨ˆç®—を書ã訓練をã—ã¦ãŠãã“ã¨ã¯, ä»»æ„ã®è¨ˆç®—を関数ã®ã¿ã‚’使ã£ã¦(ä»–ã®åˆ¶å¾¡æ§‹æ–‡ã‚’用ã„ãšã«)書ãã¨ãã«å½¹ç«‹ã¡ã¾ã™. ãµã¤ã†ã«æ›¸ã„ãŸã‚‰ç…©é›‘ãªå‡¦ç†ã‚’, 関数型言語ã®ã‚„ã‚Šæ–¹ã§æ›¸ãã¨ã™ã£ãã‚Šã™ã‚‹ã“ã¨ãŒå¤šã€…ã‚ã‚Š, コードを自由自在ã«æ›¸ããŸã‚ã«ã¯å¿…é ˆã®è€ƒãˆæ–¹ã¨è¨€ãˆã‚‹ã§ã—ょã†. é … ラムダ計算ã®å¼ã‚’é …(term)ã¨è¨€ã„ã¾ã™. é …ã¯å¤‰æ•°, 抽象, é©ç”¨ã®ã„ãšã‚Œã‹ã§ã™. 変数 変数(variable)ã¯ãµã¤ã†1æ–‡å—ã§æ›¸ãã¾ã™. 変数ã«ã¯é–¢æ•°å†…ã®æŸç¸›å¤‰æ•°(bound variable)ã‹è‡ªç”±å¤‰æ•°(free variable)ã‹ã¨ã„ã†åŒºåˆ¥ãŒã‚ã‚Š
{{#tags}}- {{label}}
{{/tags}}