срезал как у бунина
Mar. 2nd, 2015 05:10 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
PavelVelikhov 2 марта 2015 в 07:55
И еще в догонку — дайте пожалуйста формальное определение монады в формализме ZFC а не в теории категорий.
vpatryshev 2 марта 2015 в 09:29
Ну все, Глеб срезал.
ZFC ваше тут ни пришей не пристегни, товарищ оппонент. Монады от теории множеств не зависят.
Впрочем, спасибо, открыли мне немножко глаза на образ мышления людей, «обучившихся компьютерным наукам». Я со своими студентами тоже все удивляюсь. Линейная алгебра от зубов отскакивает, а что такое композиция двух функций, первый раз слышат.
ответить
PavelVelikhov 2 марта 2015 в 09:46
О да, срезал, как у Бунина… ZFC со всеми объектами нормально работает, видимо вы не в курсе.
http://habrahabr.ru/post/251747/
И еще в догонку — дайте пожалуйста формальное определение монады в формализме ZFC а не в теории категорий.
vpatryshev 2 марта 2015 в 09:29
Ну все, Глеб срезал.
ZFC ваше тут ни пришей не пристегни, товарищ оппонент. Монады от теории множеств не зависят.
Впрочем, спасибо, открыли мне немножко глаза на образ мышления людей, «обучившихся компьютерным наукам». Я со своими студентами тоже все удивляюсь. Линейная алгебра от зубов отскакивает, а что такое композиция двух функций, первый раз слышат.
ответить
PavelVelikhov 2 марта 2015 в 09:46
О да, срезал, как у Бунина… ZFC со всеми объектами нормально работает, видимо вы не в курсе.
http://habrahabr.ru/post/251747/
no subject
Date: 2015-03-03 05:09 pm (UTC)Напомнили про лучший пост на этом вашем/их хабре, http://habrahabr.ru/company/mosigra/blog/251465/
"Традиционная проблема обучения интерфейсу – ИК-датчики на кранах. За 10 минут наблюдения за таким краном в более-менее популярном аэропорту можно обязательно встретить людей, которые не сумеют его запустить. Я прямо явственно представляю сантехников, которые жалуются друг друг на своём швабрашвабре на тупых пользователей"
Сложный интерфейс
Date: 2015-03-04 06:54 am (UTC)Re: Сложный интерфейс
Date: 2015-03-04 07:29 am (UTC)Re: Сложный интерфейс
Date: 2015-03-04 10:38 am (UTC)Re: Сложный интерфейс
Date: 2015-03-04 12:30 pm (UTC)Re: Сложный интерфейс
Date: 2015-03-04 12:48 pm (UTC)Re: Сложный интерфейс
Date: 2015-03-04 03:03 pm (UTC)