|
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)
Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
|
