結果 : principles of programming languages sppu notes