この資料をSMS送信: Abstract Interpretation‚ Logical Relations and Kan Extensions