Метавычисления и их приложения: инверсное вычисление и инверсное программирование