
Люди добрые, извините, что обращаюсь, особенно в посте, но...
Как вы знаете, у студентов сейчас самое любимое время года (если так можно выразится) - СЕССИЯ!
И эта радость как правило не оставляет равнодушным никого из касты вечнонеучащихся.
Так вот, сегодня я впервые прочитал свое задание по МатЛогике (предмет, на котором можно было в течении года если только поспать), а учитывая то, что сдавать мне его примерно чарез неделю, мой зад ощутимо чувствует необходимость каких нибудь действий.
Но радость моя была омрачена тем, что задание мое - "Написать аналог HOL на одном из современных языков программирования."
Поинтересовавшись с мудрыми людьми, о том, что же такое все таки ХОЛ, и с чем его едят, узнал о языке ML.
А прочитав про него несколько предложении вроде:
"Вопрос:
У меня проблема .... Проблема ли ?
Жизнь моя какая-то СЛИШКОМ размеренная стала в Англии ....
Ответ:
А вы найдите себе занятие посложнее для заполнения свободного времени. Например, выучите язык программирования ML: http://caml.inria.fr
Это вас займет всерьез и надолго, расширит горизонты, наполнит жизнь смыслом. Если возьметесь за это как следует, то все мысли о "слишком сладкой жизни" как рукой снимет."
и
"Очень странный язык - циклов нету, зато есть рекурсия, да еще какая!.."
как то сник слегка.
Никто случаем подсказать не может, где можно найти хорошую инфу по HOL и ML? А то все, что я читал не шибко удобоваримое. =(
Как вы знаете, у студентов сейчас самое любимое время года (если так можно выразится) - СЕССИЯ!
И эта радость как правило не оставляет равнодушным никого из касты вечнонеучащихся.
Так вот, сегодня я впервые прочитал свое задание по МатЛогике (предмет, на котором можно было в течении года если только поспать), а учитывая то, что сдавать мне его примерно чарез неделю, мой зад ощутимо чувствует необходимость каких нибудь действий.
Но радость моя была омрачена тем, что задание мое - "Написать аналог HOL на одном из современных языков программирования."
Поинтересовавшись с мудрыми людьми, о том, что же такое все таки ХОЛ, и с чем его едят, узнал о языке ML.
А прочитав про него несколько предложении вроде:
"Вопрос:
У меня проблема .... Проблема ли ?
Жизнь моя какая-то СЛИШКОМ размеренная стала в Англии ....
Ответ:
А вы найдите себе занятие посложнее для заполнения свободного времени. Например, выучите язык программирования ML: http://caml.inria.fr
Это вас займет всерьез и надолго, расширит горизонты, наполнит жизнь смыслом. Если возьметесь за это как следует, то все мысли о "слишком сладкой жизни" как рукой снимет."
и
"Очень странный язык - циклов нету, зато есть рекурсия, да еще какая!.."
как то сник слегка.
Никто случаем подсказать не может, где можно найти хорошую инфу по HOL и ML? А то все, что я читал не шибко удобоваримое. =(
2004-12-10 15:22:45
Всего постов: 360
Бород: 32
Рейтинг: +21|2|-4 = +83%
Всего постов: 360
Бород: 32
Рейтинг: +21|2|-4 = +83%
(не могу молчать типа - парсил мыло, натолкнулся)
Сколько нужно кода, чтобы написать один пробел?
Вот как это делает MS Outlook.
<p class=MsoNormal><font size=2 color=black face=Arial><span style='font-size:
10.0pt;font-family:Arial;color:black'><o:p> </o:p></span></font></p>
Сколько нужно кода, чтобы написать один пробел?
Вот как это делает MS Outlook.
<p class=MsoNormal><font size=2 color=black face=Arial><span style='font-size:
10.0pt;font-family:Arial;color:black'><o:p> </o:p></span></font></p>
2004-12-02 17:10:16
Всего постов: 786
Бород: 24
Рейтинг: +16|2|-7 = +68%
Всего постов: 786
Бород: 24
Рейтинг: +16|2|-7 = +68%
О богатстве русского языка писали многие. Но одно дело - это читать, другое -
наблюдать вживую. Итак, действие происходило сегодня на Ленинградском рынке в
Москве. Большущий такой ларек со всякой всячиной, от чипсов до бензопил.
Продавец, разумеется, кавказец. Покупатель - наш, коренной такой мужичок,
с явной похмелюги после вчерашнего. Мужичок оглядывает прилавок и спрашивает:
- Слышь, командир! А нет у тебя вот такой вот х@йни? Ну такой... ну, ты знаешь.
- Какой х@йни? - вежливо уточняет продавец.
- Я ж тебе русским языком говорю. Ну такой, б@я... в пакете.
- Извини, дарагой, я по-русски не все слова знаю. Пагади, у друга спрошу. Мага!
У нас нет такой вот х@йни в пакете?
Из соседнего ларька появляется пожилой мудрый Мага:
- Дарагой, у нас много всякой х@йни. А тэбэ какая нужна?
- Да та же самая! Я ж у тебя ее в прошлой раз брал.
- У меня брал? Извини, дарагой, я не помню. А ты ее на вес брал?
- Да на хера мне на вес, если она фасованная!
- Фасованная - это другое дело. А пальцем показать можешь?
- Я что, му@ак? Да ежели бы она у тебя тут была, стал бы я спрашивать.
- Ну, значит, нету.
- Да как нету, если я в прошлый раз брал!
- Ты, дорогой, наверно последнюю взял.
- Да нееее...
К счастью, в этот момент между рядами появляется массивная русская продавщица.
Оба кавказца обращаются к ней за помощью:
- Слушай, Таня, тут человек про какую-то х@йню спрашивает. Памаги!
Таня бросает прищуренный взгляд на мужика:
- Кто? Этот? Да он вечно какую-то х@йню спрашивает, зае@ал уже.
Тут мужик окончательно теряет дар речь, и вид у него становится настолько
жалким, что даже доброе танино сердце не выдерживает.
- Послушай, му@ила, - ласково говорит она, приобняв мужика за плечо. -
Эта х@йня называется полосатик. Желтый полосатик, закуска к пиву. Но ты, падла,
лучше воблой закусывай, чтобы зря людям голову не морочить.
SKOTOZOOM, ИСПОЛНЕННОЕ ВЧЕРА КОГДА ОН ЕЩЕ НИ ГРЫЗИ. DANCE DANCE DANCE BOBRUISK REVOLUTION.
наблюдать вживую. Итак, действие происходило сегодня на Ленинградском рынке в
Москве. Большущий такой ларек со всякой всячиной, от чипсов до бензопил.
Продавец, разумеется, кавказец. Покупатель - наш, коренной такой мужичок,
с явной похмелюги после вчерашнего. Мужичок оглядывает прилавок и спрашивает:
- Слышь, командир! А нет у тебя вот такой вот х@йни? Ну такой... ну, ты знаешь.
- Какой х@йни? - вежливо уточняет продавец.
- Я ж тебе русским языком говорю. Ну такой, б@я... в пакете.
- Извини, дарагой, я по-русски не все слова знаю. Пагади, у друга спрошу. Мага!
У нас нет такой вот х@йни в пакете?
Из соседнего ларька появляется пожилой мудрый Мага:
- Дарагой, у нас много всякой х@йни. А тэбэ какая нужна?
- Да та же самая! Я ж у тебя ее в прошлой раз брал.
- У меня брал? Извини, дарагой, я не помню. А ты ее на вес брал?
- Да на хера мне на вес, если она фасованная!
- Фасованная - это другое дело. А пальцем показать можешь?
- Я что, му@ак? Да ежели бы она у тебя тут была, стал бы я спрашивать.
- Ну, значит, нету.
- Да как нету, если я в прошлый раз брал!
- Ты, дорогой, наверно последнюю взял.
- Да нееее...
К счастью, в этот момент между рядами появляется массивная русская продавщица.
Оба кавказца обращаются к ней за помощью:
- Слушай, Таня, тут человек про какую-то х@йню спрашивает. Памаги!
Таня бросает прищуренный взгляд на мужика:
- Кто? Этот? Да он вечно какую-то х@йню спрашивает, зае@ал уже.
Тут мужик окончательно теряет дар речь, и вид у него становится настолько
жалким, что даже доброе танино сердце не выдерживает.
- Послушай, му@ила, - ласково говорит она, приобняв мужика за плечо. -
Эта х@йня называется полосатик. Желтый полосатик, закуска к пиву. Но ты, падла,
лучше воблой закусывай, чтобы зря людям голову не морочить.
SKOTOZOOM, ИСПОЛНЕННОЕ ВЧЕРА КОГДА ОН ЕЩЕ НИ ГРЫЗИ. DANCE DANCE DANCE BOBRUISK REVOLUTION.
2004-11-29 15:57:19
Всего постов: 457
Бород: 25
Рейтинг: +2|2|-27 = -79%
Всего постов: 457
Бород: 25
Рейтинг: +2|2|-27 = -79%
АХТУНГ! ОТЭНСИОН! ЫСПАНСКИЙ ЕЗЫГ!
Для тех, кто интересуется испанским языком и хотел бы его изучать.
В ДУ (Новосибирского Академгородка - прим. во избежание тупых вопросов) набирают группу желающих изучать испанский язык.
Начальный уровень: нулевой.
Форма обучения: трёхчасовые занятия раз в неделю по воскресеньям, в программе обучения просмотр фильмов, песни и танцы.
Цена: 500 рублей в месяц.
Телефон: (383-2)-30-09-42
Информацию предоставила Алабама
Для тех, кто интересуется испанским языком и хотел бы его изучать.
В ДУ (Новосибирского Академгородка - прим. во избежание тупых вопросов) набирают группу желающих изучать испанский язык.
Начальный уровень: нулевой.
Форма обучения: трёхчасовые занятия раз в неделю по воскресеньям, в программе обучения просмотр фильмов, песни и танцы.
Цена: 500 рублей в месяц.
Телефон: (383-2)-30-09-42
Информацию предоставила Алабама
Идет по лесу Иван-Царевич, видит лягушку.
Она ему и говорит:
- Поцелуй меня, стану я принцессой красы неписанной и тут же женой тебе
буду!
Поцеловал похотливый Иван лягушку, она превратилась супермодель, он ее
тут же отженил по самое нехочу и давай одеваться.
- Куда же ты, Ванюша? - спрашивает царевна, - а как же свадьба? а как же
все такое?
Рассердился на такое дело царевич, и как даст ей в лоб со всей дури -
принцесса трижды перевернувшись ударилась оземь и... вновь стала
лягушкой.
Он посмотрел-посмотрел, подумал-подумал, подошел, взял лягушонку,
положил ее в карман...
- А удобная штукенция!
Она ему и говорит:
- Поцелуй меня, стану я принцессой красы неписанной и тут же женой тебе
буду!
Поцеловал похотливый Иван лягушку, она превратилась супермодель, он ее
тут же отженил по самое нехочу и давай одеваться.
- Куда же ты, Ванюша? - спрашивает царевна, - а как же свадьба? а как же
все такое?
Рассердился на такое дело царевич, и как даст ей в лоб со всей дури -
принцесса трижды перевернувшись ударилась оземь и... вновь стала
лягушкой.
Он посмотрел-посмотрел, подумал-подумал, подошел, взял лягушонку,
положил ее в карман...
- А удобная штукенция!
klerk'у ( http://www.livejournal.com/userinfo.bml?user=klerk ) должно понравиться:
http://www.cartoline.it/pics/scherzi_150404_01.swf
http://www.cartoline.it/pics/scherzi_150404_01.swf




