суббота, 17 мая 2014 г.

Рефлен

За последние полгода часто встречаю

- De Bruijn, француз по фамилии Сахарович (дед у него из белых) называл его как "ДеБра", причем с французским акцентом "ДеБруа", где вот это "у" совсем короткое, и "р" прикольно французское.
Он оказывается, дофига чего не только в автоматах и комбинаторике сделал. Но еще и в логику залез с Automath, и даже а в книгах по зависимым типам он немного упоминается.
А в русском пока нет устойчивого его написания. От ДеБрюжина до ДеБрюйна.

- Sleator. Еще раза 4-5 слышал. В основном, "вот это сделал вот этот чувак. Он еще знаменит, что с Тарьяном сделал splay-деревья". Тарьяна за последние полгода я слышал меньшее количество раз, и похоже только в связке со Слейтором.

- Conway. Тот который "жизнь". Причем, он ее проклинает, так как все его только по "жизни" и знают. У меня на полке лежит "Квадратичные формы, данные нам в ощущениях". Так и не заметил бы, случайно увидел где-то автора, не в самой книжке.

В живую я только Слейтора видел. Да и то, в тот момент я о нем слышал факта полтора.

Комментариев нет: