Б.С. Кашин. Линейные коды, исправляющие ошибки, и смежные вопросы функционального анализа