Молчу не потому что нечего сказать — ждал, что к поздравлениям присоединятся вполне определённые люди. Если уж с
таким не поздравлять, то с чем тогда поздравлять.
Много лет её искали люди, чуть ли не десять. И, возможно, ещё сколько-то лет не будет более яркого кортежного события.
Ибо досчёт строго определённого интервала — это уже рутина с понятным исходом: минимальность будет установлена. Не этого, так другого кортежа.
Потому нет смысла досчитывать ещё больше месяца весь период 67#,
Уточнили: по среднему прогнозу — три недели, вполне реально управиться ещё в январе. Заодно закроем вопрос не по интервалу
, а сразу по
. Да и статистику ещё продолжаю собирать. А зачем же она теперь, эта статистика? Например для того, чтобы с помощью найденной аппроксимации оценить мат. ожидание для 21-324. Напомню, что мы не смогли посчитать его по HL1.
Как знать, может быть не мы, так другие начнут новые поиски, она и пригодится.
У меня, кстати, давно были планы насчёт нового компа. Например, посчитать все 30 констант для HL1 для 19-252. Но вот некогда всё было. А нынче наконец-то освободится комп от круглосуточного счёта...
Ещё что-то хотел посчитать и забыл уже. А, ну вот асм хотел продолжить изучать...