この資料をSMS送信: Theoretical aspects of computing - ICTAC 2012