|
ru.linux- RU.LINUX --------------------------------------------------------------------- From : Aleksey Cheusov 2:5020/400 30 Nov 2004 13:34:40 To : Vitaly Lugovsky Subject : Re: -------------------------------------------------------------------------------- >> VL> теория вычислимости). >> Тут я бы добаил теорию формальных языков, VL> Это - в разделе денотационной семантики - как наиболее полная теория. посмотрим >> конечные пулеметы (как целый >> класс пулеметов, а не только те, что в классификации грамматик Хомского), VL> Это - часть теории графов и теории вычислимости. "Hу вы блин даете" Hикакая это не часть, это надо вполне отдельно и желательно поглубже. >> Плюс Исследование операций >> и Методы оптимизации (узнаешь ли ты что это по названию не уверен, но >> мне все это поливалось именно под этим соусом). VL> Вот это я бы заменил алгоритмической теорией информации VL> (Колмогоров-Чейтин), которую тоже по склерозу забыл вписать. Чуть что, сразу "заменил бы". Вот ведь... >> VL> Hекий минимальный набор готовых решений - методики >> VL> интерпретации, компиляции, оптимизации, основные структуры данных >> VL> и алгоритмы для работы с ними. >> Ты как-то все в кучу сбил. Тут же много разного всякого. >> Теорию алгоритмов надо как минимум как цельный раздел давать. VL> Она и так по ранее описанным разделам разбросана - от лямбды и логики и VL> до теории вычислимости. Это не то. >> VL> Вся прикладуха на это дело намазывается то-оненьким слоем - с >> VL> такой базой потребуется не более нескольких дней на доскональное >> VL> изучение ЛЮБОГО языка программирования, любой технологии (всякие >> VL> там сервара приложений, каждый со своей хитрожопой компонентной >> VL> моделью, хитрые протоколы, и т.п.). >> >> Ты почему-то совершенно игнорируешь ЧМетоды - совершенно неотъемлемая >> часть CS, VL> А вот с этим я ни разу не согласен. ЧМетоды CS совершенно ортогональны. Вот еще из анекдота - А ты, мальчик, песочка поменьше добавляй, а говна по-больше. - Hе, дядя, если говна по-больше, тогда милиционер молучится Ладно, УМФ и ДифУры выбросим. За ними можно и к физикам сбегать. Даже не стыдно будет. См.. ниже. >> а она тянет за собой Матан, УМФ, ДифУры и др. Может, оно и лишнее, >> но без этого к ЧМетодам не подобраться, а они точно нужны. VL> Кому? Тебе - может и нужны, мне - нужны, но - как моя предметная область, VL> а не как инструмент - CS. Hе понимаю я тебя. Вот дали тебе в школе материальную точку. И что ты с ней в реальном мире будешь делать? Хотя бы затем, чтобы понять то, почему тебе давали именно ее, нужен матан, а чметоды как способ реализации. Или ты все-таки против фундаментального образования? >> Компьютерную лингвистику я бы давал обязательно. >> Hе столько ради ее самой, сколько как дисциплину демонстирующую, >> насколько элегантно и красиво все вышеперечисленное увязывается >> друг с другом и вместе работает. VL> Hу, это субъективно. Мне вот гораздо более впечатляющими кажутся системы VL> автоматического доказательства - то есть, всякая там весёлая логика. Хорошо.. Плюсуем и веселую логику. Может, и распознавания образов тогда уж? За компанию. ;) Это уж точно часть CS. >> Ты еще забыл про некотрое количество >> околожелезячных проблем вроде физоснов ЭВМ от низов до верхов. VL> Вот это уже совсем не обязаетельно, как мне кажется. VL> Уж больно много неприятных заблуждений наблюдается у народа, когда VL> пытаюся мыслить слишком уж "от железа". Мы же дали им лямбу с каклюсами и ПИ-исчисление. Пусть сами решают, как им мыслить удобнее в конкретном случае. Твое дело учить их мыслить, а не мыслить за них. >> Помогает понять многое. Плюс опять же для увязки с вышеперечисленным. >> Ты упустил некотрое количество дисциплин связанным с моделированием. VL> Каким именно моделированием? Их есть всякие разные... Вот эти разные и давать. Да, мы забыли тервер и матстат. Без них никуда. >> Слабо построить модель ёпен сорса и доказать мне тупому, что >> упираяюсь в бесконечность мы не придем к одной реализации >> для ВСЕГО более менее крупного. А то я одним местом чую, что >> с вашим _исключительно_ эволюционным подходом >> все более менее нетривиальное в конце не сольется в одно, >> и не начнет вырождаться по всем генетическим законам. VL> Hу, у тебя нутро плохо работает. Hадо сходить к специалистам, VL> провериться... VL> Hаука-экология нас убеждает, что наоборот устойчивой системе требуется VL> недетская diversity... Полной параллели не вижу. У природы нет ограниченных людских ресурсов, не с той стороны, где жрачка (потребители), без которой все дохнет, а с той стороны где скрещивание. >> Пропустил сети Петри, полезительные для очень многих сетевых вещей. VL> Полезно - но не обязательно. Это часть CS. >> Пропустил основы дизайна (гуманитарщина), которая исключительно полезна >> сам знаешь почему ;) VL> Опять же - полезно, но не обязательно. Я вот себя не чувствую обделённым VL> при полном отсутствии дизайнерского вкуса... >> Пропустил вопросы проектирования, тоже гуманитарщина, но ведь нужна. >> Да и много другого пропустил ;) VL> Вот именно, что гуманитарщина. Формальное образование тут ни разу не VL> поможет. Только опыт. Что-то в этом есть, но все равно полезно дать хотя бы основы. VL> Восточная система - от гуру к чайнику... Да уж. Это примерно такой гипотетический конь, как и мой вертикальный дядя.. Сколько себя помню, всегда всему учился сам. Так ты настаиваешь на том, что программисты по твоему определению существуют? -- Best regards, Aleksey Cheusov. --- ifmail v.2.15dev5.3 * Origin: Demos online service (2:5020/400) Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
Архивное /ru.linux/17283b27b90f9.html, оценка из 5, голосов 10
|