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

[juan_gandhi]

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

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

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

Comments

[andreybar.livejournal.com]

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

[juan-gandhi.livejournal.com]

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

[andreybar.livejournal.com]

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

[juan-gandhi.livejournal.com]

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

[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) не слышали?

[panchul.livejournal.com]

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

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

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

[andreybar.livejournal.com]

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

[pbl.livejournal.com]

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

[andreybar.livejournal.com]

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

[juan-gandhi.livejournal.com]

:) Бывают разные ж. Даже в России.

[gxachaturov.livejournal.com]

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

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

[juan-gandhi.livejournal.com]

Да конечно!

[snowps.livejournal.com]

"Разработчик на переднем крае" - это очень странный термин. :) Если что-то идёт в продакшен - это уже однозначно не передний край, поскольку хайтек - это всегда то, что на несколько шагов опережает коммерческое применение. Современные идеи на нынешнем "переднем крае" программистского мира - это в основном "как меньшими затратами получить то, что потом можно продать" и оперируют не созданеим инструментов как таковых, а попыткой подбора наиболее приемлемого сета из них, притом инструменты как раз делают не те программисты, которые декларируют свою принадлежность к переднему краю, а унылые профи из Интел, которые пишут компиляторы, или угарная публика из опенсорца, которая в состоянии вечером под пиво написать драйвера к железкам без документации. :)

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

[spectat.livejournal.com]

это про fuzzy logic?

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

[juan-gandhi.livejournal.com]

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

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

[snowps.livejournal.com]

А почему интуиционистская модель противопоставляется fuzzy logic? По-моему это вообще довольно разные подходы, для разного класса задач (особенно в контексте программистской практики).

[georg-pik.livejournal.com]

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

[juan-gandhi.livejournal.com]

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

[georg-pik.livejournal.com]

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

[sorhed.livejournal.com]

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

[anonim-legion.livejournal.com]

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

[sorhed.livejournal.com]

Не надо ни с кем бороться. Стать умнее и сдать экзамен — зачастую не слишком пересекающиеся категории. Эскалировать нерационально — время можно более продуктивно потратить на что-нибудь ещё.

[vit-r.livejournal.com]

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

[snowps.livejournal.com]

Это неверно сформулированная мысль. :) Если говорить более корректно: "производительность железа уже достаточна для того, чтобы программисты выбирали не самые быстрые решения, а наиболее удобные для минимизации их временных ресурсов". Те алгоритмы, которые сейчас используются в языках высокого уровня и эксплуатируют специфику синтаксиса языков и компиляторов, в подавляющем большинстве являются не новыми алгоритмами обработки данных, а всего лишь оптимизированной стенограммой тех алгоритмов для прямого исполнения в коде, которые были разработаны несколько десятков лет назад на гробах вроде PDP11 или System360. :)

[vit-r.livejournal.com]

Я имею ввиду математику. Люди придумывают, как считать быстрее. А что там используется - дело десятое. Известный алгоритм для скорости лучше всего имплементировать в параллельном Фортране.