허기홍
가입: 2007년 9월 27일
올린 글: 231
|
 올려짐: 2007년12월10일 22:32 주제: 강의교재에 나타난 오타들 |
 |
|
아까 말씀 드렸던 오타들 입니다.
덕분에 교재를 복습도 하고 좋았습니다.
| 인용: |
12쪽 맨 아래
뭐가 되었던지간에 => 뭐가 되었든지간에
15쪽
2.1.1
유한한 갯수 => 유한한 개수
귀납법은 대게 => 귀납법은 대개
20쪽 맨 아래, 21쪽 맨 위
짜장면 => 자장면
26쪽 아래
갯수 => 개수 x 2
40쪽 대게는 => 대개는
45쪽
(M, if 0 then C1 else C2) -> (M,C1)
(M, if v then C1 else C2) -> (M,C2) (v != 0)
=>
(M, if 0 then C1 else C2) -> (M,C2)
(M, if v then C1 else C2) -> (M,C1) (v != 0)
48쪽
어떻게 정의하던간에 => 어떻게 정의하든간에
대게 => 대개
드믈다 => 드물다
대게 => 대개
52쪽
아뭏튼 => 아무튼
수학적 깃법 => 수학적 기법
59쪽
아뭏튼 => 아무튼
84쪽
이름을 붙이고고 => 이름을 붙이고
86쪽 아래
자유자제 => 자유자재
89쪽
짜장면 => 자장면
90쪽
아뭏튼 => 아무튼
97쪽 맨 아래
두벗째 => 두번째
99쪽
한다던지 => 한다든지
100쪽
대게의 => 대개의 x 2
응근슬쩍 => 은근슬쩍
106쪽
곰씹어 => 곱씹어
115쪽
아뭏튼 => 아무튼
123쪽
앞으로 람다 게산법 => 앞으로 람다 계산법
133쪽 맨 아래
비로서 => 비로소
138쪽 맨 위
6 ㅏ ㅅx.E -> <ㅅx.E, 6
=> 6 ㅏ ㅅx.E -> <ㅅx.E, 6>
146쪽 맨 위
않될 => 안될
148쪽
대게의 => 대개의
응근슬쩍 => 은근슬쩍
149쪽
게산 => 계산
155쪽
영원히 돌던가 => 영원히 돌든가
156쪽
증명할 떼 => 증명할 때
167쪽 6째줄
SS' => S'S
183쪽 let 타입추론 규칙
E의 타입도 T이고 E'의 타입도 T인데 둘중 하나가 T'으로 바뀌어야 할 것 같습니다.
184쪽 맨 아래
아구를 => 아귀를
189쪽 let 타입추론 규칙
E의 타입도 T이고 E'의 타입도 T인데 둘중 하나가 T'으로 바뀌어야 할 것 같습니다.
196쪽 6.2.3.1
효율적인고 => 효율적이고
|
이상이 책의 오타이고, 마지막 숙제하면서 저와 친구들이 좀 고생했던 부분이 아래의 오타입니다.
| 인용: |
추가 5-1poly-tex.pdf
17쪽ㅅx.E 의 추론규칙
S2 = U(...)
=> S2 = M(...)
17쪽 let 타입 추론규칙
S2 = M(.., E2, S1 B) => S2 = M(.., E2, S1 T)
|
한학기 동안 잘 가르쳐 주셔서 감사합니다. 안녕히 계십시오. |
|
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
