Записи с темой: танцы с бубном. (список заголовков)
23:43 

Stop the World – I Want to Get Off (с)
На мой взгляд, люди, утверждающие, что между Си и С++ практически нет никакой разницы, либо практически не знают одного из этих языков, или просто очень странные.
Да, конечно, если рассматривать только программки вида "Hello world!", то тут, если не задумываться о потоках, разница в целом не особо заметна. Но вот во всём остальном... С++ отличатся от Си как минимум поддержкой ООП. А это уже существенно.

И, нет, я не считаю, что Си чем-то лучше или хуже плюсов. Они разные, вот и всё.

@темы: Мысли вслух, Танцы с бубном.

16:34 

И всё-таки нашёл.

Stop the World – I Want to Get Off (с)
General Problem Solver (GPS , буквально Общий Решатель задач) — компьютерная программа, созданная в 1957 году Гербертом Саймоном (Herbert Simon), Дж. Шоу (J.C. Shaw), и Алленом Ньюэллом (Allen Newell), предназначена для работы в качестве универсальной машины для решения задач. С помощью GPS можно решить, в принципе, любую символически формализованную задачу. Например: доказательство теорем , геометрические задачи и игра в шахматы . Она была основана на теоретической работе Саймона и Ньюэлла о логических машинах. GPS была первой компьютерной программой, которая разделила свои знания о задачах (правила, которые подавались на вход программы) от своей стратегии решения задач (общий решающий поисковый движок). Это было реализовано на низкоуровневом языке программирования IPL .

(с) ru.wikipedia.org/wiki/%D0%A3%D0%BD%D0%B8%D0%B2%...


При разработке GPS авторов в основном интересовали вопросы, связанные с поисковой деятельностью человека, решающего задачи. Это привело к созданию известной эвристической стратегии поиска решений, используемой в различных дальнейших модификациях решателей. Однако, стремясь создать теорию мышления на подобной основе, авторы не уделили должного внимания другому важному аспекту теории — представлению знаний. В результате GPS не оказался универсальным решателем задач, на что надеялись его создатели. Решатель по существу имел процедурный язык низкого уровня, на котором, как показали, например, шахматы, далеко не всегда оказалось возможным эффективное описание сложных сред в терминах априори упорядоченных различий, таблиц связей, операторов и других элементов проблемной среды GPS. Поэтому, несмотря на довольно эффективную саму по себе стратегию поиска (анализ целей и средств, планирование и др.), система решала задачи медленно. Здесь сказалась нерешенность проблемы совмещения эффективной стратегии поиска с эффективным представлением знаний. [Ефимов, 1982]

(с) Доклад 3.07 OSTIS-2012 - Семантическая технология компонентного проектирования интеллектуальных решателей задач


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

В 1954 году А. Ньюэлл задумал создать программу для игры в шахматы. Дж. Шоу и Г. Саймон объединились в работе по проекту Ньюэлла и в 1956 году они создали язык программирования IPL-I (предшественник LISPа) для работы с символьной информацией. Их первыми программами стала программа LT (Logic Theorist) для доказательства теорем и исчисления высказываний (1956 год), а также программа NSS (Newell, Shaw, Simon) для игры в шахматы (1957 год). LT и NSS привели к созданию А. Ньюэллом, Дж. Шоу и Г. Саймоном программы GPS (General Problem Solver) в 1957-1972 годах Программа GPS моделировала используемые человеком общие стратегии решения задач и могла применяться для решения шахматных и логических задач, доказательства теорем, грамматического разбора предложений, математического интегрирования, головоломок типа "Ханойская башня" и т. д. Процесс работы GPS воспроизводит методы решения задач, применяемые человеком: выдвигаются подцели, приближающие к решению, применяется эвристический метод (один, другой и т. д.), пока не будет получено решение. Попытки прекращаются, если получить решение не удается. Программа GPS могла решать только относительно простые задачи. Ее универсальность достигалась за счет эффективности. Специализированные "решатели задач" - STUDENT (Bobrov, 1964) и др. лучше проявляли себя при поиске решения в своих предметных областях. GPS оказалась первой программой (написана на языке IPL-V), в которой предусматривалось планирование стратегии решения задач.

Для решения трудно формализуемых задач и, в частности, для работы со знаниями были созданы языки программирования для задач ИИ: LISP (1958 год, J. MacCatthy), Пролог (1975-79 годы, D. Warren, F. Pereira), ИнтерLISP, FRL, KRL, SMALLTALK, OPS5, PLANNER, QA4, MACSYMA, REDUCE, РЕФАЛ, CLIPS. К числу наиболее популярных традиционных языков программирования для создания ИС следует также отнести С++ и Паскаль.

(с) www.intuit.ru/department/human/isrob/1/2.html

@темы: ГУАП, Интересное., Коллекционер мыслей, Танцы с бубном.

00:05 

Stop the World – I Want to Get Off (с)
Вот ещё, снова насчёт ЗЗ. Я же уже говорил, что фигня всего его алгоритмы?
Так вот, насчёт последней лабы. Он минут двадцать орал на меня, пытаясь мне доказать, что функции должны быть максимально автономными (с чем я, к слову, не спорил — меня интересовало другое, но это не так важно). И что? Если объявлять массивы так, как он говорит, и писать функции автономными (по его мнению — автономными), то на деле никакой автономии не получается, просто зря используется дохрена памяти.

Массивы он просит объявлять как отдельный тип (индекс, элемент и массив — типы), поскольку обычное объявление массива, понимаете ли, не универсально и вообще для слабых. Но если в программе требуется, чтобы функции работали с этими типами, то их нужно объявлять как глобальные, а не как локальные, но использование чего-либо глобального в функциях, с точки зрения ЗЗ, приводит к потере автономности.

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

@темы: ГУАП, Мысли вслух, Танцы с бубном.

14:33 

Stop the World – I Want to Get Off (с)
Разобрал варианты сегодняшней контрольной. Там всего 3 задания, 2 из них довольно лёгкие, а вот последнее...
Собственно, это тот редкий момент, когда даже я не понимаю ровным счётом ничего.

Суть задания в том, чтобы проанализировать уже готовый вывод, совершенно безошибочный и правильный: по-сути, от студента требуется только написать, какими правилами и свойствами пользовались при составлении данного вывода для получения тех или иных его строчек. Проблемы две: первая заключается в том, что правила эти весьма путанные, и часто их вид зависит от личного мнения автора того или иного пособия, вторая — в том, что некоторые вещи там достаточно очевидны, но, увы, очевидность — не для суровых метаматематиков, нужны именно умные слова.
Плюс, мне кажется, что в вариантах контрольной используется какое-то ещё свойство, не упомянутое в методичках. Я бы назвал его свойством обратного следования или чем-то ещё в этом роде (если А — это В, то В — это А), и всё бы стало легко и просто, но нет же...

Вообще матлогика наполовину совершенно очевидна, а наполовину — совершенно запутана, при чём настолько, что, кажется, в ней даже сами матлогики путаются. И никакой относительно очевидной серединки в ней нет.
То есть, наука, конечно, интересная, но местами такая дурацкая...

@темы: ГУАП, Жесть-дэс!, Мысли вслух, Танцы с бубном.

13:19 

Stop the World – I Want to Get Off (с)
Сегодня исполняется 197 лет со дня рождения первого в истории программиста — графини Ады Лавлейс, дочери Джорджа Гордона Байрона.

Именно Ада является автором первой в мире программы для вычислительной машины (разработанной Чарльзом Бэббиджем), она же ввела в широкое употребление такие термины, как «цикл» и «рабочая ячейка» и пришла к тому выводу, что вычислительная (аналитическая) машина способна выполнять действия не только над числами, поставила вопрос о возможностях использования вычислительных машин для решения самых различных задач.


При этом Ада не только отлично понимала, какие именно перспективы имеют вычислительные машины, но и крайне трезво оценивала их потенциальные возможности.

Широкую известность получило следующее высказывание Лавлейс: «Аналитическая машина не претендует на то, чтобы создавать что-то действительно новое. Машина может выполнить все то, что мы умеем ей предписать. Она может следовать анализу, но она не может предугадать какие-либо аналитические зависимости или истины. Функции машины заключаются в том, чтобы помочь нам получить то, с чем мы уже знакомы».

Алан Тьюринг, один из отцов информатики, увлекшийся в конце 1940-х годов этими проблемами, был вынужден ввести в своей знаменитой статье «А может ли машина мыслить?» (1950 г.) целый раздел под названием «Возражения леди Лавлейс». Предельно четко сформулированные тезисы графини заставили его искать обходные пути и придумать свой «тест Тьюринга», с чего и ведет отсчет современная дисциплина под названием «искусственный интеллект».

В память об Аде Лавлейс назван разработанный в 1980 году язык АДА – один из универсальных языков программирования. Этот язык был широко распространён в США, и Министерство Обороны США даже утвердило название “Ада”, как имя единого языка программирования для американских вооруженных сил, а в дальнейшем и для всего НАТО. Так же в честь Ады Лавлейс названы в Америке также два небольших города — в штатах Алабама и Оклахома. В Оклахоме существует и колледж ее имени.

Подробнее с биографией этой замечательной женщины можно ознакомиться, например, здесь:
http://habrahabr.ru/post/80800/

@темы: Интересное., ~visuelle~, ~l'histoire~, Коллекционер мыслей, Культурологика, Танцы с бубном.

15:55 

Stop the World – I Want to Get Off (с)
Продолжая тему конца света...



(с) Типичный Программист

При чём, обоже, гречка не сможет никого спасти от надвигающейся опасности!))

@темы: ~visuelle~, Коллекционер мыслей, Посмеяться, Танцы с бубном.

00:32 

Stop the World – I Want to Get Off (с)
Немного меня и суровой КЦТТшной действительности. Удивительно, как за то время, которое я там занимаюсь, наш скромный кружок программистов превратился в кружок програмистов-гитаристов-кулинаров.

Пока что фото только со мной, но потом как-нибудь покажу и всех остальных. Всё-таки КЦТТ — невероятное место.



+ 2

И гитара, и фото — АВ.
А я, к слову, совершенно не могу сыграть ничего приличного, особенно по памяти. Но не попытаться было бы совсем обидно.
А вот АВ, Лёша и Роса здорово играют.

@темы: ЦДЮТТа, Танцы с бубном., Мысли вслух, фото

23:56 

Stop the World – I Want to Get Off (с)
А теория информации, если к ней присмотреться, совсем не такая страшная, как могло бы показаться. По крайней мере, помехоустойчивые коды — штука крайне интересная (надо не забыть поблагодарить АВ за ссылку на статью). Жалко только, что на информатике всё дают пока лишь на чисто ознакомительном уровне, слишком поверхностно, чтобы можно было хоть что-то уяснить, не пользуясь Гуглом и дополнительной литературой. Надеюсь, потом нам это всё объяснят ещё раз, но уже куда более подробно.

Завтра поздравляем однокурсника с Днём Рождения — надеюсь, Лёша с Димой таки купили ему подарок.
И нужно не забыть забрать подарок для Ромы — очень надеюсь, что он не только уже готов, но и будет привезён завтра утром.

@темы: Бытовуха, и ничего более..., ГУАП, Танцы с бубном., Мысли вслух, Жесть-дэс!

20:51 

Stop the World – I Want to Get Off (с)
Через неделю начинаются контрольные. Снова.
Нужно как-то к ним подготовиться.

Пока-что из всех достижений — сданный реферат по введению в направление и автомат по праву.
А вот со всем остальным пока завал... При этом ещё меня постоянно просят какие-нибудь конспекты выложить — хорошо, что теперь есть сканер (кстати, он лапочка), и можно не заморачиваться с фотографированием и обработкой.
Только вот ребятам надо намекнуть, что с них тортик.

И немного о том, почему я всё-таки предпочитаю работать с компами:



Если заменить пиво на чай с печеньками, выйдет ну совсем жизненно)

@темы: ~visuelle~, Бытовуха, и ничего более..., ГУАП, Жесть-дэс!, Коллекционер мыслей, Мысли вслух, Посмеяться, Танцы с бубном.

00:31 

Stop the World – I Want to Get Off (с)
Чем я занимаюсь весь день? Правильно, делаю лабы по программированию на несколько недель вперёд.
Конечно, по-хорошему их надо делать только после того, как ЗЗ объяснит задание и даст алгоритм, но его алгоритмы всё равно не работают, а я всё равно знаю те темы, которые мы сейчас проходим и будем проходить ещё как минимум до конца семестра.

@темы: Танцы с бубном., Мысли вслух, Жесть-дэс!, ГУАП, Бытовуха, и ничего более...

23:28 

Stop the World – I Want to Get Off (с)
Код не работает.
Начал в нём разбираться и понял, что причина, по которой он не работает — то, что я реализовывал алгоритм, который нам давал ЗЗ на последней паре. Если отвлечься от его идей и начать думать самостоятельно, но всё становится заметно лучше. Правда, исправить там нужно ещё очень многое, чтобы заработало...

@темы: Бытовуха, и ничего более..., ГУАП, Мысли вслух, Жесть-дэс!, Танцы с бубном.

23:59 

Stop the World – I Want to Get Off (с)
Пользователи — они такие)
Дурацкий комикс из Интернета, но на столь злободневную тему, что я не могу не.

23.11.2012 в 20:53
Пишет ЛичЪ:

Даааа!
.
23.11.2012 в 20:07
Пишет Сарт:

23.11.2012 в 17:25
Пишет Б. и Д.:



URL записи

URL записи

URL записи

@темы: ~visuelle~, Коллекционер мыслей, Посмеяться, Танцы с бубном.

20:17 

Stop the World – I Want to Get Off (с)
Показал отцу, как можно на компьютере играть в шахматы.
Отец потерян для реальности.

@темы: Бытовуха, и ничего более..., Жесть-дэс!, Мысли вслух, Танцы с бубном.

21:21 

Stop the World – I Want to Get Off (с)
Вести с полей: система успешно перестановлена и настроена (вторую буду ставить чуть позже), реферат пишется. Какая там была норма? Десять страниц на подраздел? Ну, будем считать, что я просто перераспределил страницы.

Главное не увлечься и не забыть сделать лабу. Она вообще не сложная, сложнее будет её правильно оформить и распечатать...

Что касается компа, то единственный его минус — дисковод, шумящий аки трактор. Машина и без того не совсем тихая (видимо, поставив на неё хороший проц и кучу памяти, производители таки решили на некоторых деталях сэкономить), но стоит диск вставить... При этом работает-то всё вполне корректно.
Я лично ничего не имею против подобного шума — с КЦТТшными серваками ему всё равно не сравниться, а я уже и к ним привык (за исключением, конечно, персонального сервака наших местных гоблинов, но там уровень шума такой, что взлетающий самолёт в сравнении с ним крайне тих, да и сервак этот Рома включать не разрешает). А вот мама сегодня напугалась...

Вот как-то так.
Ещё мне тут напомнили, что я обещал выложить конспект по линейке в Дропбокс...
Дела, почему вас так много? Время, почему тебя так мало?

@темы: Бытовуха, и ничего более..., ГУАП, Жесть-дэс!, Мысли вслух, Танцы с бубном.

17:06 

Stop the World – I Want to Get Off (с)
Принтер так и не купили — в магазинах не было нужного, так что придётся заказывать его на Юлмарте.
Сейчас переустанавливаю Винду, параллельно думаю продолжить работу над рефератом.

С принтером, к слову, обидно, я крайне надеялся уже сегодня распечатать на нём очередную лабу. Но увы.
А вся проблема в том, что мама хочет маленький по размеру принтер, чтобы он нормально уместился в маленьком компьютерном столике... Несколько подходящих моделей мы подобрали, но их, как выяснилось, не так-то легко найти.

@темы: Танцы с бубном., Мысли вслух, Жесть-дэс!, Бытовуха, и ничего более...

00:09 

Stop the World – I Want to Get Off (с)
Благодаря Лёше теперь активно слушаю Disturbed. Отлично поднимает настроение и помогает проснуться. Самое то, например, перед матаном, который у нас в пятницу первой парой...

Их песня, ставшая одной из моих любимых:



Вот такие дела. И это с учётом того, что я в целом не слишком люблю заграничную музыку.

В остальном всё как обычно. Утром универ, днём и до вечера — КЦТТ. Поставил на нетбук, кажется, все недостающие дрова, теперь работает просто шикарно. Процессор, кстати, хоть и амд, но греется не сильнее сходного интеловского.
Вижл студию тянет без проблем, Кьют тоже, немного подтормаживает только при загрузке Гимпа, но Гимп в целом всегда долго грузится, с этим уж ничего не сделать.

@темы: Танцы с бубном., Мысли вслух, Жесть-дэс!, Бытовуха, и ничего более..., ~la musique~, ЦДЮТТа

21:54 

Stop the World – I Want to Get Off (с)
Нужно установить на нетбук ещё кучу программ. Но этим можно заняться и позже, так как качать экзешники с Инэта лень, лучше просто перекинуть их на флешку с ноута. Чем, наверное, и займусь. Завтра.
Сегодня у меня километровые тексты по французскому для письменного перевода. Реально километровые. Поспать мне сегодня явно не судьба.

@темы: Бытовуха, и ничего более..., Жесть-дэс!, Мысли вслух, Танцы с бубном.

12:22 

Stop the World – I Want to Get Off (с)
Ну вот. Что с нетбуком я примерно понял (частично имеет место быть нехватка драйверов, частично — мои кривые руки), зато ноут с утра как завис, так и висит. Даже никакая ос не загружается. И что с этим делать? Мне же в универ идти сегодня. К двум, правда, и то не на пару, а чтобы вместе с Лёшей заняться нетбуком, но всё равно.

Сегодня что, магнитная буря, что техника так на всё реагирует?

Про нетбук: да, AMD-шные процы греются сильнее, чем интеловские, но не критично. Нетбук хотя и Асус, но экран не глянцевый, и единственный его грех - не слишком хорошая цветопередача. В остальном же вроде и ничего так.
С остальным — разберёмся. Всё-таки ехать в магазин и разбираться с ними как-то не хочется, пока не будет ясно, действительно ли проблема в некачественной сборке или дефектах железа. Последнее, на мой взгляд, просто нужно протестировать, и если всё ок, но что-то не работает, со спокойной совестью переустановить ос, а потом, если что, доставлять нужные драйвера.

@настроение: Ну как бы вам так сказать...

@темы: Бытовуха, и ничего более..., Жесть-дэс!, Мысли вслух, Танцы с бубном.

22:28 

Stop the World – I Want to Get Off (с)
Жизнь идёт, йог спокоен... (с)

Тест написан на 8 из 10-и, со второй попытки.
С нетбуком ситуация всё ещё не ясна.

И ещё же домашку по линейке делать...

Вообще, я очень хочу написать наконец что-то стоящее. Но не могу, так как много дел, мало сил или нет времени.
АМ даже поинтересовался, не мумифицирует ли меня всё это. Я честно ответил, что пока ещё ни один из учебников или конспектов не пытался вытащить мне мозг через нос при помощи специального крючка. Вот когда начнёт пытаться, тогда можно будет начинать паниковать.

Про универ.
Один из пятигорцев сегодня сидел со мной за одной партой. Точнее, как сидел: снял кроссовки и лёг спать. Странные они всё-таки, это ребята.
Во время "окна" и после пар бегал к Роме в КЦТТ — сначала выпить чаю и записать на диск Убунту, потом — вместе с Лёшей — жаловаться на ЗЗ. Вот как так можно было объявить массив, чтобы это объявление превратилось в храд-порно? Лёша просил не сравнивать это объявление с порно, но его тут нет, а другого подходящего сравнения я найти не могу.

@темы: Танцы с бубном., ЦДЮТТа, Мысли вслух, Жесть-дэс!, ГУАП, Бытовуха, и ничего более...

22:14 

Stop the World – I Want to Get Off (с)
Я не слишком-то люблю Паскаль. Точнее, отношение к нему у меня очень своеобразное, и для меня лично от стоит несколько в стороне от остальных языков программирования. Почему? Просто на мой взгляд этот язык был, есть и будет исключительно учебным.
Да, конечно, на нём при большом желании можно писать сложные и вполне серьёзные вещи, но, если проводить аналогии, это всё равно что копать грядки детской лопаточкой, имея в наличии нормальную лопату.

Нет, я не против того, что в школах и вузах в первую очередь изучают именно Паскаль. Это в какой-то мере даже хорошо — не каждый же может сразу освоить язык, много дальше ушедший от естественного. Но вот останавливаться на нём ни в коем случае не стоит.
Вообще программист, в моём представлении, должен постоянно учиться чему-то новому — пробовать работать в других языках, осваивать другие стили программирования, в зависимости от того, что требуют современные технологии и рынок. Всё-таки IT-технологии развиваются достаточно быстро, и желающий работать в этой сфере не должен расслабляться, если не хочет застрять в прошлом.

Хотя, конечно, это исключительно моё мнение.

@темы: Танцы с бубном., Мысли вслух, Жесть-дэс!

[Пустота]

главная