この資料をSMS送信: Strictness Analysis for Higher Order Functions