Прообразы программ и проактивные вычислениятезисы доклада