The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



Вариант для распечатки  
Пред. тема | След. тема 
Форум Разговоры, обсуждение новостей
Режим отображения отдельной подветви беседы [ Отслеживать ]

Оглавление

Судебное разбирательство против Microsoft и OpenAI, связанное с генератором кода GitHub Copilot, opennews (ok), 06-Ноя-22, (0) [смотреть все]

Сообщения [Сортировка по времени | RSS]


146. "Судебное разбирательство против Microsoft и OpenAI, связанно..."  +3 +/
Сообщение от Александр (??), 07-Ноя-22, 03:32 
1. Берём два кода: тестируемый и образец.
2. Строим по каждому граф потока управления.
3. Смотрим кол-во узлов в каждом. Если оно меньше некоторого N, значит код слишком мал для анализа и значит не может быть копипастой. То есть образец хоть и потенциально эквивалентен, но это типовая конструкция, а значит с точки зрения права не является копией или производной работой.
4. Если больше N, сравниваем графы. Что-нибудь о подобии графов думаю можно найти в теории графов.
5. Если коэффициент подобия ниже некоторого K1 (0<K1<1, K1<K2), то тестируемый код и образец разные в принципе. Если коэффициент подобия между K1 и K2 (0<K2<1), то работа производная (заимствованно много, но личный вклад есть). Если коэффициент подобия больше K2, то тестируемый код эквивалентен образцу, считай копия.

Соотв. не учитываются имена переменных.

Ответить | Правка | К родителю #9 | Наверх | Cообщить модератору

154. "Судебное разбирательство против Microsoft и OpenAI, связанно..."  +/
Сообщение от Andrei (??), 07-Ноя-22, 09:17 
Тут есть пара загвоздок.

Для разных языков есть разные "сложности" даже элементарных операций. Где-то одна команда - копирование из одного регистра в другой, а где-то получение данных по SSH.
Графы исполнения будут совершенно разными по сложности.

В суде google vs oracle из-за жавы и ведройда одним из значимых аргументов для доказательства вторичности андройда и нарушения прав владельцев жавы были именно имена переменных. Причём это были, по сути, описательные имена. С трудом попадающие под определение творчества.

Ответить | Правка | Наверх | Cообщить модератору

166. "Судебное разбирательство против Microsoft и OpenAI, связанно..."  +/
Сообщение от Александр (??), 07-Ноя-22, 14:27 
По поводу сложности, это будет невилироваться на больших проектах. Тут думаю достаточно K2 подобрать под язык. Пускай есть проект на 10 тыс строк. В него Вася вносит правку на 50 строк. Это в любом случае получится не более чем производная работа.

По судебному разбирательству по джаве, oracle, на сколько помню, суд и не выиграла тогда. Те самодуры по круче Гугла будут. Да и у них, на сколько помню, какая-то своя лицензия. В gpl, если не ошибаюсь,интерфейсы не подпадают под определение творчества.

Ответить | Правка | Наверх | Cообщить модератору

172. "Судебное разбирательство против Microsoft и OpenAI, связанно..."  +1 +/
Сообщение от Аноним (171), 07-Ноя-22, 19:43 
Берём два куска кода, решающих одну и ту же задачу в рамках одной и той же проблематики, написанные разными людьми. Если область оптимальных решений сравнительно мала (а она мала, платформа у всех более-менее одинаковая), то и код с большой вероятностью тоже будет — по твоей схеме — одинаковым. K1 и K2 будут крайне близки.
Ответить | Правка | К родителю #146 | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру