この資料をSMS送信: Foundations of software science and computational structures :