Новые подходы к автоматизации проверки заданий в цифровых курсахтезисы доклада