|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ ー ： [ちょうおん] (n) long vowel mark (usually only used in katakana) ・ 自己 ： [じこ] 【名詞】 1. self 2. oneself ・ 己 ： [き, つちのと] 【名詞】 1. 6th in rank 2. sixth sign of the Chinese calendar ・ 言 ： [げん] 【名詞】 1. word 2. remark 3. statement ・ 言及 ： [げんきゅう] 1. (n,vs) reference ・ 式 ： [しき] 1. (n,n-suf) (1) equation 2. formula 3. expression 4. (2) ceremony 5. (3) style
タッパーの自己言及式は、ジェフ・タッパー (Jeff Tupper) によって考案された不等式であり、特定の条件の下で式を満たす二つの数の組を二次元のグラフに描くと不等式そのものの形となる。 2001年にコンピュータグラフィックスを扱う国際会議SIGGRAPHで発表された〔Tupper, Jeff. "Reliable Two-Dimensional Graphing Methods for Mathematical Formulae with Two Free Variables" http://www.dgp.toronto.edu/people/mooncake/papers/SIGGRAPH2001_Tupper.pdf〕。 不等式は次のように定義される。 : は床関数、 は剰余を表す。ここで、''k'' を以下の値とする (543桁の数を3桁区切りで記述している)。 このとき、上の不等式を満たす および をグラフに描くと、不等式そのもののように見える形になる。 実際には、上の不等式は自己言及的というわけではない〔タッパー自身の論文には自己言及 (self-referential) という表現は使われていない〕。グラフの形の情報は ''k'' の値に符号化されており、不等式はそのグラフを描くための一種のデコーダとして機能している。つまり、上に記載した ''k'' の値はグラフに描くと不等式の形になるように選ばれており、 ''k'' を他の値にすることによって同じサイズの任意の形のグラフを描くことができる。 オリジナルの不等式ではグラフの高さは17という制限が付くが、他のサイズのグラフを描けるように不等式を一般化することもできる〔Weisstein, Eric W. "Tupper's Self-Referential Formula." From MathWorld A Wolfram Web Resource. http://mathworld.wolfram.com/TuppersSelf-ReferentialFormula.html〕。 ==関連項目== * クワイン (プログラミング) 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「タッパーの自己言及式」の詳細全文を読む スポンサード リンク
|