この資料をSMS送信: Preparing for a new calculus: conference proceedings