в недегенеративном кольце с единицей есть две бинарных операции (назовём их сложением и умножением) и два неравных между собой нейтральных относительно этих операций элемента (назовём их e+ и e*). поскольку по сложению кольцо образует (абелеву) группу, у каждого элемента существует обратный по сложению элемент: a + (-a) = e+ для произвольного a. уравнение вида a + x = -a имеет тождественное решение только в случае a == e+ (в таком случае x == e+), во всех остальных случаях x будет выражаться через a (x = -2 * a). однако уравнение вида a * x = -a имеет тождественное решение для любого a: x == -e*, т.е. обратный по сложению элемент к нейтральному по умножению элементу

поскольку поле по умножению также образует (абелеву) группу, у каждого элемента существует и обратный по умножению элемент: a * (1/a) = e* для произвольного a. уравнение вида a * x = 1/a имеет тождественное решение только в случае a == e* (в таком случае x == e*), во всех остальных случаях x будет выражаться через a (x = 1/(a * a))

вопрос: можно ли (и если можно, то как) в недегенеративное поле ввести третью бинарную операцию (назовём её альтернативным возведением в степень, ^^) и нейтральный элемент e^^ по ней таким образом, чтобы уравнение вида a ^^ x = 1/a имело тождественным решением обратный по умножению элемент к e^^, то есть x == (1/e^^)? для обычной операции возведения в степень решением будет обратный по сложению элемент, так же, как и в предыдущем рассмотренном случае: a ^ (-e^^) = 1/a для произвольного a

коротко говоря, есть такое:

a * (-e*) = -a

и такое:

a ^ (-e^) = 1/a

надо получить вот такое:

a ^^ (1/e^^) = 1/a

или объяснить, почему это невозможно

сабж

кто кроме QEmu с патчем такое умеет? поиск упирается в бесконечные хакинтоши с неутешительными выводами

mpdscribble:

2010/01/03 23:24:35 connected to mpd 0.14.0 at localhost:6600
2010/01/03 23:24:35 starting mpdscribble (mdc 0.17)
2010/01/03 23:24:35 loaded 0 songs from cache
2010/01/03 23:24:35 new song detected with tags missing (Lux Occulta/04-My Guardian Anger 1999/04-The Opening Of The Eleventh Sephriah.mp3)
2010/01/03 23:24:37 handshake ok
2010/01/03 23:24:37 session: 497d98a46272400793b4ddb134ad372f
2010/01/03 23:24:37 now playing url: http://post.audioscrobbler.com:80/np_1.2
2010/01/03 23:24:37 submit url: http://post2.audioscrobbler.com:80/protocol_1.2

не скробблится. id3 тег у файла есть, musicdir в конфиге прописан, verbose 3 - других ошибок не сообщает. просто молча не работает

lastfmsubmitd запускается успешно, однако lastmp падает при старте по отсутствию mpdclient2:

./lastmp
Traceback (most recent call last):
  File "./lastmp", line 9, in <module>
    import mpdclient2
ImportError: No module named mpdclient2

поиск по этому модулю картины особо не проясняет, единственный релевантный пакет в портаже - dev-python/python-mpd

поиск по ЛОРу показывает что оба скробблера в принципе работают. ЧЯДНТ?

Тихо и незаметно вышел в свет очередной релиз компилятора GHC ленивого функционального языка Haskell. К существенным изменениям по сравнению с предыдущим релизом следует отнести:

• Существенно улучшена поддержка параллельного выполнения.
• Разработана графическая утилита ThreadScope, позволяющая эффективно отлаживать параллельные приложения на Haskell.
• Добавлена поддержка динамического связывания под Linux; ожидаемым результатом является значительное уменьшение размеров бинарных файлов. Отмечается, что это также позволит создавать на Haskell плагины, которые могут быть использованы из сторонних приложений.
• В библиотеки ввода-вывода добавлена полная поддержка Unicode, соответственно работа с файлами, содержащими не-ASCII символы, теперь не требует дополнительных усилий со стороны программиста.
• Значительно улучшена система пакетов; каждый установленный пакет отныне однозначно идентифицируется уникальным идентификатором, основанным на предоставляемом ABI - что позволяет оптимизировать установку пакетов, а так так же избежать ряда ошибок, связанных с нарушениями зависмостей между ними.
• Множество мелких изменений языка, затрагивающих работу с типами данных (GADT'ы, Type Families), системой метапрограммирования Template Haskell, и рекурсивной do-нотацией.

GHC написан на Haskell, является продуктом с открытым исходным кодом, распространяется по BSD-like лицензии.

Скачать новый релиз можно здесь: http://www.haskell.org/ghc/

>>> Подробности

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

поиск по http://www.kino-teatr.ru дал наиболее похожим вариантом фильм-новеллу «Вандербуль бежит за горизонт», однако его описания на всех подобных сайтах ограничиваются парой фраз, а самого фильма найти не удаётся - потому и не проверить, собственно, никак. может знает кто?

есть два пожелания по поводу движка:

во-первых, в форму добавления комментария было бы здорово добавить кнопку «отменить»; раньше, передумав комментировать, можно было просто отнавигировать со страницы - теперь же с учётом предупреждений об уходе стало как-то непонятно, что же делать-то

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

вернее, пятимерного пространства-времени - называется это теорией Калуцы-Клейна:

http://en.wikipedia.org/wiki/Kaluza-Klein_theory

случайная и почти удавшаяся попытка объединить электромагнетизм и ОТО

по мотивам этого вот обсуждения:

http://www.linux.org.ru/view-message.jsp?msgid=4183921

оригинальная публикация (On the Problem of Unity in Physics), увы, не находится

очень неудобный. не видно, в какой раздел форума писал пользователь, сложно найти интересующий пост (название смешивается с содержимым). оно хотя бы опциональное?

http://www.pi-programming.org/What.html

There is only one language construct in π: the pattern. Patterns are, simply speaking, EBNF-expressions with an associated meaning; a pattern can be easiest understood as a function with a syntactically complex (context-free) «signature»

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

void f(const int[3]);

...

f({1, 2, 3});

почему так нельзя? при том, что вот так:

const int a[3] = {1, 2, 3};

f(a);

вполне себе законно. {} - это, вроде бы, конструктор для const T[]; конструкторы в вызове функции использовать вполне себе можно. основание для такого особого отношения есть вообще?

это всё при том, что:

void g(const char[3]);

...

g("123");

замечательно работает. C-style строка в C++ - она, в общем-то, массив символов - два исключения из общих языковых правил в одном выражении

ну и то, что и в f и в g можно с лёгкостью передавать массивы большего размера, чем указано в сигнатуре, тоже как-то нехорошо. приведение T[] к T* это, конечно, не так уж и плохо - но толку тогда от такой сигнатуры, спрашивается, если компилятор (с -Wall -pedantic) даже предупреждения не выдаёт?

день рождения Галуа, между прочим. такие дела

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

хотя бы ссылку вида "вернуться в тред" было бы неплохо сделать, а то очень уж неудобно. заранее спасибо

в связи с продолжающимся отпуском были вчера на chaos construction '09, но довольно быстро слиняли в силу редкостной унылости всего происходящего (доклад по embedded linux убил последнюю надежду на серьёзность мероприятия). единственное, о чём жалею - что не дождался доклада Завалишина с его Фантом ОС (вроде как её вчера там даже в QEmu запускали); если кто ещё был - поделитесь впечатлениями от этого чуда технки, а?

Комитет разработчиков языка программирования Scheme принял решение о разделении спецификации языка на две составляющих: описание «малого языка», ориентированного на обучение; и «большого языка», ориентированного на промышленную разработку.

Спецификация «малого Scheme» будет основываться на R5RS, и полностью соответствовать заложенным в RnRS принципам: «языки программирования должны проектироваться не путём последовательного нагромождения возможностей». В целях повторного использования существующей образовательной базы, предполагается сохранять как можно большую обратную совместимость с существующими стандартами Scheme.

Спецификация «большого Scheme» будет основываться на R6RS, и включать максимальное количество возможностей, признанных полезными в промышленной разработке: сетевое программирование, потоки, интернационализация, FFI, и т.д.

Предполагаются публичные отчёты через 6 и 12 месяцев с начала работы групп; публичный драфт стандарта через 18 месяцев; финальный драфт через 24 месяца.

Обсуждение на LtU: http://lambda-the-ultimate.org/node/3582

Описание «малого Scheme»: http://scheme-reports.org/2009/working-group-1-charter.html

Описание «большого Scheme»: http://scheme-reports.org/2009/working-group-2-charter.html

>>> Подробности

В письме в рассылку Qilang Маркер Тарвер, создатель Qi, написал:

Mark Tarver:

Через месяц я уезжаю в Индию, на этот раз на более длительный срок; среди прочего это означает окончание моей работы над Qi. На определённом этапе просто приходится признать, что овчинка не стоит выделки; как бы там ни было, это было весело, и я ни о чём не жалею. Работа над Qi была начата 20 лет назад, когда я ещё был совсем другим человеком и работал в университете; книга о Qi II стала переломным моментом. Мне нужно двигаться дальше. Первого сентября меня здесь уже не будет

Среди прочего, Тарвер отмечает, что не желает оставаться в программировании из-за возможных политических и образовательных склок вокруг ПО и его использования; комментируя LISP (и возможное дальнейшее развитие Qi сообществом) считает, что «CL это путь в никуда», а «Clojure, Python или Ruby могут стать лучшими платформами для Qi»

Обсуждение на LtU: http://lambda-the-ultimate.org/node/3537

Статья Тарвера «О Развитии LISP»: http://www.lambdassociates.org/blog/nextlisp(1).htm

Статья Тарвера «О Будущем Open Source»: http://www.lambdassociates.org/blog/prolegomena(1).htm

>>> Подробности

Комитет по стандартизации ISO языка программирования С++ на июльском собрании принял решение отказаться от идеи концептов в новом стандарте. Основных причины две - сомнительная польза от столь существенного нововведения и сырость текущего предложения: за шесть лет разработки авторам так и не удалось определиться с полным и однозначным описанием.

Концепты предполагали дать возможность наложения ограничений на обобщённые типы в шаблонах функций и классов; можно провести аналогию с классами типов из Haskell.

По словам Майкла Вонга, члена комитета по стандартизации C++, пересмотра данного решения стоит ожидать не ранее чем через пять лет. Стоит заметить, что ранее из проекта стандарта была выброшена идея сборщика мусора; причиной была названа излишняя сложность в реализации.

Статья Страуструпа «Simplifying the Use of Concepts»: http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2009/n2906.pdf

Статья Вонга (часть 1): http://www-949.ibm.com/software/rational/cafe/blogs/cpp-standard/2009/07/20/the-view-or-trip-report-from-the-july-2009-c-standard-meeting

Статья Вонга (часть 2): http://www-949.ibm.com/software/rational/cafe/blogs/cpp-standard/2009/07/20/the-view-or-trip-report-from-the-july-2009-c-standard-meeting-part-2

>>> Подробности

по мотивам http://www.xkcd.ru/487/:

let li = [0..9] \\ [3, 5] in filter ((> 1) . length) [(show x) ++ (show y) | x <- li, y <- li]

программа длинной в 93 символа генерирует 64 теоретически возможных позы для двоих. цифры 3 и 5 было решено отбросить по причине крайне проблематичной реализации вживую; на очереди ряд символов из анализа для разнообразия антуража. предложения приветствуются

девушка (rual_ilmarranen) в ответ предложила следующую эквивалентную реализацию на Scheme:

(define position-lst '("1" "2" "4" "6" "7" "8" "9" "0" ))

(define (make-positions )
  (define (loc-make-pos lst)
     (cond
       [(null? lst) null]
       [(cons (map 
                (lambda (pose) 
                  (string-append (car lst) pose)) position-lst)
              (loc-make-pos (cdr lst)))]
      ))(loc-make-pos position-lst))

к слову, числа [0, 1, 2, 4, 6, 7, 8, 9] фигурируют в начале по крайней мере 9 известных числовых последовательностей, одной из которых является последовательность всех таких чисел, запись которых в семиричной системе счисления содержит одинаковое количество цифр '3' и '5'

вот. а вы чем занимаетесь? :)

задача - есть pid запущенного процесса, необходимо получить его вывод в stdout (можно перенаправить, можно сдублировать - всё равно). ограничения - POSIX. как?

http://www.learnprolognow.org/