独習 Scheme 三週間 Teach Yourself Scheme in Fixnum Dayséžæ±ºå®šæ€§ McCarthy ã®éžæ±ºå®šæ€§ã‚ªãƒšãƒ¬ãƒ¼ã‚¿ amb [cite{jmc:amb}, cite{wc:amb}, cite{zmc:amb}] 㯠Lisp 自身ã¨åŒã˜ãらã„å¤ã„ã‚‚ã®ã§ã™ãŒã€Lisp ã«ã¯ã‚ã‚Šã¾ã›ã‚“。amb 㯠ï¼å€‹ã‚ã‚‹ã„ã¯ãれ以上ã®å¼ã‚’引数ã¨ã—ã¦ã¨ã‚Šã€ãれらã®ã€éžæ±ºå®šçš„㪠(ã‚ã‚‹ã„ã¯ã€Œã‚ã„ã¾ã„ãªã€)ãªé¸æŠžã‚’作りã¾ã™ã€‚プãƒã‚°ãƒ©ãƒ ã‚’æ„味ã®ã‚ã‚‹ã‚‚ã®ã« åŽæŸã•ã›ã‚‹ã“れらã®é¸æŠžã‚’好んã§ã¤ã‹ã„ã¾ã™ã€‚ã“ã“ã§ã€ 曖昧é¸æŠžã®æ·±ã•å„ªå…ˆé¸æŠžã‚’ã¤ã‹ã„ã€ä»–ã®é¸æŠžè‚¢ã‚’探索ã™ã‚‹ãŸã‚ã® ãƒãƒƒã‚¯ãƒˆãƒ©ãƒƒã‚¯ã« Scheme ã®åˆ¶å¾¡ã‚ªãƒšãƒ¬ãƒ¼ã‚¿ call/cc を使ㆠamb ã® Scheme ã¸ã®åŸ‹ã‚è¾¼ã¿ã«ã¤ã„ã¦æ¤œè¨Žã—ã¾ã—ょã†ã€‚ çµæžœã¯ã€æ‹¡å¼µè¨€èªžã«ãŸã‚ˆã‚‹ã“ã¨ãªãã€Scheme ã§ç›´æŽ¥æ›¸ã‘るよã†ãª 探索å•é¡Œã®åˆ†é‡Žã§ä½¿ç”¨ã§ãるエレガントãªãƒãƒƒã‚¯ãƒˆãƒ©ãƒƒã‚ング戦略㌠ã§ãã‚ãŒã‚Šã¾ã™ã€‚ã“ã®åŸ‹ã‚è¾¼ã¿ã¯ Prolog æµ
Scheme 入門 18. éžæ±ºå®šæ€§
On Lisp --- éžæ±ºå®šæ€§
{{#tags}}- {{label}}
{{/tags}}