프로그램의 구조와 해석

• 강의실: 공학 7관 xxx호 (xxx호)
• 교재 (Textbook)
  • Structure and Interpretation of Computer Programs (second edition) [pdf][book]
  • 번역본: 프로그램의 구조와 해석 [book]
  • - Further resources: sicp
  • - MIT course: MIT 6.001
  • - Solutions: link

• Racket - Scheme programming tool: racket
• Drawing in Canvases: link
• Mutable Pairs and Lists: link
• Vectors: link
• SICP codes: link
• SICP codes테스트를 위한 racket환경설정: pdf

• [Session I] Syntax of Scheme, procedural abstraction, and recursion (Lecture01~Lecture03) [slides] [printable]
• Lecture 01 [pdf] [ppt]
  • Sec1.1 - Scheme Basics [pdf][html]
  • Sec1.2 - Procedures and the Processes [pdf][html]
• Lecture 02 [pdf] [ppt]
• Lecture 03 [pdf] [ppt]

• [Session 2] Lists, higher order procedures, and symbols (Lecture04~Lecture10) [slides] [printable]
• Lecture 04 [pdf] [ppt]
• Lecture 05 [pdf] [ppt]
  • Sec1.3 - Higher-Order Procedures [pdf][html]
• Lecture 06 [pdf] [ppt]
  • Sec2.1 - Introduction to Data Abstraction [pdf][html]
  • Sec2.2 - Hierarchical Data and the Closure Property [pdf][html]
• Lecture 07 [pdf] [ppt]
• Lecture 08 [pdf] [ppt]
• Lecture 09 [pdf] [ppt]
• Sec2.3 - Symbolic Data [pdf][html]
• Lecture 10 [pdf] [ppt]
• Sec2.4 - Multiple representations for abstract data [pdf][html]
• Sec2.5 - Systems with generic operations [pdf][html]

• [Session 3] Mutation, and the environment model (Lecture11,14) [slides]
• Lecture 11 [pdf] [ppt]
• Sec3.1 - Assignment and Local State [pdf][html]
• Sec3.3 - Modeling with Multable Data [pdf][html]
• Lecture 12 [pdf] [ppt]
• Lecture 14 [pdf] [ppt]
• Sec3.2 - The environment model of evaluation [pdf][html]

• [Session 4] Interpretation and evaluation (Lecture17,18) [slides]
• Lecture 17 [pdf] [ppt]
• Lecture 18 [pdf] [ppt]
• Sec4.1 - The metacircular evaluator [pdf][html]
• [ref] Evaluator [Evaluator(code)]
• [ref] [ch4-mceval.scm]

• [Session 5] Debugging [slides]

• [Session 6] Language design and implementation [slides]

• [Session 7] Continuations, lazy evaluations, and streams (Lecture19,20) [slides] [slides]
• Lecture 19 [pdf] [ppt]
• Sec4.2 - The lazy evaluation [pdf][html]
• [ref] [ch4-leval.scm]
• Lecture 20 [pdf] [ppt]
• Sec3.5 - Streams [pdf][html]

• [Session 8] Non-determistic computing [pdf]
• Sec4.3 - Nondeterministic computing [pdf]

• [Session 9] Register machines [slides]
• Lecture 21 [pdf] [ppt]
• Lecture 22 [pdf] [ppt]
• Lecture 23 [pdf] [ppt]
• [ref] [ch5-eceval.scm]
• Sec5.1 - Designing register machines [pdf][html]
• Sec5.2 - A register-machine simulator [pdf][html]
• Sec5.4 - The explicit-control evaluator [pdf][html]

• Assignment 1 [pdf]
• Code: [simple-integration.scm]
• Assignment 2 [pdf]
• Code: [calculus.scm]
• Assignment 3: [pdf]
• George's lines [rkt], Fish's curves [rkt]
• Sample GUI code [rkt]
• Assignment 4 [pdf]
• Code: [memoize.scm][table-tests.scm]
• Assignment 5 [pdf]
• Assignment 6 [pdf]
• Code: [eval.scm]