ホワット・ア・ワンダフル・ワールド C ã§ãƒžã‚¯ãƒå±•é–‹ç³»ã‚’実装ã—ã¦ã¿ã‚‹æœ€è¿‘ Scheme ã¨ã‹ã®ã‚¤ãƒ³ã‚¿ãƒ—リタを書ãã®ãŒæµè¡Œã£ã¦ã„るらã—ã„ã (ã¨ã„ã†å‰æŒ¯ã‚Šã‚’書ãã®ã¯ä½•å›žç›®ã ã‚ã†ã‹) ã‚ã®bakaiku ã§ã‚‚å–り上ã’られã¦ã„る． ã¨ã„ã†ã‚ã‘ã§ï¼Œåƒ•ã‚‚何ã‹æ›¸ããŸããªã£ãŸï¼Žè¨€èªžã¯ï¼ŒãŸã¾ãŸã¾ç´€ä¼Šå›½å±‹ã§è¦‹ã‹ã‘ã¦èªã‚“ã§ã„ãŸè¨ˆç®—モデル論入門ã§ï¼Œè¨ˆç®—å¯èƒ½æ€§ã®æ¦‚念を示ã™ãŸã‚ã«æ案ã•ã‚ŒãŸï¼ŒScheme ã®ã»ã¼ãƒŸãƒ‹ãƒžãƒ ãªã‚µãƒ–セットã§ã‚るプãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªž L ãŒæ‰‹ã”ã‚ã§è‰¯ã•ãã†ã ．構文的ã«ã¯ P ::= C | (begin D1 ... Dm P1 ... Pn) D ::= (def X) | (def (f) P) C ::= (add1 X) | (sub1 X) | (if (nzero? X) P1 P2) | (if (nzero? X) P) | (f) ã“ã‚Œã ã‘ã§ï¼Œãƒ‡ãƒ¼ã‚¿åž‹ã¯è‡ªç„¶æ•°ã ã‘ã ．ã“ã‚Œã§ã‚‚ç¾å˜ã™ã‚‹å…¨ã¦ã®ãƒãƒ¥ãƒ¼ãƒªãƒ³ã‚°ç‰ä¾¡ãªãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã¨ï¼Œè¨ˆç®—能力ã¯
{{#tags}}- {{label}}
{{/tags}}