Wiki » History » Version 47
Alexey Demakov, 05/20/2025 04:35 PM
| 1 | 1 | Alexey Demakov | Домашние задания |
|---|---|---|---|
| 2 | |||
| 3 | h1. 2025 - ВШЭ 3 курс |
||
| 4 | |||
| 5 | 45 | Alexey Demakov | |_.№|_.ФИО |\3. 1. BitNat |\3. 2. Functor BTree |\3. 3. Shell |\4. 4. Proofs | |
| 6 | 47 | Alexey Demakov | | 1|Абдуллин Амир Айдарович | 8| | 04.28 | 8| +extras | 04.28 | 9|+extras, -notimpl | 04.28 | 7| | 05.20 | |
| 7 | 33 | Alexey Demakov | | 2|Глотов Алексей Александрович | 8| | 02.18 | | | | | | | |
| 8 | | 3|Долгих Иван Дмитриевич | -| | | | | | | | | |
||
| 9 | 43 | Alexey Demakov | | 4|Дубич Евгений Васильевич | 8| | 05.19 | 8| | 05.19 | | | | |
| 10 | 45 | Alexey Demakov | | 5|Знатнов Егор Павлович | 8| -ListNat | 02.17 | 8| +extras | 03.18 | 8| | 04.26 | 8| | 05.20 | |
| 11 | 33 | Alexey Demakov | | 6|Катюнин Павел Дмитриевич | -| | | | | | | | | |
| 12 | 45 | Alexey Demakov | | 7|Качмазов Руслан Александрович | 7|-3 covering | 02.18 | 8| | 03.25 | | | | 7| | 05.20 | |
| 13 | | 8|Крюков Андрей Денисович | 8| | 02.24 | 9| +tests | 03.07 | 8| | 03.26 | 5| | 05.20 | |
||
| 14 | 35 | Alexey Demakov | | 9|Никульшин Павел Андреевич | 8| | 03.04 | | | | | | | |
| 15 | 45 | Alexey Demakov | | 10|Панкратов Степан Юрьевич |10| +tests, +extra | 02.18 |10| +tests, +extras | 02.24 |10| +tests, +extras | 03.10 | 7| | 05.20 | |
| 16 | 36 | Alexey Demakov | | 11|Полтанов Святослав Игоревич | 8| | 02.18 | 8| | 03.05 | | | | |
| 17 | 33 | Alexey Demakov | | 12|Семенцов Николай Сергеевич | -| | | | | | | | | |
| 18 | 42 | Alexey Demakov | | 13|Федотова Анна Алексеевна | 8| | 05.19 | 8| | 05.19 | | | | |
| 19 | 33 | Alexey Demakov | | 14|Чирков Богдан Ильич | 7| -3 covering | 02.18 | | | | | | | |
| 20 | | 15|Щагин Дмитрий Владимирович | 7| -3 covering | 02.25 | | | | | | | |
||
| 21 | | 16|Коротков Алексей Сергеевич | 6| -3 covering, -1 deftot | 02.10 | | | | | | | |
||
| 22 | | 17|Проскурин Дмитрий Александрович| 7| -3 covering | 02.16 | 8| +tests | 03.04 |10| +monad trans | 03.18 | |
||
| 23 | 35 | Alexey Demakov | | 18|Сергеев Дмитрий Александрович | 7| -3 covering | 02.08 | 8| | 03.02 | 8| | 03.13 | |
| 24 | 41 | Alexey Demakov | | 19|Синицын Тимофей Сергеевич | 7| -3 covering | 02.23 | 8| | 04.13 | 7| -bug in ln | 04.14 | |
| 25 | 35 | Alexey Demakov | | 20|Соколов Александр Сергеевич |10| +1 extras, + tests | 03.09 | 9| +tests for laws | 03.09 | | | | |
| 26 | 33 | Alexey Demakov | | 21|Хритов Михаил Владимирович | -| | | | | | | | | |
| 27 | 35 | Alexey Demakov | | 22|Щукин Аркадий Александрович | 7| -3 covering, + tests | 02.18 | 8| +tests | 03.09 | | | | |
| 28 | 46 | Alexey Demakov | | 23|Яковлев Иван Александрович | 9| +tests | 03.11 | 9| +tests for laws | 03.12 | | | | 7| | 05.20 | |