Category: здоровье

Category was added automatically. Read all entries about "здоровье".

ДР Цертуса 2011

(no subject)

Настоящим объявляю, что все мои персональные данные, тексты, фотографии, рисунки, переписка и т.п. являются объектами моего авторского права (согласно Бернской Конвенции), и оповещаю «ЖЖ» (LiveJournal, Inc / SUP Media) о том, что разглашение, копирование, распространение моей личной информации в коммерческих целях равно как и любые другие противоправные действия по отношению к моему профилю в социальной сети строго запрещены.

Для коммерческого использования всех вышеупомянутых объектов авторского права в каждом конкретном случае необходимо мое письменное разрешение.

Гёттинген
17 января 2015 г.
Александр Куклев
ДР Цертуса 2011

Робопылесосы

Оказывается, iRobot выпустили новый офигенский робопылесос Roomba S9+, традиционно с пылесосной станцией, успешно компенсирующей малый объем пылесборника. Ругают его пока за сыроватый софт, но это невпервой, за годик они всё починят и апдейты пришлют. А вот само устройство меня впечатлило (ценой, правда, тоже впечатлило — $1500). Они сдались и наконец отказались от круглой формы робопылесоса и перешли в новой модели S9+ к логичной D-образной форме, а ещё радикально увеличили силу всасывания —теперь 2.6 кПа, и мощность всасывания — теперь 22 Вт (это не потребляемая, а производимая мощность). По обоим показателям это на порядок с лишним ниже, чем у любого нормального большого пылесоса, но для аккумуляторных пылесосов это невиданный прорыв. А вот шумовые показатели в районе 65-68 дБ. Эх, вот кабы 55-58... Мечты-мечты.

Удивительным образом, для меня препятствием к использованию робопылесоса является шум — пылесосит эта штука очень долго, ночью из-за шума не запустишь, днём под ногами мешается и бесит шумом, неприятных, к тому же частот. У нас Roomba 760, формально он даёт уровень шума в районе 65 дБ — казалось бы немного, но звук уж больно противный. У более новых моделей звук существенно менее противный, кстати, так что может быть те 65-68 дБ и не очень плохи.

Можно ли сделать мощный, но тихий пылесос?
Если его не нужно запитывать от батарейки и упихивать в очень маленький корпус, то да! Collapse )
ДР Цертуса 2011

Статистика и пропаганда ЗОЖ

Паша на днях показал забавный сайт: указываешь текущий возраст, пол и страну, выдаёт вероятностное распределение ожидаемой продолжительности жизни.

Интересной рекламой здорового образа жизни было бы развитие этой идеи: сайт, который бы позволял сравнивать вероятностные распределения ожидаемой продолжительности жизни (и отдельно ожидаемой продолжительности активной-трудоспособной части жизни) в зависимости от факторов, которые являются маркерами спортивной формы и здорового питания:
VO₂max, пульс и артериальное давление в состоянии покоя и под нагрузкой, индекс массы тела и процент жира, уровни триглицеридов, липопротеинов низкой плотности, глюкозы, инсулина, оксида азота(II) и свободных радикалов в крови.

Я бы ожидал, что разброс этих факторов в неболезненных пределах будет давать разброс по медианной ожидаемой продолжительности жизни минимум лет на 20, а по ожидаемой продолжительности продуктивной-активной-трудоспособной жизни и того больше. Однако на самом деле я этого не знаю.

Интересно располагает ли вообще кто-то хоть в какой-то стране необходимой для подобных оценок статистикой?
ДР Цертуса 2011

Ну даёт!

Я просто оставлю это здесь: https://pigworker.wordpress.com/2015/01/05/linear-dependent-types/

Нет, я не могу просто оставить, я чуток прокомментирую. Конор МакБрайд положительно был стукнут молотом Тора и из его гениального мозга посыпались звёзды. И ещё вот это (https://pigworker.wordpress.com/2015/01/01/irish-induction-recursion/), и вот это (https://pigworker.wordpress.com/2015/01/02/coinduction/). Ну блин, ну он даёт, ну надо же так, а. Взял и всё разложил по полочкам. Когда я это всё читать-то буду, ночью я и так работаю, выкопать откуда-то ночь ночи? Я как-то сомневаюсь, что смогу нормально заснуть, пока не вкурю хотя бы про линейные зависимые типы.
ДР Цертуса 2011

Оказывается

Оказывается, нарыть тексты Высоцкого без купюр не так-то просто, если не помнишь слов, которые вырезаны. Я (который как правило вообще незнакомые тексты по полутора словам находит за пару минут) потратил минут пять на поиск безкупюрного «Бермудского треугольника», из которого не вырезано про «больно бьют по нашим душам голоса за тыщи миль, Мы зря Америку не глушим, ой, зря не давим Израиль».
Свечка и валокардин

(no subject)

Жесть какая-то. Я думал, я просто устал с дороги, но похоже я таки чем-то заболел. Позавчера я проспал 12 часов, вчера отрубился в 19 часов, проснулся в 10, это 15 часов сна. Я еле соображаю и всё время хочу спать, на будильники я теперь не реагирую вообще.

Хотя может погода. У нас тут сейчас крайне хмуро и дождливо, солнце выключили.
Свечка и валокардин

Миасо

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

У нас вот напротив дома есть с 1888 года мясная лавка Wullf. Купил там сегодня 100 г метта (парного свиного фарша для сырого употребления) на бутерброд и 300 г свиной печенки. Все вместе чуть меньше 2 евро, рублей 70-75 на русские деньги. Печёночку тут же порезал, очистил от желчных проток (это 5 минут работы), промыл и пожарил ровно две минуты на минимальном количестве масла без добавления чего бы то ни было (даже соли).

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

И полезнятина, если у кого авитаминоз. Ведь там одного железа в самой биодоступной форме на 300 г получается 66 мг (400% RDA) плюс по 400% RDA всех витаминов группы Б, включая фолиевую кислоту (так сбалансированно выходит из-за сходства устройства свиной и человеческой крови), около 1000% биодоступного витамина А, целый грамм калия, дочерта фосфора, магния, кальция и натрия, 63 г белка, менее 3 г углеводов и всего 390 ккал.
Свечка и валокардин

Элементарное

Элементарными функциями называются функции, которые можно выразить, используя функции exp, log и сложение с целыми комплексными коэффициентами.

Давайте примеры приведём. Вот например умножение и деление элементарные функции? Конечно! Потому что
    a ⋅ b = exp(log(a) + log(b))
    a / b = exp(log(a) − log(b))
Значит все рациональные числа и все рациональные функции элементарны.

Если p элементарное число, то возведение в степень p тоже элементарно, потому как
    ap = exp(p ⋅ log(a))
Стало быть всякие элементарны квадратные корни и вообще выражения в радикалах.

Все тригонометрические функции элементарны потому что могут быть выражены через косинус cos(x) и обратный к нему arccos(x), а они в свою очередь вычисляются по формулам
    cos x = [exp(ix) + exp(-ix)]/2
    arccos x =
В том числе элементарно число пи = arccos(0), число e = exp(1) и числа, выразимые с использованием этих в том числе и этих констант в радикалах.

Казалось бы, такой огромный класс функций и чисел, замкнут относительно их произвольного комбинирования и даже дифференцирования. Чего же в нём не хватает?

1) В первую очередь, отсутствия обратных функций! К сложению есть (вычетание), к умножению (деление), к возведению в степень (корни и логарифмы) тут как тут, а вот к произвольной элементарной функции обратная как раз обычно не элементарна. Причём обратимость внутри класса элементарных перестает работать уже на самых простых функциях: многочленах.

Полиномиальное уравнение x5 + x = y в радикалах не решается, т.е. функция, обратная к f(x) = x5 + x, не является элементарной. Кстати, эта функция имеет специальное название: ультрарадикал пятой степени. Если её добавить к обычным квадратным и кубическим корням, то можно записать универсальную формулу для решения уравнений пятой степени. Гильберт поставил вопрос о существовании семейства таких алгебраических функций uradn(x) ("ультрарадикалов n-ной степени"), что в терминах радикалов и ультрарадикалов степеней не больше n можно записать универсальную формулу решения уравнений степени n. Увы, это не так (Shreeram Abhynkar, http://www.emis.de/journals/SC/1997/2/pdf/smf_sem-cong_2_1-11.pdf), с другой стороны это возможно используя гиперэллиптические тета-функции (http://www.math.leidenuniv.nl/~psh/CMpapers/Guardia.pdf).

Если, допустить, однако, более сложные уравнения, чем полиномиальные, то количество спецфункций, которые нужно подобавлять, чтобы всё решалось, совершенно взрывается. Хотя встречаются и классы уравнений, такие что для решения всех уравнений этого класса достаточно одной спецфункции. Например если взять функцию LambertW (обратная к f(x) = x⋅exp(x)), то экспоненциально-полиномиальные уравнения сводятся к полиномиальным.

2) Интегралы элементарных функций и решения дифференциальных уравнений в элементарных функциях часто неэлементарны. Для решения дифференциальных уравнений матфизики и всяких ценных в народном хозяйстве интегралов были придуманы широчееенные классы спецфункций: эллиптические и гипергеометрические. А для решения линейных дифференциальных уравнений с задержкой необходимо и достаточно дополнить элементарные функции и спецфункцией LambertW.

3) Сложение это итерированный инкремент, умножение — итерированное сложение, возведение в степень — итерированное умножение. Используя примитивно-рекурсивные определения можно ведь и дальше продолжать этот ряд: тетрация, квинтерация и так далее. Существуют и другие естественные и красивые примитивно-рекурсивные функции, возникающие естественно в теории чисел и теории сложности алгоритмов. Факториал хоть например. И про некоторые из этих функций известно, что они определяются не только для натуральных чисел: можно построить естественные голоморфные обобщения этих функций для всех комплексных чисел (для факториала это, например, знаменитая Г-функция). Так вот эти самые функции (не говоря уже об обратным им) нефига не элементарны. И тут откуда-то вылезает эта LambertW: через неё можно выразить аналоги корней для тетрации.

По поводу этой LambertW даже стали раздаваться голоса, не причислить ли её к лику элементарных функций. Уж больно много где возникает. Но по-моему, всё-таки зря раздаются, та же Г-функция возникает в сто раз чаще, а её элементарной никто считать не собирается.
Свечка и валокардин

(no subject)

Забавный момент сегодня заметил.

а) Еду себе на работу с утра на велосипеде. Ну и по дороге в какой-то момент велодорожка поворачивает направо под 70 градусов, а велодорожка эта расположена на тротуарной части дороги, т.е. справа от бордюра. И вот еду себе где-то 35 км/ч, там как раз под горку. И значить заворачиваю себе направо под 70 градусов с соответствующим наклоном корпуса. Если бы вместо бордюра была просто разметочная полоса, я бы повернул по самой бровке и даже не задумался. А тут еду, точно знаю, что дорога сухая, резина хорошая, запас по срыву минимум в два раза, что управлять велосипедом я умею хорошо. А всё равно, когда апекс поворота, и я проезжаю по самой бровке в 5-7 сантиметрах от бордюра, что-то внутри замерает. Это секундный страх. Это проявление боязни высоты, даже если высота всего 15-20 сантиметров.

Я бы подумал, что это страх не справиться с управлением, но меня в этом разуверил момент
б) Еду себе с работы в магазин и нужно проехать по стройплощадке, там дорогу строят. И там такой проезд, ограниченный изгородью справа и слева. А между изгородями расстояние = ширина моего руля + по пять сантиметров с каждой стороны. И изгородь колючая, болючая, нехорошая. Врезаться в неё плохо и больно. Остановиться там на проезде тяжело, т.к. некуда будет поставить ногу, некуда наклонить велосипед. Но эти мысли как раз я уже думал постфактум, а в тот момент я просто взял и проехал. Всё-тки это в (а) была боязнь высоты или что? :-)