Ну чтобы не бояться не быть полезным Below are the 20 most recent journal entries recorded in the "Ivan Z." journal:

[<< Previous 20 entries]

September 11th, 2023
02:04 pm

[Link]

semantic negation (non-existence) as a licensor
ORTUÑO: Si supiese un descortés
cómo le aborrecen todos
y querrían de mil modos
poner la boca a sus pies-,
antes que serlo ninguno,
se dejaría morir.

https://es.wikisource.org/wiki/Fuenteovejuna/Acto_I

Meaning:

Ortuño.

Si un homme discourtois savait combien il est détesté de ceux-là mêmes qui lui auraient baisé les pieds, personne ne voudrait l’être, et l’on craindrait ce défaut plus que la mort.

https://fr.wikisource.org/wiki/Fontov%C3%A9june

Tags: , ,

(Leave a comment)

01:26 pm

[Link]

quercus / chêne
cattus eruditus circuit catenam

/

catellus eruditus circuit catellam

/

(g.translate)

La CHaîne d'or sur ce CHêne :
Et jour et nuit, le savant CHat
se promène encore autour de la CHaîne ;
Il va vers la droite - la CHanson Commence,
Gauche - raConte un Conte de fées.

(6 comments | Leave a comment)

May 8th, 2023
01:26 am

[Link]

"SB-adverb" (or a modifier taking a whole sentence as an arument)
Esa racha de 137 días sí que es increíble.

sí que... + S = Yes/confirm that... + S

Tags: , ,

(Leave a comment)

July 20th, 2022
07:19 pm

[Link]

(es) estés donde estés
Интересное выражение. Приблизительно "будь где будешь". Условие вводится без всякого союза (довольно необычно, неожиданно):

Gestiona tu línea estés donde estés.

Tags: , ,

(Leave a comment)

May 10th, 2022
10:35 pm

[Link]

French "des" vs "de": examples with "obtenir"
# French "des" vs "de": examples with "obtenir"

## intro

I've always been non-confident when it comes to choosing "des"/"du"/... or simple "de" in French; understanding their usage well. (The different uses can be labeled "partitive", "genitive", and perhaps some other ones less clear, at least, for me.)

For an overview of the different kinds of actual contexts one might have a look at the description at https://fr.wiktionary.org/w/index.php?title=des&oldid=30355100#Fran%C3%A7ais (or other similar ones, which I believe I've met in some French courses). For me, that description feels conceptually ugly (especially, the "de + des => de" rule); I'd push for a different explanation of these phenomena based on a certain view on the semantics of definiteness and on the role of determiners in syntax-semantics.

So, I'm interested in collecting more data (that would be puzzling to me) and trying to understand better how it can match a conceptual explanation.

## examples with "obtenir"

Here is another piece of examples I've noticed, this time, with "obtenir":

### "de"

* "Par exemple, vous pouvez obtenir de meilleures recommandations lorsque vous utilisez YouTube ou d'autres produits Google (telles que des recommandations d'articles ou d'applications)" (from Google account setup)
* ?? "obtenir de meilleurs résultats" (try to find such an example!)
* "Les questions pour obtenir de vraies réponses" (from a Google search)

### "des"

* "Les Membres peuvent obtenir des résultats à la CM12 en dépit de circonstances difficiles" (from a Google search)
* ...

### "les"

* "Les délais d'attente pour obtenir les résultats du test de dépistage de la COVID-19 peuvent varier selon les volumes de tests." (from a Google search)

* all 3 possibilities ("les", "des", "de") in the same article https://support.google.com/websearch/answer/1710607?hl=fr&co=GENIE.Platform%3DAndroid (from a Google search):

** "Obtenir des résultats de recherche sur vos voyages ..."
** "Obtenir les résultats d'un autre compte Google."
** "Pour ne plus obtenir de résultats de recherche ..."

## discussion (specifically for "obtenir")

"obtenir" is not described as having a special government of preposition "de" for its arguments. So, if we assume those descriptions are not missing this, then the usage of "de" or "des" with "obtenir" must follow from the general principles of grammar.

See the following dictionary entries for the descriptions of "obtenir" without any special government of preposition "de" (and for more usage examples):

* https://fr.wiktionary.org/wiki/obtenir#Fran%C3%A7ais
* https://www.cnrtl.fr/definition/obtenir

* * *

X-POST

Tags:

(1 comment | Leave a comment)

May 7th, 2018
03:08 pm

[Link]

complicated syntax
especially the second part, at https://fr.wikipedia.org/wiki/Suisse#Politique_étrangère_et_européenne

Le peuple suisse a été amené à se prononcer à de nombreuses reprises depuis le 9 octobre 1992, où les Suisses refusèrent à 50,3 % de faire partie de l'Espace économique européen53, sur les relations qu'il voulait entretenir avec l'Union européenne. Notamment sur les accords bilatéraux et l'entrée de la Suisse dans l'espace Schengen qui après acceptation, permirent aux citoyens membres de l'Union européenne de se voir faciliter l'entrée et l'emménagement en Suisse, et vice-versa.


Cf. #30 at https://fr.wiktionary.org/wiki/voir where all examples in passé composé:

Elle s’est vu conférer un diplôme. : On lui a conféré un diplôme.


* * *

X-POST

Tags:

(4 comments | Leave a comment)

September 4th, 2013
11:59 am

[Link]

Одного моего знакомого-биолога лишили работы за то, что он гей.
Одного моего знакомого-биолога (G Scholar: 1, 2, 3; точнее, знаком мне его брат) лишили работы в университете и школе за то, что он гей. На доме у него теперь написано зелёным баллончиком "Ермошкин пидарас" (писавшие, наверное, так хотели выразить свою ненависть к нему и привлечь ненависть других), на него нападали нацики.

* Вслед за школой, хабаровского преподавателя-гея изгнали из ДВГГУ (4 Сентября 2013)
* Эра Мизулиной: Пока одни борются с наводнением, другие - с геями (23 Августа 2013)
* Травля удалась: Александр Ермошкин написал заявление об увольнении (4 Сентября 2013)
* Хабаровские гомофобы объединились для травли известного преподавателя (24 Августа 2013)
* Когда Путин объявил войну однополым семьям, пришло время уезжать из России (Письмо Маши Гессен, 30 Августа 2013)
* Антигомофобная петиция в защиту права на профессию хабаровского учителя-гея


Вслед за школой, хабаровского преподавателя-гея изгнали из ДВГГУ (4 Сентября 2013):



Хабаровский учитель географии, вынужденный сегодня утром, под негласным давлением чиновников горобразования, написать заявление об увольнении из школы #32, несколько минут назад остался и без второй своей работы - старшего научного сотрудника кафедры биологии и географии Дальневосточного государственного гуманитарного университета. 

- Мне позвонила, буквально минут 10 назад, завкафедрой, спросила как мои дела в школе, а потом сообщила, что некий первый отдел не пропустил моего заявления, - рассказал Александр Амурбургу по телефону.

Тут следует уточнить, что, будучи работающим на полставки сотрудником, Еромошкин ежегодно в сентябре писал заявление на совместительство в ДВГГУ. Но, на этот раз, его заявление «завернул» загадочный и очевидно могущественный «первый отдел».

О том, что это за структура, Александр не знает и, по его мнению, не знает этого и заведующая кафедрой Дулмажаб Цыренова. По словам отныне безработного преподавателя и ученого, заведующая была явно растеряна, сообщая ему эту безрадостную весть. 

Вероятно такое же сметение чувствуют сейчас и другие университетские коллеги Ермошкина.  «С кафедрой всё нормально. Там меня ценят и любят, как и везде, ну или почти везде.», - написал безработный учитель и ученый на своей странице в сосети Facebook.

По университетскому расписанию, в пятницу, 6 сентября у Александра первая пара в новом учебном году. Сегодня стало ясно, что встреча педагога со студентами не состоится.

На вопрос о планах дальнейших действий, Александр ответил с невеселым сарказмом:

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

Когда готовился к публикации этот материал, в СМИ появилась стенограмма интервью Президента РФ Владимира Путина известному американскому журналисту, вице-президенту и главному редактору "Ассошиэйтед Пресс" Джону Данишевски, в котором глава страны категорически отверг обвинения в дискриминации российских геев и лесбиянок:

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

"Двойное" увольнение Александра Ермошкина предельно ярко иллюстрирует это утверждение главы государства.

Напомним, что Амурбург опубликовал на сайте Change.org петицию, адресованную министру образования и науки Хабаровского края Андрею Базилевскому, в защиту Александра Ермошкина. После каждой подписи, на email краевого минобразования будет автоматически уходить письмо, уведомляющее о том, что еще один человек поддержал Александра. Это лишь один из способов попытаться изменить дикую ситуацию, когда талантливого учителя и ученого лишают права на профессию не из-за его профессиональных качеств и соответствия должности, а по признаку сексуальной ориентации.

Горобразование и администрация ДВГГУ, по сути, поддержали требования хабаровских гомофобов, объеденившихся в группу движение "Против пропаганды сексуальных извращений", программу которого опубликовали на своей странице в социальной сети "ВКонтакте".

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

(c) Амурбург




Александр Васильевич Ермошкин: на facebook, во вконтакте.

Гигантский лист (жирующий побег) липы (Бикинский район)
Гигантский лист (жирующий побег) липы (Бикинский район)

В зарослях венериных башмачков (Бикинский район)
В зарослях венериных башмачков (Бикинский район)

Учет краснокнижного вида в бухте Северная (Де-Кастри)
Учет краснокнижного вида в бухте Северная (Де-Кастри)

Вот, лотоса накосил
Вот, лотоса накосил



И под всяконьким кустом мне готов рабочий стол
И под всяконьким кустом мне готов рабочий стол

подъельник нашли
подъельник нашли

склоняюсь (В руках кста, краснокнижный бузульник сихотинский.)
Склоняюсь
(В руках кста, краснокнижный бузульник сихотинский.)

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

Как учитель он нравился ученикам, родителям, директору. С коллегами в университете тоже хорошие отношения. (Тут показательно его сообщение ещё до увольнения из школы: "Сегодня обзвонил приёмные и выработал следующее расписание:
Завтра первый урок в 8В, вместо меня проводит Татьяна Валентиновна, по просьбе директора так будет продолжаться до изменения ситуации((((. Постараюсь в это время находится в школе дабы не получить прогул, буду сидеть в учительской или кабинете директора.
", т.е. собственно с директором школы проблем не было, а было на них давление.)

Он был замечен в оппозиционных акциях ранее: одиночный пикет в Хабаровске в поддержку "Марша миллионов", какие-то акции с белыми ленточками. (Вообще, по моим впечатлениям, в отличие от Москвы там на такие оппозиционные акции выходили считаные единицы, и значит, они были хорошо заметны.)

Я поискал в Google Scholar упоминания его в научных работах -- это в начале моего сообщения -- в подтверждение того, что он действительно ведёт активную научную работу (там я нашёл несколько работ по описанию не описанных ранее растений Дальнего Востока). Мой поиск наверняка что-то упустил, да и работа такого рода ведь идёт не быстро.

Он хочет заниматься именно природой Дальнего Востока и всегда отвергал предложения родственников и друзей уехать, например, в Москву.

Теперь он практически лишился возможности продолжать там работать. (Возможно, он ещё, помимо университета и школы, сотрудник института РАН, и оттуда его не уволили.)

Ещё, по рассказам, он вообще человек активной гражданской позиции: своими силами организовывал уборку в парке "Динамо" в Хабаровске (сам закупал пакеты для мусора), высаживал там в овраге растения редких видов.

(3 comments | Leave a comment)

July 8th, 2013
09:01 pm

[Link]

много замыслов появляется, хорошо, когда реализуют что-то подобное!
October 21st, 2008: Forward-only DVCS: ?

December 17th, 2008: Git without actual storage

And now we have git-annex! -- http://git-annex.branchable.com/

(Leave a comment)

April 9th, 2013
07:46 pm

[Link]

наши листочки по математике ("мат.анализу") из 57-ой школы
Отсканировал наши листочки по математике ("мат.анализу") из 57-ой школы. (Класс d00, т.е. буква "д", закончили школу в 2000, набраны были к сентябрю 1997.)

* пока что в виде общего PDF (сделанного из сканов листочков): https://gitorious.org/studies-maths-science/maths57d00/trees

* зеркало: http://repo.or.cz/w/maths57d00.git/tree

Нас учили Евгений Исидорович Альперович и др. (можно дополнять список, если хотите)

(Кое-какие листочки вроде надо будет пересканировать; выложить по отдельности с оглавлением для удобства также.)

(1 comment | Leave a comment)

October 15th, 2011
03:26 am

[Link]

грузоперевозчик с dovezu.ru -- ну ничего, всё хорошо
(Может, пригодится в будущем (кому-то) такой вариант услуги по перевозке груза.)

Надо было перевезти один агрегат (с трудом влезающий в обычную легковую машину) и ещё несколько коробок из района ул. 1905 года в Строгино.

Позвонил по объявлению на dovezu.ru (8-965-260-79-59, Роман). Это второе, которое я попробовал. Около 22:30 я звонил, он мне ответил, что сейчас занят, сможет через 2 часа где-то, и назвал цену в 1000 р. за это. Ну я подумал, что нормально: это будет довольно удобно. Это газель.

И всё успешно произошло. Приехал он около 0:30 (хотя предупреждал, что может задержаться), помог погрузить вещи в машину, скоро уже мы ехали (в 1:07 мы разворачивались у метро "Ул. 1905 года") и потом приехали. Слушает Аквариум.

Всё вроде неплохо, можно быть довольным.

Можно запомнить, обращаться, если будет ещё потребность.

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

Tags:

(Leave a comment)

July 29th, 2011
02:54 pm

[Link]

(мопед не мой) toshiba satellite
Никто не хочет купить практически новый Toshiba SATELLITE C660-15K за 11000? Новый, т.е. он был куплен 3 недели назад где-то. Товарищ продаёт, потому что денег нет. Нужно до воскресенья.

Tags:

(Leave a comment)

June 18th, 2011
01:21 pm

[Link]

the mockingbird, ?
Stay constant, whatever you receive. Птичек, между прочим я понимаю как ал(л)юзию на To Mock a Mockingbird
(вдруг кому интересно), введение в исчисление комбинаторов (модель вычислений, как видите, родственную λ-исчислению).

Each species of bird in Smullyan's forest stands for a particular kind of combinator appearing in the conventional treatment of combinatory logic. Each bird has a distinctive call, which it emits when it hears the call of another bird. Hence an initial call by certain "birds" gives rise to a cascading sequence of calls by a succession of birds.

Deep inside the forest dwells the Mockingbird, which imitates other birds hearing themselves. The resulting cascade of calls and responses analogizes to abstract models of computing. With this analogy in hand, one can explore advanced topics in the mathematical theory of computability, such as Church-Turing Computability and Gödel's Theorem.


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

У меня в детстве была одна его книжка, но воспринималась мной тогда слишком тяжело. ("Алиса в стране смекалки")

Tags: ,

(Leave a comment)

09:19 am

[Link]

"программирование в стиле подстановки атомов"
Если бы я занялся задачей ICFPC ("Lambda. The Gathering"), я бы попробовал двигаться в таком направлении (может, по моим записям кто-то заметит интересное в задаче; я вчера утром некоторое время подумал; правда, участвовать я не собрался, хотя бы потому что одному это не весело):

Во-первых, в ячейках мы можем составлять (постепенно) хитрые программы (т.е. программировать с помощью комбинаторов S, K, I, что по выразительности то же, что и программировать с помощью λ -- там в тексте условия задачи даже есть схема перевода из более привычных многим из нас λ-термов в комбинаторы; для нашего удобства можно писать свои задумки в виде λ-термов и давать их автоматическому переводчику; правда, можно захотеть оптимизировать перевод вручную, потому что нас заботит количество function applications, которое ограничено 1000 за 1 ход).

(Упражнение: реализовать такой перевод из λ-термов -- скажем, на Lisp-е.)

Задуманную программу мы должны будем составлять в ячейке постепенно на протяжении нескольких ходов. (Ведь на одном ходе мы можем скормить туда только одну простую карту из данного набора, а не что-то составленное сложно.) Общий приём составления программы кажется таким: когда за предыдущие ходы мы подготовили в ячейке программу вида (точнее, это у меня запись вида её значения) λx(Φ[x]), то желаемую программу мы получаем подстановкой вместо x какой-то карты A на очередном ходе: Φ[A]. Т.е. сначала в ячейке строится "скелет" задуманной программы, в который мы потом подставляем внутренние части (атомарные, = карты). Например, данное нам начальное состояние ячейки -- I (т.е. λx x) -- это самый верхний уровень программы, в него мы можем подставить специализированный кусочек, а в результате желательно опять получить программу, которая при подаче на вход новых кусочков будет давать программу, служащую для порождения задуманной программы (при подаче всё новых кусочков).

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

Попробуем на каком-нибудь простом примере. Хотим построить программу λx(get 0) (это простой пример function application внутри нашей построенной программы; на этом примере я хочу проверить, что мы можем строить function application). Она будет на самом деле (в переводе на язык комбинаторов) иметь вид K (get 0).

λx(get 0) = K (get 0)

Начнём с конца; допустим, на последнем шаге построения мы подадим 0 -- разложим (λ-abstraction по нужному месту):

K (get 0) = λx(K (get x)) 0

λx(K (get x)) -- это значение того, что должно быть в ячейке на предпоследнем шаге построения. Как можно перевести это в комбинаторы, упрощая (т.е. избавляясь от function application внутри, которое мы не умеем делать сами и подавать туда) -- придумываем:

λx(K (get x)) = S (K K) get

Т.е. на предпоследнем шаге можно было бы хотеть получить S (K K) get. (Как-то это по-дурацки выходит; похоже, мне ничего не удалось! Тут ведь опять внутри сложности -- function application. Но доведу-ка до конца эту наивную попытку.) Это можно было бы получить, подав на предпоследнем шаге get -- раскладываем:

S (K K) get = λx(S (K K) x) get

λx(S (K K) x) = S (K K) (S (K K))

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

Нужно придумать более основательный подход к этой задаче. Может, взгляд на всё как на композицию функций пригодится -- ведь явно ссылаться на аргумент с помощью связанной переменной мы в этом языке не можем, т.е. надо программировать в variable-free стиле (point-free, function-level, concatenative programming).

Задачу ("программирования в стиле подстановки атомов") можно сформулировать так:

Хотим написать программу T. Надо перевести её в вид: I A1 A2 ... An, где Ai -- одна из данного набора карт (S, K, I и пр.).

Может быть, вовсе и не все программы так можно представить.

Точнее, конечно, так (учитывая, что есть left и right applications of cards and slots):

A6 (... (A3 (I A1 A2...) A4 A5...) ...) A7 A8...

Как задуманную программу перевести в такой вид?


Или посмотреть на задачу построения программы как на задачу поиска вывода в системе с 2*15 правилами вывода (по 2 правила на каждую карту -- то что в условии названо "left" и "right" applications), например:

правило S1: из посылки Φ, хранимой в ячейке, получаем (ΦS)
правило S2: из посылки Φ, хранимой в ячейке, получаем (SΦ)

но этих тривиальных правил не достаточно, работают ещё редукции (собственно применения комбинаторов).

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


Ну а вторая часть тогда -- когда мы научились строить желаемые программы в ячейках (а ещё эти программы -- помимо совершения действий как побочных эффектов -- в результате должны были бы давать себя или тоже полезные программы, которые бы записывались после хода в ячейку обратно) -- было бы запрограммировать хорошую "атаку". Ну не знаю, например: attack одну чужую ячейку, потом help той своей ячейке, жизнь которой мы использовали для этого, несколько раз для восстановления её жизни, потом ещё раз attack, в итоге в убитой клетке, возможно, создаём зомби, который тоже что-то подобное плохое будет делать. Тут есть ограничение: не больше 1000 function applications за ход, надо нашу программу уложить в это (так что, ячейку за ячейкой убивать все 256 чужих ячеек в один ход, наверное, не удастся).

А в-третьих, надо придумать, что делать, пока ты строишь свою мощную программу -- тут как раз происходит соревнование с противником: кто быстрее построит свою атакующую программу, несмотря на помехи, создаваемые противником... Про это я не думал.



it's like in natural language


"Программу в стиле подстановки атомов" можно словами описать так:

все скобки вложены друг в друга (т.е. нет скобок ещё где-то).

Ха-ха, на самом деле это же то, как обычно выглядят теории естественного языка -- атомы это heads! (А left/right
branching могут меняться.)


Теперь хотя бы стиль программирования более понятен и близок кажется.

Re: it's like in natural language


Т.е. очередное скармливание карты -- это очередной merge.

Re: it's like in natural language


или не совсем так всё же...

очередной merge -- это только когда мы карту к ячейке применяем.

Re: it's like in natural language


Но в теориях ЕЯ мы обычно можем в качестве значений lexical entries сложные программы придумывать -- какие нам надо. А
здесь совсем в другом месте может находить место наша сочинительская мощность.

Здесь карты фиксированы, и значения у них -- просто S, K, I и пр., а не то, что нам может захотеться для нашей теории
семантики и синтаксиса ЕЯ, чтобы всё работало.

(Хотя в общем-то тут и в теориях ЕЯ должны быть жёсткие ограничения, ведь люди выучивают как-то значения лексических
единиц, так что теоретику не должно быть позволено сколь угодно сложную программу придумать в качестве значения в
теории слова X в языке Y. Но это не то, чтобы большая проблема для современных лингв.теорий сейчас, потому что никто и
не предлагает безумно сложные значения для слов обычно. Просто на нынешней стадии, наверное, лингвисты скорее
исследуют этот простор -- что может быть нужно для теорий разных языков, чем стремятся уже наложить на себя
ограничения, когда ещё никто толком не знает, что может быть нужно (какие инструменты).)





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

отложенные побочные действия? (без этой цели мой приме


Пример-то у меня, наверное, дурацкий, как я ожидал: λx(get 0) -- т.е. тут я пытаюсь отложить выполнение (get 0) до
момента, когда я вызову всю эту функцию.

Не знаю, можно ли делать такие отложенные вычисления в этой системе (а это хотелось бы для функций с побочными
действиями, такими, как attack там и т.п.). Изначально она представлена как call-by-value.

В моём дурацком примере в системе без состояния можно было бы сразу подставить значение.

И это реализуется тривиально (в указанном виде):

K (I get 0)

т.е. по ходам (в начале наша ячейка -- обозначим её f[i] -- содержит I):

f[i] <- f[i] get
f[i] <- f[i] 0
f[i] <- K f[i]

Ну что ж, а есть ли смысл пытаться запрограммировать отложенные побочные действия?

комбинатор, откладывающий применение


Для подобного простого примера с отложенным действием нам пригодился бы такой комбинатор:

D' f y x = (f y) -- это как-то неубедительно выглядит

или который бы работал так:

D f y c = c (f y)
т.е. дадим ему в качестве последнего аргумента продолжение I -- получим (f y):
D f y I = I (f y) = f y

при этом я имею в виду что (f y) будет выполнено только на последнем шаге. Можно ли такое сделать?

попытка реализовать похожее передавая f как 2-ой арг. S


Хотим, чтобы S f g x = f x (gx) давало (get 0).

Попробуем построить f такую, что f x = get, а g -- такую, что g x = 0.

Чтобы f x = get можно было бы взять f = K get. (Аналогично g = K 0.)

Тогда всё вместе: S (K get) (K 0) = get 0. Но такой структуры программу мы не можем построить.

Ну что ж, может, это не очень важная цель -- отложенные вычисления и сложная запрограммированная атака?..





Can continuation passing style be a useful skill here?


Возникает сразу желание сравнить эту систему с известными штуками.

Вот по структуре, конечно, программы в указанном виде похожи на программы в continuation passing style.

(Например, пример вроде λc(c(get 0)) в c.p.s. как-то так должен быть:

get' λf(0' λyλc(c(fy)))

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

Но полезно ли это нам? Ведь в c.p.s. мы пользуемся уже переведёнными (поднятыми для c.p.s.) "атомами" (в моей
терминологии):

get' = λc(c get)
0' = λc(c 0)

А перед тем, как скормить атом в ячейку, у нас нет средств его поднять...

Tags: ,

(Leave a comment)

June 17th, 2011
05:34 am

[Link]

"functional" programming contest: lambda the gathering
Я всегда мечтал поучаствовать в соревновании по "функциональному" программированию. В этом году программы участников должны играть в нечто, называемое "Lambda: The Gathering".

Tags: ,

(2 comments | Leave a comment)

May 16th, 2011
01:09 am

[Link]

«Радости стресса»
(про лекцию в Политехническом музее 16 мая «Радости стресса»)

Стресс вообще вредит здоровью: например, способствует раку, ухудшает память и всё такое.

Так, в эксперименте крысу заставляли жить в тесном тёмном неудобном домике, И ЭТОТ СТРЕСС ДЕЙСТВИТЕЛЬНО НА НЕЁ ПЛОХО ВЛИЯЛ: ТЕЛО У НЕЁ ПОКРЫЛОСЬ ЯЗВОЧКАМИ, ОНА ВСЯЧЕСКИ ПЛОХО СЕБЯ ЧУВСТВОВАЛА.

ПОТОМ, В ДРУГОМ ЭКСПЕРИМЕНТЕ, КРЫСА ЖИЛА НА ТЕРРИТОРИИ, ГДЕ ВЕСЬ ПОЛ БЫЛ ПОД НАПРЯЖЕНИЕМ, КРОМЕ ТОГО САМОГО ТЕСНОГО ДОМИКА. (ДОМИК ОКАЗЫВАЛСЯ УБЕЖИЩЕМ.) И В ЭТОМ ЭКСПЕРИМЕНТЕ КРЫСА БОЛЬШУЮ ЧАСТЬ ВРЕМЕНИ СТАРАЛАСЬ ПРОВОДИТЬ В ДОМИКЕ, НО ТЕХ ПРИЗНАКОВ УХУДШЕНИЯ ЕЁ СОСТОЯНИЯ ЗАМЕЧЕНО НЕ БЫЛО. (Она радовалась своему убежищу! Хотя в другом случае тот же домик доставлял ей страдания.)

(Это я пересказал прочитанное на плакате с объявлением о лекции; в объявлении в сети всё не совсем так написано, как то, что мне запомнилось из плаката. Ну а большие буквы, так я просто изобразил свой напряжённый и быстрый голос, которым я вслух пересказываю коротко и ясно выраженную интересную мысль.)

Tags: ,

(3 comments | Leave a comment)

March 14th, 2011
12:49 am

[Link]

Posting comments to Blogger with OpenID doesn't work
I also experience this problem. (Blogger developpers, please fix it!)

Details about my experience:

I want to post comments with my OpenID http://lj.rossia.org/users/imz/ ; I use it happily on many other sites.

But when I try to post a comment to a Blogger/Blogspot post, the error is: "Your OpenID credentials could not be verified.".

For example, to test it right now I wrote a simple comment text at http://karelzak.blogspot.com/2009/12/unshare1.html#comment-form , entered my OpenID and pressed "Preview". This error occurred. "Post Comment" would also cause this error. This error occurred in other blogs for me before.

Blogger developpers, please fix this problem!

Similarly to Cyrill in the linked support thread, I'm using Google Chromium (chromium-browser-7.0.513.0-alt1.r58159), but this may well be unimportant.

Tags: ,

(1 comment | Leave a comment)

September 24th, 2009
07:42 pm

[Link]

нужен учитель итальянского (в Москве)
Товарки и товарищи,

нет ли среди вас учителей итальянского? Или, может быть, вы можете помочь найти такого?

Моя мама ищет учителя итальянского (с нуля). (Ну может, и я буду иногда смотреть, что она там проходит.)

Мне понравилось бы, чтобы в начале изучения языка учитель был бы в каком-то смысле лингвистом. (Ну чтобы направить умственную деятельность по изучению языка в осмысленном направлении.)

Ну, из минусов такого подхода ... )

Я было подумал, что я бы сам мог моей маме представить нужные сведения для начала изучения, дать первые упражнения. Но это всё же требует либо от меня много времени для подготовки, либо действительно нужен человек, который уже бы имел наготове материалы для обучения:

Допустим, если бы я это делал... )

Обычная оплачиваемая работа. Надо приезжать к нам (ну или там вести занятия по средствам связи как-нибудь, если вам это кажется удобным). Хорошо бы начать поскорее.

Tags:

(1 comment | Leave a comment)

July 2nd, 2009
09:52 pm

[Link]

опять одиночные пикеты перед Преображенской прокуратурой
Всеволода Остапова продолжают активно преследовать за якобы избиение милиции,

поэтому часть участников голодовкиfeed против милицейского произвола 3 июля в 14:00 будут опять проводить одиночные пикеты перед зданием Преображенской межрайонной прокуратуры с лозунгами: "Прекратить преследование Остапова!", "Нет милицейскому произволу!".

(Распространение информации, конечно, приветствуется. Зовите знакомых журналистов!)

Ещё сообщение об этом: http://www.ikd.ru/node/10170 .

Tags: ,

(Leave a comment)

June 25th, 2009
04:09 pm

[Link]

Одиночные пикеты по сокольническому делу перед Преображенской прокуратурой 25 июня
С 15:00 25 июня участники голодовкиfeed против милицейского произвола будут (пытаться) проводить одиночные пикеты перед зданием Преображенской межрайонной прокуратуры с лозунгами: "Прекратить преследование Остапова!", "Нет милицейскому произволу!".

Вчера же история была такая.

(Распространение информации, конечно, приветствуется.)

Tags: ,

(1 comment | Leave a comment)

June 24th, 2009
07:27 pm

[Link]

по следам слушаний по реформе милиции
23 июня были слушания по реформе милиции; там были озвучены разными людьми конкретные предложения по реформе:


  • http://www.zaprava.ru/content/view/1896/1/ "23 июня 2009 года в Музее и общественном центре им. А. Д. Сахарова состоялись Общественные слушания «Милиция – пора менять»"


  • http://grani.ru/Events/Crime/m.152748.html "Правозащитники: Милицию должен контролировать новый орган"


  • http://openinform.ru/news/survey/23.06.2009/12511 "Правозащитники предложили 5 принципов реформирования российской милиции"


  • http://www.kasparov.ru/material.php?id=4A40AFEB29CC9 "Правозащитники: Нужно создать отдельную службу по контролю за правоохранительными органами"


  • http://www.ikd.ru/node/10073 "23 июня в Москве состоялись общественные слушания под названием «Милиция – пора менять!»"


  • http://echo.msk.ru/news/600880-echo.html (короткое сообщение) "Правозащитники и пострадавшие от милиционеров предложили свои способы реформы милиции и потребовали честного расследования дела об избиении в УВД Сокольники. Добавим, что правозащитники говорили о необходимости расформирования подразделения МВБ по борьбе с экстремизмом, которое, по их мнению, превратилось в политический сыск, использующий «грязные методы работы»"


  • http://echo.msk.ru/news/600961-echo.html (длинное сообщение) "Участники голодовки, которые требуют расследовать дело об избиениях в ОВД Сокольники, открыли выставку, а правозащитные организации провели круглый стол по вопросам реформы милиции."




Ещё, непример, Рен-ТВ снимало слушания; может, у них есть материалы.

Tags: ,

(Leave a comment)

[<< Previous 20 entries]

My Website Powered by LJ.Rossia.org