MIT 6.S081 Lecture 0.前提说明