{"id":416,"date":"2008-01-24T15:07:53","date_gmt":"2008-01-24T15:07:53","guid":{"rendered":"http:\/\/pchero21.com\/?p=416"},"modified":"2008-01-24T15:07:53","modified_gmt":"2008-01-24T15:07:53","slug":"sicp-%ec%97%b0%ec%8a%b5%eb%ac%b8%ec%a0%9c-1-10","status":"publish","type":"post","link":"http:\/\/pchero21.com\/?p=416","title":{"rendered":"SICP \uc5f0\uc2b5\ubb38\uc81c 1.10"},"content":{"rendered":"

 \uc5f0\uc2b5\ubb38\uc81c 1.10<\/p>\n

 \ub2e4\uc74c \ud504\ub85c\uc138\uc2a4\ub97c \uc774\uc6a9\ud558\uc5ec f, g, h \ud504\ub85c\uc2dc\uc800\uc758 \uae30\ub2a5\uc744 \uc218\ud559\uc73c\ub85c \uc815\uc758\ud558\ub294 \ubb38\uc81c\uc774\ub2e4.<\/p>\n

<\/p>\n

\n(Language : text)<\/span><\/legend>\n
    \n
  1. \n
    (define (A x y)<\/div>\n<\/li>\n
  2. \n
        (cond ((= y 0) 0)<\/div>\n<\/li>\n
  3. \n
            ((= x 0) (* 2 y))<\/div>\n<\/li>\n
  4. \n
            ((= y 1) 2)<\/div>\n<\/li>\n
  5. \n
            (else (A (- x 1) (A x (- y 1))))))<\/div>\n<\/li>\n<\/ol>\n<\/fieldset>\n

    \"\uc0ac\uc6a9\uc790
     \ud504\ub85c\uc2dc\uc800 \uc2e4\ud589 \ubb38\uc81c\uc758 \ub2f5\uc740 \uc704\uc640 \uac19\ub2e4.<\/p>\n

     \uc2e4\uc9c8\uc801\uc778 \ubb38\uc81c\ub294 \ubc14\ub85c \ub2e4\uc74c\uc778\ub370…..\ub098\ub294 \ub178\uac00\ub2e4(?)\ub85c \ud480\uc5c8\ub2e4.
     <\/p>\n

    \n(Language : text)<\/span><\/legend>\n
      \n
    1. \n
      (define (f n) (A 0 n))<\/div>\n<\/li>\n
    2. \n
       <\/div>\n<\/li>\n
    3. \n
      (define (g n) (A 1 n))<\/div>\n<\/li>\n
    4. \n
       <\/div>\n<\/li>\n
    5. \n
      (define (h n) (A 2 n))<\/div>\n<\/li>\n<\/ol>\n<\/fieldset>\n

       (f n) \uc758 \uacbd\uc6b0<\/p>\n

      \n(Language : text)<\/span><\/legend>\n
        \n
      1. \n
        (f 1) = 2<\/div>\n<\/li>\n
      2. \n
        (A 0 1) = 4<\/div>\n<\/li>\n
      3. \n
         <\/div>\n<\/li>\n
      4. \n
        (f 2) = 4<\/div>\n<\/li>\n
      5. \n
        (A 0 2) = 4<\/div>\n<\/li>\n
      6. \n
         <\/div>\n<\/li>\n
      7. \n
        \uc989 (f n) = 2n<\/div>\n<\/li>\n<\/ol>\n<\/fieldset>\n

         (g n)\uc758 \uacbd\uc6b0<\/p>\n

        \n(Language : text)<\/span><\/legend>\n
          \n
        1. \n
          (g 1) = 2<\/div>\n<\/li>\n
        2. \n
          (A 1 1) = 2<\/div>\n<\/li>\n
        3. \n
           <\/div>\n<\/li>\n
        4. \n
          (g 2) = 4<\/div>\n<\/li>\n
        5. \n
          (A 1 2)<\/div>\n<\/li>\n
        6. \n
          (A 0 (A 1 1))<\/div>\n<\/li>\n
        7. \n
          (A 0 2) = 4<\/div>\n<\/li>\n
        8. \n
           <\/div>\n<\/li>\n
        9. \n
          (g 3) = 8<\/div>\n<\/li>\n
        10. \n
          (A 1 3)<\/div>\n<\/li>\n
        11. \n
          (A 0 (1 2))<\/div>\n<\/li>\n
        12. \n
          (A 0 (A 0 (A 1 1)))<\/div>\n<\/li>\n
        13. \n
          (A 0 (A 0 2))<\/div>\n<\/li>\n
        14. \n
          (A 0 4) = 8<\/div>\n<\/li>\n
        15. \n
           <\/div>\n<\/li>\n
        16. \n
          \uc989, (g n) = g^n<\/div>\n<\/li>\n<\/ol>\n<\/fieldset>\n

           (h n)\uc758 \uacbd\uc6b0<\/p>\n

          \n(Language : text)<\/span><\/legend>\n
            \n
          1. \n
            (h 1) = 2<\/div>\n<\/li>\n
          2. <\/li>\n
          3. \n
            (A 2 1) = 2<\/div>\n<\/li>\n
          4. <\/li>\n
          5. \n
            (h 2) = 4<\/div>\n<\/li>\n
          6. \n
            (A 2 2)<\/div>\n<\/li>\n
          7. \n
            (A 1 (2 1))<\/div>\n<\/li>\n
          8. \n
            (A 1 2)<\/div>\n<\/li>\n
          9. \n
            (A 0 (A 1 1))<\/div>\n<\/li>\n
          10. \n
            (A 0 2) = 4<\/div>\n<\/li>\n
          11. <\/li>\n
          12. \n
            (h 3) = 16<\/div>\n<\/li>\n
          13. \n
            (A 2 3)<\/div>\n<\/li>\n
          14. \n
            (A 1 (A 2 2))<\/div>\n<\/li>\n
          15. \n
            (A 1 (A 1 (A 2 1)))<\/div>\n<\/li>\n
          16. \n
            (A 1 (A 1 2))<\/div>\n<\/li>\n
          17. \n
            (A 1 (A 0 (A 1 1)))<\/div>\n<\/li>\n
          18. \n
            (A 1 (A 0 2))<\/div>\n<\/li>\n
          19. \n
            (A 1 4)<\/div>\n<\/li>\n
          20. \n
            (A 0 (A 1 3))<\/div>\n<\/li>\n
          21. \n
            (A 0 (A 0 (A 1 2)))<\/div>\n<\/li>\n
          22. \n
            (A 0 (A 0 (A 0 (A 1 1))))<\/div>\n<\/li>\n
          23. \n
            (A 0 (A 0 (A 0 2)))<\/div>\n<\/li>\n
          24. \n
            (A 0 (A 0 4))<\/div>\n<\/li>\n
          25. \n
            (A 0 8) = 16<\/div>\n<\/li>\n
          26. <\/li>\n
          27. \n
            (h 4) = 65536<\/div>\n<\/li>\n
          28. \n
            (A 2 4) = 65536<\/div>\n<\/li>\n
          29. <\/li>\n
          30. \n
            \uc989, (h n) = 2^(A 2 n-1)<\/div>\n<\/li>\n<\/ol>\n<\/fieldset>\n","protected":false},"excerpt":{"rendered":"

             \uc5f0\uc2b5\ubb38\uc81c 1.10  \ub2e4\uc74c \ud504\ub85c\uc138\uc2a4\ub97c \uc774\uc6a9\ud558\uc5ec f, g, h \ud504\ub85c\uc2dc\uc800\uc758 \uae30\ub2a5\uc744 \uc218\ud559\uc73c\ub85c \uc815\uc758\ud558\ub294 \ubb38\uc81c\uc774\ub2e4. (Language : text) (define (A x y)     (cond ((= y 0) 0)         ((= x 0) (* 2 y))       … Continue reading →<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":[],"categories":[36],"tags":[340,367,652],"_links":{"self":[{"href":"http:\/\/pchero21.com\/index.php?rest_route=\/wp\/v2\/posts\/416"}],"collection":[{"href":"http:\/\/pchero21.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/pchero21.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/pchero21.com\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/pchero21.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=416"}],"version-history":[{"count":0,"href":"http:\/\/pchero21.com\/index.php?rest_route=\/wp\/v2\/posts\/416\/revisions"}],"wp:attachment":[{"href":"http:\/\/pchero21.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=416"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/pchero21.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=416"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/pchero21.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=416"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}