Журнал «Компьютерра» 2008 № 43 (759) 18.11.2008 (Журнал «Компьютерра») - страница 14
Сегодня имеется около двух десятков пакетов для проверки доказательств, пять из которых особенно популярны. С их помощью в общей сложности проверено восемь десятков теорем - капля в море математики. Но пока эта деятельность лишь удел небольших групп специалистов, и не все математики одобряют эту работу. Тем не менее авторы обзоров призывают специалистов и энтузиастов присоединяться к процессу формализации доказательств, чтобы сделать математику еще более надежной основой науки. ГА
В конце октября медиахолдинг ВГТРК подал несколько исков, связанных с защитой своих авторских прав. Ответчиками по ним являются крупнейшая российская интернет-компания Mail.ru, а также социальная сеть "Вконтакте". Правда, на сайте Арбитражного суда Москвы пока имеются сведения только о двух исках, поданных к Mail.ru, с датами рассмотрения 24 ноября и 10 декабря.
Причина исков не оригинальна: нарушение авторских прав. Вернее, вопрос о том, кто должен за это отвечать - владельцы сайта, на который можно загрузить охраняемые копирайтом материалы, или его пользователи. По словам главного редактора канала "Вести" Дмитрия Медникова, холдинг намерен судиться со всеми, кто незаконно распространяет их контент. Он заявил, что причиной иска стало то, что наряду с короткими роликами на сайтах ответчиков начали появляться программы, сериалы и фильмы целиком. ВГТРК добивается, чтобы все сайты, на которых появляются видеофайлы с их передачами, начали сотрудничать с владельцами смежных прав.
В принципе, короткие ролики вполне подпадают под нормы ГК о цитировании, поскольку закон никак не регламентирует то, какие произведения могут цитироваться. Однако с произведениями целиком этот номер, разумеется, не проходит.
На Западе в таких случаях применяется принцип "безопасной гавани" (safe harbor): владелец сайта, на который пользователи загружают охраняемый авторским правом контент, может быть освобожден от ответственности, если в его действиях не содержится никакой вины (он не мог знать о нарушении чужих прав и предотвратить их). В отечественном законодательстве нечто подобное закреплено в статье 1064 Гражданского кодекса: чтобы избежать ответственности, лицо, причинившее вред, должно доказать отсутствие своей вины. Однако сделать это в случае с Mail.ru будет проблематично: ведь придется сперва установить личность пользователя, загрузившего ролик на сайт, и привлечь его к суду в качестве надлежащего ответчика.
Вдобавок судебные процессы, в ходе которых к ответственности за пиратство пользователей привлекались именно владельцы ресурсов, на которых выкладывались произведения, уже имели место. Самым нашумевшим из подобных случаев последнего времени стало привлечение к суду компании "Мастерхост" - за популярный сайт, распространяющий пиратскую музыку. Хостер не смог доказать, что непричастен к злополучному ресурсу, а только предоставлял техническую площадку для его функционирования, и в результате оказался крайним.