この資料をSMS送信: On computing limits in a symbolic manipulation system /