この資料をSMS送信: Program Development as a Formal Activity