Ну я представил метод построения такого числа, который контролирует исключительно первые 3n+3 знаков после запятой. Из данного доказательства сделать вывод про дальнейшие знаки не получится, оно только говорит, что приближение числителя к единице даст требуемую точность. То, что числитель = 1 обладает еще какими-то свойствами, придется строго доказать отдельно.
Расмотрим желаемое число. Оно выглядит как 0.000001002...n, где n — верхняя грань, число из трех цифр, в данном случае 999.
Забьем пока на три ведущих нуля. Чтобы выписать только все числа от 1 до n таким образом, нужно сдвинуть каждое на три разряда после запятой относительно предыдущего, т.е. умножить на 10^-3. Итоговая формула:
В знаменателе 998001. Вычислим числитель при n = 999: WolframAlpha.
Получим отвратительно неприятное число, которое примерно равно 1000 с нужным числом нулей после запятой и неважным нам остатком после этого. Если поделить теперь результат на 1000, мы получим желаемый результат = 0.000001002...999.
Q.E.D.
P.S. Метод обобщается на произвольное число знаков в группе, не обязательно 3. Это число просто ставится в показатель десятки.
Исключительно то, что это более-менее достойный в своем жанре сугубо развлекательный фильм. Вот подобное искусство вполне может быть заменено хоть интерактивными шутерами, хоть вконтактовскими РПГ.
Есть творцы, режиссеры, актеры, сценаристы, которые создают искусство (если для вас общественная и эстетическая ценность Голливуда заключается в «Трансформерах» и «Сумерках», продолжайте далее жить во мраке и прекратите читать данный комментарий). Есть студии, правообладатели, маркетологи, которые финансируют, обеспечивают и рекламируют процесс.
Если вы собираетесь убить Голливуд, вы убьете всех сразу. Искусство не выживет без студийной поддержки, как книги — без издателей, художники — без агентов и галерей. «Интерактивные жанры искусства, как игры»? «Кино изжило себя»? «Агония Голливуда»? Ну-ну. Яд здесь, стенка вон там, в сторонке.
Корень проблемы в методах правообладателей, в SOPA и PIPA. Эти вопросы можно решить, возможно даже со взаимной выгодой или действительно каким-то агрессивно направленном актом, на который можно и направить соответствующий Request For Startup. Но Y Combinator подменила одну идею другой, тем самым выставив себя на посмешище.
Символ с нижней чертой, параллельной средней, — это традиция русской математической школы.
Символ с горизонтальной нижней чертой — это традиция западной математической школы.
Очевидно, онлайн-рендерер LaTeX`а использует дефолтные настройки и рендерит по западной традиции. Чтобы переключить его на русские настройки, можно, например, использовать russcorr. Или что-нибудь другое.
Как пример других значимых отличий русской и западной систем записи — нижний/верхний частичный предел. У нас он записывается как lim с чертой снизу/сверху, а во всем мире — как «lim inf»/«lim sup».
Я полагаю, топикстартер просто логично предпочитает набирать все формулы в LaTeX, потому что его рендерер — идеальный. Статья на Хабре не должна быть тому исключением.
Насколько я помню, алгоритма Копершмита-Винограда как такового не существует. Ими теоретически, без предъявления алгоритма в явном виде, показана их оценка.
Нет, здесь вы неправы, они привели явный алгоритм в оригинальной публикации. Он непрактичен, да, но существует.
Как-то все поверхностно. Матбаза не выходит за рамки первого семестра первого курса произвольного технического вуза. Я надеялся, что хоть про кватернионы человек поведает с той же степенью детальности, а он отделался «Извините, сам фишку не секу» и свалил.
Их нельзя убивать, они засуспенживаются системой и ничего не едят. Если системе не хватает ресурсов, она сама по своему разумению убивает приложения, по принципу андроида. Приложения написаны таким образом, что они восстанавливаются как из засуспенженного состояния, так и из полного нуля (в случае системного убиения) до точно той же точки, в которой были, так что в большей части случаев вам вообще не нужно париться, что работает, а что нет. Теоретически.
> Меня больше интересует как из метро-приложения вернутся на стартовую страницу метро.
В тач-интерфейсе — потянуть с правого края экрана налево, откроется панель Charms.
Если тача нет, а есть лишь мышь — направить ее в левый нижний угол, откроется укороченное меню Start с теми же самыми Charms.
OK, я в мире *nix глупый и неопытный, мне не стыдно в этом признаваться, это не моя профессиональная сфера. Если вы мне покажете подробно путь сделать то, что мне нужно, я только поблагодарю вас и извинюсь за сказанное где-либо не так.
Задача: виндовый проект на C++ или C# валяется на андроид-таблете. Необходимо подправить в нем что-то прямо на девайсе и прямо тут перекомпилировать для проверки (еще раз, таргет — windows, x86). На декстопном линуксе я это сделать могу. На андроиде — нет.
По крайней мере я не нашел возможности это сделать «из коробки» — на андроиде как «полноценной планшетной операционке» (помните, из чего наш спор начался?) Если для этого надо установить на планшет неким образом портированный десктопный дистрибутив линукса — да пожалуйста, только это уже не андроид.
Я же и не спорю, что на Maemo, например, моя задача решается.
А файл стянуть с ремоута на девайс через citrix receiver можно? А то 2X Client прекрасно коннектится к винде, но на этом все «прекрасно» заканчиваются.
Ага, щас, все есть.
Андроид != армовый линукс, в этом-то вся и прелесть. Можно билдить ДЛЯ андроида, но не НА андроиде. Все, что есть из компиляторов НА самом андроиде — это Ruby и еще парочка веб-языков, R, Scheme, FreePascal, C (не C++). О том, чтобы взять GCC и сбилдить проект, да еще и под другой таргет, можно только мечтать, об отладке вообще не заикайтесь.
и то интернет-подключение нужно.
Я человек, измученный нарзаном отсутствием 3G. Я хочу вот прямо здесь и сейчас, возможности машины позволяют. Почему ни одна из существующих таблет-операционок мне этого не даёт?
Да понятно, что на кейноте демонстрируются те сценарии, которые а) новые (JS, Metro...); б) легко показать (SL Web => SL Win8). Все остальные десктопные — каждый своему рассказчику.
Конференция неделю длится, ёлки-палки ;)
Вам, веб-девелоперам хорошо, а я в своей нейтив-струе ощущаю себя на андроиде как голый :) Максимум, что смогу сделать — запустить ideone, и то интернет-подключение нужно.
Честно, если бы мне дали на андроиде оооочень меееедленный эклипс, которому начхать на шину, оперативку и павер-менеджмент, я бы и с этим благодарил до слез. Но ни одна зараза не дает же. Ибо смысла нет делать такое ПО под андроид. А вот под Win8 есть — и так заработает, в обычном десктопном режиме.
Забьем пока на три ведущих нуля. Чтобы выписать только все числа от 1 до n таким образом, нужно сдвинуть каждое на три разряда после запятой относительно предыдущего, т.е. умножить на 10^-3. Итоговая формула:
Решим этот ряд: WolframAlpha.
В знаменателе 998001. Вычислим числитель при n = 999: WolframAlpha.
Получим отвратительно неприятное число, которое примерно равно 1000 с нужным числом нулей после запятой и неважным нам остатком после этого. Если поделить теперь результат на 1000, мы получим желаемый результат = 0.000001002...999.
Q.E.D.
P.S. Метод обобщается на произвольное число знаков в группе, не обязательно 3. Это число просто ставится в показатель десятки.
Есть творцы, режиссеры, актеры, сценаристы, которые создают искусство (если для вас общественная и эстетическая ценность Голливуда заключается в «Трансформерах» и «Сумерках», продолжайте далее жить во мраке и прекратите читать данный комментарий). Есть студии, правообладатели, маркетологи, которые финансируют, обеспечивают и рекламируют процесс.
Если вы собираетесь убить Голливуд, вы убьете всех сразу. Искусство не выживет без студийной поддержки, как книги — без издателей, художники — без агентов и галерей. «Интерактивные жанры искусства, как игры»? «Кино изжило себя»? «Агония Голливуда»? Ну-ну. Яд здесь, стенка вон там, в сторонке.
Корень проблемы в методах правообладателей, в SOPA и PIPA. Эти вопросы можно решить, возможно даже со взаимной выгодой или действительно каким-то агрессивно направленном актом, на который можно и направить соответствующий Request For Startup. Но Y Combinator подменила одну идею другой, тем самым выставив себя на посмешище.
Символ с горизонтальной нижней чертой — это традиция западной математической школы.
Очевидно, онлайн-рендерер LaTeX`а использует дефолтные настройки и рендерит по западной традиции. Чтобы переключить его на русские настройки, можно, например, использовать russcorr. Или что-нибудь другое.
Как пример других значимых отличий русской и западной систем записи — нижний/верхний частичный предел. У нас он записывается как lim с чертой снизу/сверху, а во всем мире — как «lim inf»/«lim sup».
В тач-интерфейсе — потянуть с правого края экрана налево, откроется панель Charms.
Если тача нет, а есть лишь мышь — направить ее в левый нижний угол, откроется укороченное меню Start с теми же самыми Charms.
Задача: виндовый проект на C++ или C# валяется на андроид-таблете. Необходимо подправить в нем что-то прямо на девайсе и прямо тут перекомпилировать для проверки (еще раз, таргет — windows, x86). На декстопном линуксе я это сделать могу. На андроиде — нет.
По крайней мере я не нашел возможности это сделать «из коробки» — на андроиде как «полноценной планшетной операционке» (помните, из чего наш спор начался?) Если для этого надо установить на планшет неким образом портированный десктопный дистрибутив линукса — да пожалуйста, только это уже не андроид.
Я же и не спорю, что на Maemo, например, моя задача решается.
Андроид != армовый линукс, в этом-то вся и прелесть. Можно билдить ДЛЯ андроида, но не НА андроиде. Все, что есть из компиляторов НА самом андроиде — это Ruby и еще парочка веб-языков, R, Scheme, FreePascal, C (не C++). О том, чтобы взять GCC и сбилдить проект, да еще и под другой таргет, можно только мечтать, об отладке вообще не заикайтесь.
Я человек, измученный
нарзаномотсутствием 3G. Я хочу вот прямо здесь и сейчас, возможности машины позволяют. Почему ни одна из существующих таблет-операционок мне этого не даёт?Конференция неделю длится, ёлки-палки ;)
Честно, если бы мне дали на андроиде оооочень меееедленный эклипс, которому начхать на шину, оперативку и павер-менеджмент, я бы и с этим благодарил до слез. Но ни одна зараза не дает же. Ибо смысла нет делать такое ПО под андроид. А вот под Win8 есть — и так заработает, в обычном десктопном режиме.