この資料をSMS送信: Эффективный алгоритм синтеза программ с условиями и подпрограммами