Лингвистика. Логика. Программированиедоклад на конференции