컴퓨터 프로그램의 구조와 해석 — 1986년 비디오 강의
요약
MIT의 명강의 '컴퓨터 프로그램의 구조와 해석(SICP)'이 1986년, 할 애벌슨과 제럴드 제이 서스먼 교수가 진행한 20편의 비디오 강의로 공개됐다. 원래 휴렛팩커드 직원들을 위해 제작된 이 강의는 상업적 이용도 가능한 크리에이티브 커먼즈 라이선스로 제공된다. 강의는 리스프 언어를 기반으로 고차 프로시저, 스트림, 메타순환 평가기, 논리 프로그래밍, 레지스터 머신, 컴파일 및 가비지 컬렉션까지 폭넓게 다룬다. 1판(1985년) 교재를 따르지만, 2판(1996년) 학습자에게도 전체 주제와 구성이 동일해 유용하다.
전체 번역
할 애벌슨과 제럴드 제이 서스먼이 진행한 이 스무 편의 비디오 강의는 1986년 7월 휴렛팩커드 직원들을 대상으로 진행된 강좌의 전체 내용을 담고 있으며, 휴렛팩커드 텔레비전에서 전문적으로 제작했습니다. 이 비디오들은 상업적 이용이 가능한 크리에이티브 커먼즈 라이선스 하에 여기에서도 제공됩니다. 참고: 이 강의들은 《컴퓨터 프로그램의 구조와 해석》 초판(1985)을 따릅니다. 논의된 많은 프로그램들은 해당 서적의 제2판(1996)에서 재작성되었고, 새로운 내용이 추가되었습니다. 이 비디오 강의들은 강좌의 전반적인 주제와 발표 순서가 변경되지 않았으므로 제2판을 사용하는 학생들에게도 여전히 유용할 것입니다. 이 비디오들은 할 애벌슨과 제럴드 제이 서스먼의 제공으로, 허가를 받아 사용되었습니다. 1A: 개요 및 Lisp 소개 1B: 프로시저와 프로세스; 치환 모델 2A: 고차 프로시저 2B: 복합 데이터 3A: 헨더슨 에셔 예제 3B: 기호 미분; 인용 4A: 패턴 매칭과 규칙 기반 치환 4B: 일반 연산자 5A: 할당, 상태, 부수 효과 5B: 계산적 객체 6A: 스트림, 1부 6B: 스트림, 2부 7A: 메타순환 평가기, 1부 7B: 메타순환 평가기, 2부 8A: 논리 프로그래밍, 1부 8B: 논리 프로그래밍, 2부 9A: 레지스터 머신 9B: 명시적 제어 평가기 10A: 컴파일 10B: 저장소 할당 및 가비지 컬렉션