この資料をSMS送信: From Algebra to Operational Semantics