 |
7 марта 2017
|
|
"Некоторые математики опасаются, что со временем большую часть доказательств будут делать программы, проверять которые тоже будут программы." - а другие этому радуются и учатся метапрограммированию.
2 |
|
Включить тёмную тему
Популярное
