и еще о компьютерных науках вспомнил

[juan_gandhi]

Это мы сейчас всю эту шушеру держим за идиотов, а тогда казалось же, вау, доктора наук, они ж типа учоные.

Я вот так вот в аспирантуру запилился было. На экзамене спросили про "автоматную и структурную интерпретацию языков программирования". В процессе сдачи я понял, что экзаменаторы не в курсе ни иерархии языков, ни того, как оно работает в конкретном случае. Паника паникой, но это ж советский вуз, и я был как бы блатной или там плановый, хз.

А погорел я так. Приехала с Новосиба какая-то чуча, и стала на "семинаре" рассказывать про какую-то особую логику. А истина, спрашиваю, у вас есть? Есть, и не одна. А их конъюнкция, спрашиваю, чему равна? А зависит, говорит, от того, чего с чем. А я такой "это ж ахинея!" Ну так вот и не вписался в систему, да. Не то чтобы больно хотелось, конечно. Просто раньше не сталкивался, так и удивился, что это у них там такое, собственно?

Comments

[andreybar.livejournal.com]

Я вообще никогда не понимал никаких ученых в компьютерных науках. Никакого отношения к программированию они никогда не имели и программировать на умеют.

[juan-gandhi.livejournal.com]

У нас на матмехе были очень даже хорошие. Цейтин, например.

[gxachaturov.livejournal.com]

А я у тебя, не в обиду профессору католического уивера, уже цитировал высказывание, что кто не может ни хрена создавать - идет в учителя, ну а кто даже на это не годен - идет учить учителей.

В этой шутке есть большая правда, увы. Будучи разработчиком на переднем крае, приходится быть в курсе современных идей + обмен информаццией между коллегами. При этом, в конкурентной борьбе обоснования всегда запаздывают. Ну и не до степеней.

[andreybar.livejournal.com]

А какие программы писали, о чем?

[juan-gandhi.livejournal.com]

Да конечно!

[juan-gandhi.livejournal.com]

Да там что-то насчет системы разделения времени рассекали. Но Цейтин-то еще трансформацию открыл. КНФ. https://en.wikipedia.org/wiki/Tseitin_transformation

А истина, спрашиваю, у вас есть? ...

[spectat.livejournal.com]

это про fuzzy logic?

[c-a-s-u-s.livejournal.com]

Местечковый вопрос - а о Глушко (https://ru.wikipedia.org/wiki/%D0%93%D0%BB%D1%83%D1%88%D0%BA%D0%BE%D0%B2,_%D0%92%D0%B8%D0%BA%D1%82%D0%BE%D1%80_%D0%9C%D0%B8%D1%85%D0%B0%D0%B9%D0%BB%D0%BE%D0%B2%D0%B8%D1%87) не слышали?

Re: А истина, спрашиваю, у вас есть? ...

[juan-gandhi.livejournal.com]

Есть две версии Fuzzy logic. Одна - это Zadeh и связанная с этим ахинея. Там истину (в широком смысле) искать не имеет смысла. И есть интуиционистская логика, которая всю эту fuzzy моделирует чисто математически. И там истина одна. Нейтральный элемент относительно конъюнкции.

[juan-gandhi.livejournal.com]

Не пугайте меня. Не Глушко, а Глушков.

Хотя Глушков в последние годы, говорят, и впал немножечко в маразм, но в целом у них там вполне наука была; и журнал "Кибернетика" был очень хорош.

Да и Глушков, собственно, был настоящий ученый.

[panchul.livejournal.com]

Да ладно! Скажем какой-нибудь LR(k) парсер для фронт-энда компиляторов выдумал ученый или индустриальный программист?

Или скажем ESPRESSO algorithm (http://dl.acm.org/citation.cfm?id=577427) для минимизации логических выражений для логического синтеза при разработке интегральных микросхем - его в Беркли придумали.

И из первого, из из второго сразу сделали полезные программы

[georg-pik.livejournal.com]

Читал интервью ученого, работающего в области АУС ТП как лет 30 назад рабочие-технологи на производстве на него матом ругались. А сейчас относятся очень хорошо. Ибо компьютеры появились и реализовать теорию можно стало.

[juan-gandhi.livejournal.com]

Известный анекдот на эту тему. "И ты говори!"

[georg-pik.livejournal.com]

Я сам работал рабочим-технологом и пользовался системами АСУ ТП. Когда вместо того, чтобы бегать по горячему цеху и крутить задвижки сидишь за компьютером - гораздо лучше.

[c-a-s-u-s.livejournal.com]

Пропустил букву. Угу, значит не зря хвалили преподаватели его нам. А то после окончания института и не слышал о нем ни от кого.

[sorhed.livejournal.com]

Ситуация в вузе, когда ты оказываешься умнее экзаменатора — рядовая. Есть в ней и глубокий смысл, я полагаю. В жизни тоже так будет, и не только с другими людьми, но и с самим собой.

[pbl.livejournal.com]

И не говорите, такие дятлы бессмысленные все эти ваши Одерские и SPJ.

[vit-r.livejournal.com]

У прикладников качество алгоритмов растёт быстрее мощности процессоров. Но это не компьютерные науки, а примат.

[andreybar.livejournal.com]

Это не практическое программирование.

[andreybar.livejournal.com]

я не имею понятия, но вряд ли я нашел бы общий язык с таким программистом.

[andreybar.livejournal.com]

я даже не могу понять о чем вы говорите

[anonim-legion.livejournal.com]

Для борьбы с такими экзаменаторами есть кафедральная комиссия. Но это только для студентов.

[pbl.livejournal.com]

О scalac и GHC.

[andreybar.livejournal.com]

Лично я не занимаюсь опен сорсем и из всего что вы перечислили имею долю уважения только к scalac, говорят Твиттер написан на нем.

Но это не моя задача.

[pbl.livejournal.com]

Это мы сейчас играемся в интересную вариацию no true Scotsman?

Ок.