Технология конструирования Библиотеки численного анализа НИВЦ МГУ доклад на конференции