Если можно, то прошу написать в заголовок ошибку, которую выдает pip при установке пакетов. Уверен, что многим коллегам это облегчит поиски проблем в их проектах. У меня pythonhosted.org был заблокирован 2 недели назад. Началось все со странных ошибок докера.
У меня в столе не нашлось камеры, но зато нашелся первый распберри и геркон (стоимость в магазине 50 р.). Геркон поставил на входную дверь, соединил с пинами GND и ближайшим GPIO. Далее слежу за состоянием GPIO. При изменении состояния отправляю сообщение почтой/телеграммой. Наверное последую вашему опыту и прикручу к этой связке камеру.
Далек от судебной тематики, зато близок к таможенной. Тут процесс электронного документооборота между таможенными органами и участниками ВЭД находится на приемлемом уровне и даже развивается: разрабатываются новые форматы документов (сейчас разработано более 300 для различных нужд), дополняется спецификация обмена и т.д. Есть доверие к электронным документам с КЭПом. Сканированные документ сведены к минимуму (техническая документации и фотография товаров). СМЭВ худо-бедно привязали.
Всем и так понятно, что на F# это сделать так же легко, как и на прологе. По-моему, цель статьи — именно показать, что и C# им не уступит, вопреки распространенному мнению.
Мне нравится формулировка этой задачи в реалиях Walking Dead: есть остров, где половина жителей зомби (они постоянно лгут и жрут людей), а другая половина — люди (они постоянно говорят правду и выясняют отношения в лесу или на заброшенном складе). Ситуацию усложняет факт, что жители острова прекрасно нас понимают, но древнее табу (вирус) запрещает им использовать неродные слова. Поэтому они используют ответы «bal» или «da», которые означают «да» и «нет», причём неясно, какое из них что обозначает (взято из википедии)…
Что касается статьи, то сложность такого решения определяется сложностью ее представления в формализме языка запросов. На сколько это было нужно, ведь решение можно построить классической первопорядковой логике?
Мне кажется что такой циничный подход не сработает для логических задач которые требуют итеративность для получения решения.
В Corosах возможность анализа тренировок через ai есть с лета. Наверное удобно.
Помню были времена, когда УЦ выдавали ЭП на дискетах. Вот тогда ЭП часто копировали и извлекали.
Что касается статьи, то сложность такого решения определяется сложностью ее представления в формализме языка запросов. На сколько это было нужно, ведь решение можно построить классической первопорядковой логике?
Мне кажется что такой циничный подход не сработает для логических задач которые требуют итеративность для получения решения.