차이점
이 페이지의 선택한 이전 버전과 현재 버전 사이의 차이점을 보여줍니다.
|
소프트웨어특허 [2010-04-03 00:01] lifthrasiir 새로 만듦 |
소프트웨어특허 [2011-05-30 18:25] (현재) |
||
|---|---|---|---|
| 줄 3: | 줄 3: | ||
| [[소프트웨어]], 또는 좀 더 명확하게 말하자면, [[알고리즘]]은 [[특허]] 가능한가? | [[소프트웨어]], 또는 좀 더 명확하게 말하자면, [[알고리즘]]은 [[특허]] 가능한가? | ||
| - | 사실은 두 개의 알고리즘이 정확히 [[동치]]임을 증명할 방법은 없다.((무울론, [[튜링기계]]보다 떨어지는 기계를 상정하면 가능할 수도 있다. 예를 들어서 언어를 만들 때 모든 프로그램이 항상 종료함을 보장하도록 만든다면 (이를테면 임의의 [[재귀]]를 금지하는 등... 실제로 이걸 구현한 언어도 있음) 이건 튜링 완전하지 않다. 하지만 그래도 지수시간 이상 걸리는 건 마찬가지.)) 그리고 알고리즘은 결과적으로 [[숫자]]로 표현되는데 (이를테면 [[괴델 넘버링]] 따위로) 숫자에 대한 소유권을 강조하는 것도 어딘가 이상한 점이 있지 않은가? [[불법소수]] 같은 예를 생각해 보면 문제가 커짐. | + | 사실은 두 개의 알고리즘이 정확히 [[동치]]임을 증명할 방법은 없다.((무울론, [[튜링기계]]보다 떨어지는 기계를 상정하면 가능할 수도 있다. 예를 들어서 언어를 만들 때 모든 프로그램이 항상 종료함을 보장하도록 만든다면 (이를테면 임의의 [[재귀]]를 금지하는 등... 실제로 이걸 구현한 언어도 있음) 이건 튜링 완전하지 않다. 하지만 그래도 지수시간 이상 걸리는 건 마찬가지.)) 그리고 알고리즘은 결과적으로 [[숫자]]로 표현되는데 (이를테면 [[괴델넘버링]] 따위로) 숫자에 대한 소유권을 강조하는 것도 어딘가 이상한 점이 있지 않은가? [[불법소수]] 같은 예를 생각해 보면 문제가 커짐. |
| [[자유소프트웨어]] 진영에서 열심히 소프트웨어 특허를 까고 있다. [[http://swpat.org/|ESP]] 같은 위키도 참고할 것. 반면 일부 유명한? 컴퓨터 과학자나 공학자들 중에 특허에 찬성하는 사람도 있긴 하다. [[Rob Pike]]가 한 때 특허 지지하다가 FSF에서 그거 따지면서 강연 방해하려 했던 걸 보고 뭐라 한 적 있음. | [[자유소프트웨어]] 진영에서 열심히 소프트웨어 특허를 까고 있다. [[http://swpat.org/|ESP]] 같은 위키도 참고할 것. 반면 일부 유명한? 컴퓨터 과학자나 공학자들 중에 특허에 찬성하는 사람도 있긴 하다. [[Rob Pike]]가 한 때 특허 지지하다가 FSF에서 그거 따지면서 강연 방해하려 했던 걸 보고 뭐라 한 적 있음. | ||
| + | |||
| + | ===== 실례 ===== | ||
| + | |||
| + | * [[Marching cubes]] 알고리즘 | ||
| + | * [[리눅스커널]]의 [[VFAT]] 구현 | ||
| + | |||
| + | ---- | ||
| + | [[2010]]-[[04-06]]: [[IBM]]이 오픈소스 지지한다고 뻥을 쳤지만 [[zArchitecture]] 에뮬레이터 프로젝트를 [[http://fosspatents.blogspot.com/2010/04/ibm-breaks-taboo-and-betrays-its.html|고소]]하는 걸 보면 역시 기업의 본질이라는 건 그렇고 그런 것. | ||
저작권자 © 1999–2012 강 성훈. 저작권을 약간 가집니다. | 풉;이 뭐냐고요?