Linux и computer science

Что ты имеешь ввиду под «computer science»?

Вы про BLAS, GSL, fftw3 и им подобное?

http://en.wikipedia.org/wiki/Computer_science

Ты еще спроси применяется ли в ядре математика. Короче, четче формулируйте вопрос. Вообще стиль разработки ядра очень далек от академических кругов на что жаловался г-н Ханс Рейзер так что целенаправленного внедрения результатов фундаментальных исследований можешь не ждать, за этим к Minix. А алгоритмы, они везде применяются.

А вообще в вопросах разнообразного моделирования и обработки больших массивов данных линукс и некоторые гнутые продукты (например R) очень любят. Тот же R пишеться «настоящими» учеными, но не обязательно в области CS. И вообще CS крайне абстрактное понятие натянуть которое можно на что угодно.

is the study of the theoretical foundations of information and computation, and of >>>practical techniques for their implementation and application in computer systems<<<.


linux и есть компьютер сайнс

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

По-моему, так.

> на тетрадку линукс не поставишь

Линукс в тетрадку можно завернуть.

Разве что Линукс Мёбиуса.

Ну хотя бы http://en.wikipedia.org/wiki/Red-black_tree

если вики не врет: the Completely Fair Scheduler used in current Linux kernels uses red-black trees.

Computer Science имеет несколько крупных достижений, таких как:
- оптимизация задач целочисленного программирования
- процедура логического вывода (типа как в прологе) - не используется
- алгоритмы сборки мусора (отсутствуют в ядре)
- верификация соответствия кода и спецификаций

Ни одно из этих достижений как следует в Linux не используется.
- LP не используется в Planner в отличии от MS Project
- нет аналога Prolog .Net
- сборка мусора есть в Java, но не на уровне операционной системы
- верификация не используется

>- нет аналога Prolog .Net

А у этого Пролога есть киллер фичи, или он просто .Net?

- сборка мусора есть в Java, но не на уровне операционной системы

А оно надо в обычной ОС, а не концептуальной, сделанной в исследовательских целях?

> А оно надо в обычной ОС

оно позволяет эту ОС убыстрить и применить к ней сквозную верификацию

у этого Пролога есть киллер фичи

ну да, процедура логического вывода - это такой отдельный движек

Не, я не про Пролог вообще (он-то есть для Линукса), а про дотнетовский.

>алгоритмы сборки мусора (отсутствуют в ядре)

оно позволяет эту ОС убыстрить

сборки мусора позволяет эту убыстрить

ой ли?

> ой ли?

да-да-да, источник - личный опыт.

>- сборка мусора есть в Java, но не на уровне операционной системы

А о каком GC идет здесь http://www.linux.org.ru/jump-message.jsp?msgid=5608979&cid=5609084 речь тогда?

Есть ли в Линуксе информатика? Не знаю. Видимо нет =)

computer science != информатика.

Мне даже трудно понять, какое из этих двух понятий более общее, а какое более конкретное... но это совсем разные вещи. %)

Компьютерных наук много и разных, а информатика как бы одна.

По-моему, «компьютерные науки» - такая же химера, как и «информатика». Никто не знает, что это такое, но все пытаются умничать :)

Согласен с Eddy_Em.

Нет никаких особых компьютерных наук. Есть разделы в обычных науках, относящиеся к компьютерам. Математика, криптография, блаблабла.

И при чём тут Linux в том, что ты написал?

> Компьютерных наук много и разных

ФКН ВГУ?

llvm написана позже, чем ядро - это отдельный проект

да там о llvm вообще ни слова.

ну, значит, и gc там нет. Есть обычный heap

информатика = одна из компьютерных наук. Есть ещё много других...

Не пытайтесь ничего мне доказать ;) я учусь на факультете компьютерных наук и знаю, что это такое. Информатики, кстати, как таковой, у нас и не было.

ну я как бы о том... математика и т.п. тоже сюда относятся... информатика как бы отдельно плетётся.

ВЫ еще скажите, что философия - это наука :)

а вопрос топикстартера мне, тем не менее, не понятен %(

ну... нам на философии говорили, что философия!=наука, что философия более общее понятие ;)

но я не знаю, верить или нет, если честно, мне на это положить.

Мое любимое определение философии - Ф. - это лженаука ни о чем. А т.н. «компьютерные науки» - обобщенное название совокупности математики, физики, кибернетики и информатики.

ЩИТО??? Ни о чём? Кардинальненько вы так =) свели на нет труды сотен людей античности и эпохи возрождения...

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

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

От современной физики и математики есть польза. А от современной философии пользы 0.

Ересь же. А где доказательства? Вы просто факты из головы берёте и принимаете их за истину? А с какой стати я должен этому верить?

То, что от математики и физики польза есть, я, допустим, знаю. А то, что пользы от чего-то (в частности от философии) нет, я такого не слышал - а как вы это докажете?

Я эту скотскую философию в институте 4 раза сдавал («обычная», «социальная», вступительный и кандидатский) и ничего, кроме головной боли, она мне не дала :) Болтология, да еще и людей с ненормальной психикой...