この資料をSMS送信: Coalgebraic methods in computer science