2024-03-28T21:43:13Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:000580042023-04-27T10:00:04Z01164:05251:05252:05253
ニコニ・コモンズとクリエイティブ・コモンズの比較及びそれらの形式意味論A Formal Analysis and Comparison of Niconi Commons and Creative Commonsjpnhttp://id.nii.ac.jp/1001/00058004/Technical Reporthttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=58004&item_no=1&attribute_id=1&file_no=1Copyright (c) 2008 by the Information Processing Society of Japan東北大学大学院情報科学研究科日本電信電話株式会社NTTコミュニケーション科学基礎研究所日本電信電話株式会社NTTコミュニケーション科学基礎研究所遠藤弘基藤田, 邦彦塚田, 恭章近年の情報通信処理能力の向上により,コンテンツの循環的な利用が生じている.現在,コンテンツの流通が日本で最も活発な場の一つとしてニコニコ動画が挙げられるが,この度,コンテンツの循環的な利用を促進するためのサービスであるニコニ・コモンズが開始された.これはクリエイティプ・コモンズに近い考え方を持っているが,両者ともライセンスの内容が自然言語で記述されているため直接比較するのは困難である.本研究では両者に対し,多種論理による形式意味論を与え,互換性やライセンスの妥当性などの検証を行った.検証の結果,ニコニ・コモンズのライセンスには冗長性があることを発見した.Recently, circulating uses of contents are caused by the rise of telecommunication and information processing performance. Nico Nico Douga is one of the most active place for contents circulation in Japan now. Nico Nico Douga started supplying a service to promote circulating uses of contents named Niconi Commons. It seems to have goals similar to Creative Commons, however, both of their licenses are written in natural language, so that it will be hard to compare directly. In this research, we compare and analyze them strictly by providing formal semantics by using many-sorted first-order logic. As a result, we found out that the license of Niconi Commons has redundancy.AA11238429情報処理学会研究報告電子化知的財産・社会基盤(EIP)2008118(2008-EIP-042)991062008-11-222009-06-30