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