「循環定義」の版間の差分

削除された内容 追加された内容
タグ: モバイル編集 モバイルウェブ編集 改良版モバイル編集
編集の要約なし
7行目:
 
== 循環定義の例 ==
 初期の[[キログラム]]の定義でこのような循環定義が発生した{{要出典|date=2012年10月17日}}。キログラムは当初、1[[リットル]]の[[水]]の[[標準状態|標準気圧]]および最も密度の高くなる気温(約4℃)での[[質量]]と定義されていた。[[圧力]]の単位は平方[[メートル]]当たりの[[ニュートン (単位)|ニュートン]] ([Pa] = [N]/[m<sup>2</sup>]) であり、ニュートンは1キログラムの質量を毎秒毎秒1メートル加速する力 ([N] = ['''kg''']・[m]/[s<sup>2</sup>]) である。水の容積は気圧に依存するため、キログラムの定義に自分自身の定義が使われていることになる。混乱を解決するため、キログラムは後に[[セーヴル]]にある金属製のキログラム原器で定義された。(なお、2019年5月20日以降は[[プランク定数]]、[[光速|光速度]]、および[[秒|セシウム周波数]]に基づいて定義される。)
 
 「死」の定義もかつては循環定義がつきまとっていた。死を「生命の体液の永久的な流動停止」と定義した際に、「生命の体液」とは何かが問題となった。
 
 数学の一理論である[[非有基的集合論]]では循環集合を構築できる{{要出典|date=2016年3月25日}}。循環集合は様々な循環する性質をもつ事象のモデル化に便利で、よく利用されている。[[情報工学]]では[[再帰呼び出し]]を定義に使った手続きがあるが、これらの定義は最終的に完了するので循環定義ではない。
 
 2007年版のウェブスターの辞書には "hill" と "mountain" が次のように定義されている。
* Hill - "1: a usually rounded natural elevation of land '''lower than a mountain'''"(自然のなだらかな小高い陸地で山より低い)[http://www.m-w.com/dictionary/hill]
* Mountain - "1a: a landmass that projects conspicuously above its surroundings and is '''higher than a hill'''"(周囲から目立って突き出している、丘より高い陸地)[http://www.m-w.com/dictionary/mountain]
これも循環定義の典型的な例である。
 
 辞典にも循環定義が存在する可能性があるが、存在したとしても循環の輪が非常に大きいため発見と修正は難しいと予測される。
 
 [[UNIX]]系[[オペレーティングシステム|OS]]のソフトウェアの[[インストール]]に用いる[[パッケージ管理システム]]においても循環定義が起こりうる。[[ソースコード]]を利用するパッケージ管理システムにおいては、あるソースコードパッケージが他のソースコードパッケージの機能に依存する場合があり、この依存関係が循環を形成した場合に発生する。この場合、依存先をどこまで辿っても必要な機能の実装が見つからないため、システムに設定された打ち切り回数まで依存関係に沿ってインストール開始を延々と繰り返す状態に陥ることになる。インストール中に依存関係の循環を発生させる機能を無効にする(循環そのものを切断する)か、バイナリパッケージをインストールすることで循環に対し実装を与える(事前に定義する概念について理解することと同義)ことでインストールを進行させることが可能である。
 
 法律でも循環定義が存在する例がある。例えば、『独立行政法人経済産業研究所法』という法律の第一条では、「この法律は、独立行政法人経済産業研究所の名称、目的、業務の範囲等に関する事項を定めることを目的とする。」と規定されているが、これはつまり、「この法律は、独立行政法人経済産業研究所の名称(中略)等を定めることを目的とする」と言っていながら、 その条文のなか自体に『独立行政法人経済産業研究所』という名称が既に登場してしまっているのである。これも循環定義の一例といえる。
 
== 関連項目 ==