この資料をSMS送信: Foundations of programming languages:design and implementation