この資料をSMS送信: International Symposium on Theoretical Programming :