An approach to automation of functional program synthesisдоклад на конференции