SICP 비디오 강의(1986)

• MIT 6.001 Structure and Interpretation of Computer Programs의 전체 흐름을 20개 비디오 강의로 따라갈 수 있어, SICP를 체계적으로 복습하기 좋은 자료임
• 강의는 1986년 7월 Hewlett-Packard 직원 대상으로 진행됐고, Hewlett-Packard Television이 전문 제작함
• 영상은 MIT OCW와 별도 제공 사이트에서 볼 수 있으며, 상업적 이용과 호환되는 Creative Commons 라이선스로 제공됨
• 강의 내용은 1985년 SICP 1판을 기준으로 하며, 1996년 2판에서는 일부 프로그램 재작성과 새 자료 추가가 있었음
• 전체 주제와 발표 순서는 유지되어, 2판으로 공부하는 학습자에게도 여전히 참고 가치가 있음

강의 구성과 제공 방식

• Hal Abelson과 Gerald Jay Sussman의 20개 강의가 MIT 6.001 Structure and Interpretation of Computer Programs 과정을 완전한 형태로 다룸
• 강의는 1986년 7월 Hewlett-Packard 직원 대상으로 진행됐으며, Hewlett-Packard Television이 전문 제작함
• 영상은 Hal Abelson과 Gerald Jay Sussman이 제공한 자료이며, 허가를 받아 사용됨
• 같은 영상은 MIT OCW 외에 별도 제공 사이트에서도 제공되며, 상업적 이용과 호환되는 Creative Commons 라이선스를 따름

교재 판본 관련 주의점

• 이 강의는 1985년 출간된 Structure and Interpretation of Computer Programs 1판을 기준으로 진행됨
• 1996년 2판에서는 강의에서 다룬 여러 프로그램이 다시 작성됐고 새 자료가 추가됨
• 전체 주제와 발표 순서는 바뀌지 않아, 2판을 사용하는 학생에게도 이 비디오 강의가 유용함

강의 목록

• Lisp와 프로시저 추상화

  • 1A: Overview and Introduction to Lisp: Lisp 개요와 소개
  • 1B: Procedures and Processes; Substitution Model: 프로시저, 프로세스, 치환 모델
  • 2A: Higher-order Procedures: 고차 프로시저

• 데이터와 기호 처리

  • 2B: Compound Data: 복합 데이터
  • 3A: Henderson Escher Example: Henderson Escher 예제
  • 3B: Symbolic Differentiation; Quotation: 기호 미분과 인용
  • 4A: Pattern Matching and Rule-based Substitution: 패턴 매칭과 규칙 기반 치환
  • 4B: Generic Operators: 제네릭 연산자

• 상태, 객체, 스트림

  • 5A: Assignment, State, and Side-effects: 대입, 상태, 부작용
  • 5B: Computational Objects: 계산 객체
  • 6A: Streams, Part 1: 스트림 1부
  • 6B: Streams, Part 2: 스트림 2부

• 평가기와 논리 프로그래밍

  • 7A: Metacircular Evaluator, Part 1: 메타순환 평가기 1부
  • 7B: Metacircular Evaluator, Part 2: 메타순환 평가기 2부
  • 8A: Logic Programming, Part 1: 논리 프로그래밍 1부
  • 8B: Logic Programming, Part 2: 논리 프로그래밍 2부

• 기계 모델과 컴파일

  • 9A: Register Machines: 레지스터 머신
  • 9B: Explicit-control Evaluator: 명시적 제어 평가기
  • 10A: Compilation: 컴파일
  • 10B: Storage Allocation and Garbage Collection: 저장소 할당과 가비지 컬렉션