?

Log in

No account? Create an account

Problem solver - Общество дровосеков Бердичева по изучению Мишны

Aug. 22nd, 2016

12:11 pm - Problem solver

Previous Entry Share Next Entry

Это, конечно, не такой сильный решатель проблем, как

(скажем, проблему остановки не решит), но кому-нибудь, возможно, пригодится.
В интервью автор говорит, что название языка Sentient - приближенная анаграмма фамилии Цейтин. Это неспроста.


Пишешь, скажем,

array10<int5> d;

invariant d.uniq?;
invariant d.all?(function (e) { return e.between?(0,9); });

cur = 0;
0.upto(9, function^ (i) {
cur = cur * 10 + d[i];
invariant cur % (i+1) == 0;
});

expose d;

и вмиг (ну, условно) получаешь правильный ответ: {"d":[3,8,1,6,5,4,7,2,9,0]}

Comments:

[User Picture]
From:alextr98
Date:August 22nd, 2016 07:16 pm (UTC)

С 30-й секунды

(Link)
- Problem solver?
- Problem eliminator!
(Reply) (Thread)
[User Picture]
From:spamsink
Date:August 22nd, 2016 07:22 pm (UTC)

Re: С 30-й секунды

(Link)
На работе я по части роликов не читатель, а только писатель. :( А одному из способов ликвидации проблем мы можем поучиться у Л. П. Берии.
(Reply) (Parent) (Thread)
[User Picture]
From:alextr98
Date:August 22nd, 2016 07:28 pm (UTC)

одному из способов ликвидации проблем

(Link)
Эффективный же был менеджер!
Но не оправдал доверия :-(
(Reply) (Parent) (Thread)
[User Picture]
From:spamsink
Date:August 22nd, 2016 07:33 pm (UTC)

Re: одному из способов ликвидации проблем

(Link)
Это всё шуточки, а пост-то программистский.
(Reply) (Parent) (Thread)
[User Picture]
From:alextr98
Date:August 22nd, 2016 08:06 pm (UTC)

а пост-то программистский

(Link)
Вестимо!
(Reply) (Parent) (Thread)
[User Picture]
From:sasha_gil
Date:August 23rd, 2016 02:48 am (UTC)
(Link)
Попробую передать историю Григорию Самуиловичу, может, его позабавит... Кстати, помню лекцию на первом курсе, где он знакомил нас, первокурсников, с Алголом-68 на примере программы, решающей задачу 8-ми ферзей. Совпадение?! :)
(Reply) (Thread)
[User Picture]
From:spamsink
Date:August 23rd, 2016 03:19 am (UTC)
(Link)
Я бы не назвал это совпадением. Эту задачу еще Дейкстра в "Дисциплине программирования" разбирал, так что она хрестоматийная.
(Reply) (Parent) (Thread)
[User Picture]
From:archaicos
Date:August 23rd, 2016 05:19 am (UTC)
(Link)
А реклама на mail.ru говорит, что есть решатели задач любой сложности на C++. Я как-то постеснялся выяснять их пределы сложности. :)
(Reply) (Thread)
[User Picture]
From:spamsink
Date:August 23rd, 2016 07:17 am (UTC)
(Link)
Сначала надо выяснить, как словосочетание парсить.
(Reply) (Parent) (Thread)
[User Picture]
From:archaicos
Date:August 23rd, 2016 07:56 am (UTC)
(Link)
Сложная задача!
(Reply) (Parent) (Thread)
[User Picture]
From:maksa
Date:August 23rd, 2016 09:16 am (UTC)
(Link)
Иногда складывается ощущение, что создатели языков программирования соревнуются в том, чтобы сделать синтаксис как можно более вычурным и непонятным.
(Reply) (Thread)
[User Picture]
From:mtve
Date:August 23rd, 2016 03:16 pm (UTC)
(Link)
в данном случае синтаксис вполне минималистичный и логичный. spamsink, спасибо за наводку!
(Reply) (Parent) (Thread)
[User Picture]
From:maksa
Date:August 23rd, 2016 03:21 pm (UTC)
(Link)
Да, вот эти крышечки^ особенно.
(Reply) (Parent) (Thread)
[User Picture]
From:spamsink
Date:August 23rd, 2016 03:35 pm (UTC)
(Link)
Да, можно было бы для этого ("функция пользуется внешними переменными") и ключевое слово ввести, ничего страшного не случилось бы.
(Reply) (Parent) (Thread)
[User Picture]
From:spamsink
Date:August 23rd, 2016 03:41 pm (UTC)
(Link)
The pleasure is mine!
(Reply) (Parent) (Thread)