この資料をSMS送信: Strictness Analysis and Polymorphic Invariance