정오표

『컴퓨터 프로그램의 구조와 해석』의 정오표입니다.

원서인 『Structure and Interpretation of Computer Programs』의 정오표는 여기입니다.

오탈자는 저희 메일(insight@insightbook.co.kr)로 내용을 보내주시면 역자의 확인을 거쳐 즉시 반영토록 하겠습니다.

2쇄 정오표

48쪽 아래쪽 코드 1행 (임세영 님)

(define (fib n)

1쇄 정오표 (2쇄에는 모두 반영되었습니다.)

34쪽 연습문제 1-8 (이병준 님 http://www.buggymind.com/72)

( (x / y^2) + 2y) / 3

47쪽 연습문제 1-9 (1쇄 역주 추가)

(역주) 이 부분을 실제 실행해보면 무한루프가 발생한다. + 연산이 정의되지 않았다는 가정 하에 이해를 돕기 위해 저자가 일부러 그렇게 했기 때문이다.

54쪽 연습문제 1-11 (이병준 님 http://www.buggymind.com/73)

f(n)=f(n-1)+2f(n-2)+3f(n-3)

59쪽 연습문제 1.16 2행 (NoSyu 님)

         반복 프로세스

62쪽 7행 (NoSyu 님)

이 알고리즘은, a를 b로 나눈 나머지가 r일 때 a와 b의 최대 공약수가 b와 r의 최대 공약수가...

63쪽 주석 밑에서 2행 (NoSyu 님)

b_{k-1} >= Fib(k-1)이고 b_k ...

65쪽 7행 (NoSyu 님)

find-divisor를 끝내는 조건은 n이 소수가 아니면 (루트 n)보다 작거나 같은...

78쪽 연습문제 1.31 2행 (심효섭 님)

sum과 비슷하게, 어떤 구간 속에 있는 점^(숫자)마다 정해진 함수의 값을 구하고, ...

89쪽 본문 둘째 문단 2행 (배대연 님)

y3 = x / y2 = x / (x / y1)  = y1

123쪽 연습문제 2.11 3행 (buff 님)

두 번 이상 곱셈할 일은 한 번밖에 없다...

144쪽 연습문제 2.29 1~2행 (comkid 님)

두 팔 모빌은 다음과 같이 가지(막대기) 두 개를 (여기서는, list를 써서) 합친 데이터로 나타낼 수 있다.

159쪽 연습문제 2.39 코드 4행 (NoSyu 님)

fold-left (lambda (x y) <??>) nil sequence)

176쪽 연습문제 2.46 2행 (NoSyu 님)

벡터를 짜맞추는 연산 make-vect와 벡터에서 좌표를 골라내는 연산...

176쪽 연습문제 2.46 수식 마지막 행 (NoSyu 님)

s·(x, y) = (sx,sy)

179쪽 둘째 코드 마지막 행 (NoSyu 님)

(make-vect 0.0 0.0)) ; edge2의 새 끝점

190쪽 3~4행 (NoSyu 님)

예컨데, 덧셈 식이라면 더하임수augend(첫째 마디)나 덧수addend(둘째 마디)를 뽑아낼 수 있어야 한다.

196쪽 주석 37 4행(NoSyu 님)

어떤 집합 S T와 물체 x가 있다고 할 때, (element-of-set? x (union-set S T))는 (or ...

196쪽 주석 37 7행(NoSyu 님)

어떤 물체 x가 있다고 할 때, (element-of-set? x '())

200쪽 6행(NoSyu 님)

가장 작은 원소이기 때문에, x1이 set2의 원소가 아니어서 교집합 원소가 되지 못...

220쪽 연습문제 2.71 1행(NoSyu 님)

글자 n개를 위한 허프만 나무가 있고, 글자마다 빈도가 1, 2, 4, ...

225쪽 둘째 문단 6행 (김남형 님)

기와 각도를 받아서 복소수를 만들어 내는 make-from-mag-ang라고

226쪽 아래쪽 공식 1행(NoSyu 님)

x = r cos A           r = √(x² + y²)

257쪽 12행 (NoSyu 님)

그 연산이 그 데이터 타입에 곧바로...

257쪽 그림 (김남형 님)

정수 → 유리수 → 실수 → 복소수

278쪽 마지막 문단 1행 (NoSyu 님)

더 정확하게 설명하면, P와 Q가 다항식이고, O₁을 P의 차수(...), O₂를 Q의 차수라 하자. 또한 c가 Q의 첫 계수라 하자.

278쪽 마지막 행 (NoSyu 님)

그 나머지를 가짜 나머지pseudoremainder라고도 한다.

371쪽 그림 3.28 가장 오른쪽 상자

a1 + a2 = s

372쪽 첫 번쩨 코드 3행 (김남형 님)

(celsius-fahrenheit-converter C F)

376쪽 마지막 행 (NoSyu 님)

'문법 인터페이스'(3.3.4절에서 주석 27을 보자)다.

390쪽 그림 3.30 폴 바로 아래 동그라미 (김남형 님)

5원

390쪽 그림 3.30 개인 계좌(Bank2) 바로 아래 동그라미

300원

404쪽 주석 45 밑에서 2행 (NoSyu 님)

뮤텍스가 풀리면 막아놓던 프레세스를

422쪽 첫째 코드 (NoSyu 님)

(memo-proc (lambda () <exp>))

430쪽 연습문제 3.54 3~4행 (NoSyu 님)

(0부터 헤아렸을 때) n번째 원소의 값이 n+1 사다리곱factorial이 되는 스트림을 만들어 보라.

431쪽 8행 (NoSyu 님)

(scale-stream S 3)과 (scale-stream S 5)의 원소도 그러하다.

432쪽 1행 (NoSyu 님)

(define S (cons-stream 1 (merge <??> <??>)))

437쪽 코드 1행 (NoSyu 님)

(define (pi-summands n)

444쪽 둘째 코드 마지막 행 (NoSyu 님)

(pairs (stream-cdr s) (stream-cdr t)))))

456쪽 연습문제 3.79 1행 (NoSyu 님)

쓰임새를 늘려서 d²y / dt² = f(dy/dt, y) 꼴의...

490쪽 연습문제 4.8 바로 윗 문장 (김남형 님)

그게 아니라면, let*를 let에서 이끌어낸 식으로 처리하지 않고 별도로 처리하는 게 맞는가?

521쪽 역주 31 밑에서 2행 (김남형 님)

snarf down : 주인 허락이 ...

523쪽 연습문제 4.26 5행 (김남형 님)

와 엮어 쓸 수 있는 프로시저가 ...

601쪽 셋째 문단 3행 (김남형 님)

보기를 들어, 패턴 (?x ?x)와 ((a ?y c) (a b ?z))를 동일화한다 치면, ...

611쪽 두 번째 문단 밑에서 3행 (김남형 님)

달리 말하자면 논리 프로그래밍 언어에서 not은 이른바 닫힌 ...

614쪽 연습문제 4.69 6행 (김남형 님)

이를 가지고 ((great . ?rel) ?x ?y)라는 관계를 ...

636쪽 1~2행 (김남형 님)

?symbol 같은 꼴로 식 속에 들어 있는 패턴 변수를 (? symbol) 꼴로 바꾸기 위해서

650쪽 밑에서 6행 (김남형 님)

화살표를 전선으로 보고, X 단추를 스위치로 ...

671쪽 연습문제 5.6 1행 (김남형 님)

Ben Bitdiddle은 피보나치 기계 제어기가 부차적인 save와 restore 명령을 처리한다는 ...

674쪽 5.2.1 5행 (김남형 님)

make-new-machine으로 만든 기본적 모형은 본질적으로 ...

677쪽 그림 5.13 9-10행 들여쓰기 (김남형 님)

(register-table)

(list (list 'pc pc) (list 'flag flag))))

679쪽 5.2.2 6행 (김남형 님)

명령의 실행 과정과 분석을 분리하여 ...

684쪽 코드 8-10행 들여쓰기 (김남형 님)

(make-operation-exp

value-exp machine lables operations)

(make-primitive-exp

(car value-exp) machine labels))))

692쪽 연습문제 5.11 b. 1-2행 (김남형 님)

b. (restore y)는 스택에 마지막으로 저장한 값을 y에 둔다. 하지만 이것은 마지막으로 y 의 값을 스택에 저장한 경우에만 그러하며, 다른 레지스터가 y 다음에 스택에 값을 저장한 경우에는 잘못되었다고 알린다.

692쪽 연습문제 5.11 c. 1-2행 (김남형 님)

c. (restore y)는 마지막으로 저장한 y의 값을 y에 둔다. 다른 레지스터가 y 다음에 스택에 값을 저장하고 아직 꺼내지 않았더라도 개의치 않는다.

698쪽 4행 (김남형 님)

실행기 내부에서 필요한 데이터도 들어간다.

710쪽 코드 5행 (김남형 님)

(assign relocate-continue (label reassign-root))

742쪽 타깃과 연결 2행 (김남형 님)

타깃은 식을 번역한 값을 돌려줄 레지스터가 어떤 것인지 알려준다.

743쪽 밑에서 둘째 문단 2행 (김남형 님)

복합 식 계산에서 부분 식을 계산해 전체 식을 계산했듯이,

757쪽 코드 7-10행 들여쓰기 (김남형 님)

(append-instruction_sequences
    (car operand-codes)
    (make-instruction-sequence '(val) '(argl)
        '((assign argl (op list) (reg val)))))))

757쪽 코드 13-16행 들여쓰기기 (김남형 님)

(preserving '(env)
    code-to-get-last-arg
    (code-to-get-rest-args
        (cdr operand-codes))))))))

758쪽 코드 3-5행 들여쓰기 (김남형 님)

    (preserving '(argl)
          (car operand-codes)
          (make-instruction-sequence '(val argl) '(argl)

758쪽 코드 10-12행 들여쓰기 (김남형 님)

(preserving '(env)
    code-for-next-arg
    (code-to-get-rest-args (cdr operand-codes))))))

784쪽 주석48 1행 (김남형 님)

번역된 프로시저도 기본 프로시저가 아닌 복합 프로시저다.