В математике - можно. В физике, в общем случае, - нет. Это вопрос терминологии и консенсуса внутри конкретного научного сообщества что считать доказательствами и как оценивать их валидность. Деньги можете оставить себе).
В рамках всей страны автопром это куча рабочих мест, где граждане - хоть с авто хоть без него - получают зарплату. Это не только сами машины, но и нефтянка, комплектующие, СТО, дорожники, логистика, туризм, мотели, кафе и т.п. Ну и налоги. Благодаря автолюбителям кормится масса народа. Именно поэтому в любые кризисы продажи авто субсидируют в первую очередь.
Без относительно частных авто, всем нравится покупать товары в магазинах шаговой доступности рядом с домом. Кто-то вызывает врачей скорой помощи или пожарных. А им тоже нужны дороги. Разве не логично, что за них так или иначе платит все население?
Не бывает бесплатного сыра - за все всегда платит клиент.
Я плачу за парковку непосредственно каждый месяц в виде коммуналки, поскольку она находится на придомовой территории. Её каждый день подметает дворник, а местное тсж нечасто организует ремонт.
"Бесплатные" городские дороги и парковки оплачиваются из местных бюджетов, в которые мы все так или иначе платим налоги.
И нет, ваш налог в 5 тысяч рублей в год за нее никакую парковку, строительство и поддержание дорог не окупает.
Обслуживание дорог заложено не только в транспортный налог, но и в тарифы для проезда по платным магистралям (сравнимы со стоимостью ж/д билетов), цену горючего на заправках, платные парковки и утильсбор (хотя на что он реально тратится никто не говорит).
В математике есть теоремы. Их доказывают (prove), приводя формальное доказательство (proof). По сути это чисто синтаксическая штука, когда одни символы в формуле по неким правилам заменяют другими, пока эта конструкция не примет вид, который считается истиной. То же самое относится и к логическим выкладкам.
В естественных науках говорят не о доказуемости, а о фальсифицируемости (falsifiability) теорий или гипотез. Здесь они подтверждается или опровергаются тестами - в ходе наблюдений, измерений, экспериментов и т.п.
Если в теории используется логика или математика, то какую-то аргументацию можно получать чисто с помощью формальных доказательств - что называется "на кончике пера". Но добывать практические подтверждения рано или поздно все равно придётся. В некоторых областях такие методы называют верификацией (verification) и валидацией (validation).
Ну если только с личным водителем), поблизости есть дешевые места для парковки или у вас куча детей. А так в пределах города такси удобнее, да и по большому счету - дешевле.
Смысл публикации исходников как в патентах - не дать возможноть конкурентам использовать этот код или его фрагменты.
Код может появиться у них, например, в случае намеренной утечки. Либо по неосторожности: если кто-то из бывших разработчиков случайно поделится на слайдах презентации, stackoverflow, скопипастит в опенсорс и т.п.
У нас используются практики DevSecOps, описанные в https://owasp.org/www-project-devsecops-verification-standard/. В частности, заимствования кода определяются инструментом для Software Composition Analysis. Вместе с ним Software License Compliance проверяет лицензии. В случае нарушения в проект моментально прилетает ишью с блокирующим приоритетом. Для разработчиков регулярно проводится security trainings, где лицензиям и политикам использования посвящён один из модулей. Поэтому они естественно в курсе что в каких случаях можно и что нельзя.
Есть отдельный класс софта, который автоматически определяет такие "мелочи" (SCA). Дальше все зависит от специфики бизнеса. В крупных компаниях на западе все это довольно сильно контролируется, поскольку нарушение лицензий может привести к большим судебным издержкам.
По моему личному опыту большинство разработчиков о таких вещах даже и не задумываются.
Все сильно зависит от специфики бизнеса компании и даже отдельных проектов. Последствия нарушения лицензий это бизнесовый риск. Конечно, в первую очередь голова болит у руководства, а дальше они спускают требования вниз, вплоть до разработчиков.
В катушке огромный запас мощности. При аварийном отключении она в течении короткого времени преобразуется в тепло. Чать компонентов агрегата штатно уходит под замену. Последующее обслуживание, проверки и ввод в эксплуатацию тоже стоят дорого.
Сильное поле только внутри аппарата МРТ, как в любой магнитной катушке.
Снаружи в кабинете вполне земные условия: прутья в железобетонных конструкциях, мебель, фурнитура и т.п. - все как обычно. Перед процедурой все железо оставляется неподалёку на столике и ни чего с ним не происходит. Напряженность поля падает обратно пропорционально кубу расстояния.
Поэтому я полагаю, что история про внезапно притянутую из другого конца кабинета винтовку - анекдот. С таким же успехом ее могло примагнитить электромагнитным замком на двери в подъезд.
В теории он мог полезть с оружием внутрь аппарата искать посевы, но это была бы уже несмешная история.
якобы потребление электроэнергии в медцентре под названием NoHo было слишком высоким
Мощные магниты притянули оружие через всю комнату, вырвав его из руки офицера и прижав к стенке аппарата
Наверное он был выключен. Потому, что во включеном состоянии такой аппарат может притягивать даже вагоны метро и низко летящие самолёты. Именно для этого всех пассажиров перед посадкой проверяют металлодетектором.
серьезные ученые давно ничего не ищут. Остались только фантасты и любители.
Серьёзные учёные заняты поиском серьёзных денег на свои исследования и набиванием рейтингов в серьёзных научных журналах, иначе никто не даст - у них просто не остаётся времени на разные глупости.
Муравьи и есть представители древней сверхцивилизации. Они непрерывно получают поток новостей с Альфы Центавра сразу всем муравейником.
Ну вот показали людям связь через радиоволны, для эксперимента. И что они с ней сделали? Начали брать за нее друг у друга деньги, рассылать спам, блокировать и запрещать общаться под разными предлогами. Так о чем с ними вообще можно разговаривать?
В математике - можно. В физике, в общем случае, - нет. Это вопрос терминологии и консенсуса внутри конкретного научного сообщества что считать доказательствами и как оценивать их валидность. Деньги можете оставить себе).
В рамках всей страны автопром это куча рабочих мест, где граждане - хоть с авто хоть без него - получают зарплату. Это не только сами машины, но и нефтянка, комплектующие, СТО, дорожники, логистика, туризм, мотели, кафе и т.п. Ну и налоги. Благодаря автолюбителям кормится масса народа. Именно поэтому в любые кризисы продажи авто субсидируют в первую очередь.
Без относительно частных авто, всем нравится покупать товары в магазинах шаговой доступности рядом с домом. Кто-то вызывает врачей скорой помощи или пожарных. А им тоже нужны дороги. Разве не логично, что за них так или иначе платит все население?
Не бывает бесплатного сыра - за все всегда платит клиент.
Я плачу за парковку непосредственно каждый месяц в виде коммуналки, поскольку она находится на придомовой территории. Её каждый день подметает дворник, а местное тсж нечасто организует ремонт.
"Бесплатные" городские дороги и парковки оплачиваются из местных бюджетов, в которые мы все так или иначе платим налоги.
Обслуживание дорог заложено не только в транспортный налог, но и в тарифы для проезда по платным магистралям (сравнимы со стоимостью ж/д билетов), цену горючего на заправках, платные парковки и утильсбор (хотя на что он реально тратится никто не говорит).
В математике есть теоремы. Их доказывают (prove), приводя формальное доказательство (proof). По сути это чисто синтаксическая штука, когда одни символы в формуле по неким правилам заменяют другими, пока эта конструкция не примет вид, который считается истиной. То же самое относится и к логическим выкладкам.
В естественных науках говорят не о доказуемости, а о фальсифицируемости (falsifiability) теорий или гипотез. Здесь они подтверждается или опровергаются тестами - в ходе наблюдений, измерений, экспериментов и т.п.
Если в теории используется логика или математика, то какую-то аргументацию можно получать чисто с помощью формальных доказательств - что называется "на кончике пера". Но добывать практические подтверждения рано или поздно все равно придётся. В некоторых областях такие методы называют верификацией (verification) и валидацией (validation).
Ну если только с личным водителем), поблизости есть дешевые места для парковки или у вас куча детей. А так в пределах города такси удобнее, да и по большому счету - дешевле.
Смысл публикации исходников как в патентах - не дать возможноть конкурентам использовать этот код или его фрагменты.
Код может появиться у них, например, в случае намеренной утечки. Либо по неосторожности: если кто-то из бывших разработчиков случайно поделится на слайдах презентации, stackoverflow, скопипастит в опенсорс и т.п.
Можно использовать
if false { ... }вместо комментирования, хотя есть свои плюсы и минусы.У нас используются практики DevSecOps, описанные в https://owasp.org/www-project-devsecops-verification-standard/. В частности, заимствования кода определяются инструментом для Software Composition Analysis. Вместе с ним Software License Compliance проверяет лицензии. В случае нарушения в проект моментально прилетает ишью с блокирующим приоритетом. Для разработчиков регулярно проводится security trainings, где лицензиям и политикам использования посвящён один из модулей. Поэтому они естественно в курсе что в каких случаях можно и что нельзя.
Есть отдельный класс софта, который автоматически определяет такие "мелочи" (SCA). Дальше все зависит от специфики бизнеса. В крупных компаниях на западе все это довольно сильно контролируется, поскольку нарушение лицензий может привести к большим судебным издержкам.
Все сильно зависит от специфики бизнеса компании и даже отдельных проектов. Последствия нарушения лицензий это бизнесовый риск. Конечно, в первую очередь голова болит у руководства, а дальше они спускают требования вниз, вплоть до разработчиков.
В катушке огромный запас мощности. При аварийном отключении она в течении короткого времени преобразуется в тепло. Чать компонентов агрегата штатно уходит под замену. Последующее обслуживание, проверки и ввод в эксплуатацию тоже стоят дорого.
Это слэнг - много учреждений пенитенциарной системы отмечены POI на картах как турагенства, отели, базы отдыха и т.п.
Вы абсолютно правы, это комментарий в духе статьи.
Сильное поле только внутри аппарата МРТ, как в любой магнитной катушке.
Снаружи в кабинете вполне земные условия: прутья в железобетонных конструкциях, мебель, фурнитура и т.п. - все как обычно. Перед процедурой все железо оставляется неподалёку на столике и ни чего с ним не происходит. Напряженность поля падает обратно пропорционально кубу расстояния.
Поэтому я полагаю, что история про внезапно притянутую из другого конца кабинета винтовку - анекдот. С таким же успехом ее могло примагнитить электромагнитным замком на двери в подъезд.
В теории он мог полезть с оружием внутрь аппарата искать посевы, но это была бы уже несмешная история.
Наверное он был выключен. Потому, что во включеном состоянии такой аппарат может притягивать даже вагоны метро и низко летящие самолёты. Именно для этого всех пассажиров перед посадкой проверяют металлодетектором.
Серьёзные учёные заняты поиском серьёзных денег на свои исследования и набиванием рейтингов в серьёзных научных журналах, иначе никто не даст - у них просто не остаётся времени на разные глупости.
Муравьи и есть представители древней сверхцивилизации. Они непрерывно получают поток новостей с Альфы Центавра сразу всем муравейником.
Ну вот показали людям связь через радиоволны, для эксперимента. И что они с ней сделали? Начали брать за нее друг у друга деньги, рассылать спам, блокировать и запрещать общаться под разными предлогами. Так о чем с ними вообще можно разговаривать?
"А если не будут брать - отключим газ!" (ц)
В статье нехватает ссылки, чтобы увидеть масштаб. https://ru.m.wikipedia.org/wiki/Почётные_звания_Российской_Федерации. Аналогичные звания есть во многих отраслях. Что касается монетизации, во многих регионах есть льготы для обладателей, например надбавки пенсионерам.