タッパーの自己言及式
タッパーの自己言及式は、ジェフ・タッパー (Jeff Tupper) によって考案された不等式であり、特定の条件の下で式を満たす二つの数の組を二次元のグラフに描くと不等式そのものの形となる。
2001年にコンピュータグラフィックスを扱う国際会議SIGGRAPHで発表された。

不等式は次のように定義される。
: formula_1

formula_2 は床関数、formula_3 は剰余を表す。ここで、"k" を以下の値とする (543桁の数を3桁区切りで記述している)。

このとき、上の不等式を満たす formula_4 および formula_5 をグラフに描くと、不等式そのもののように見える形になる。


実際には、上の不等式は自己言及的というわけではない。グラフの形の情報は "k" の値に符号化されており、不等式はそのグラフを描くための一種のデコーダとして機能している。つまり、上に記載した "k" の値はグラフに描くと不等式の形になるように選ばれており、 "k" を他の値にすることによって同じサイズの任意の形のグラフを描くことができる。

オリジナルの不等式ではグラフの高さは17という制限が付くが、他のサイズのグラフを描けるように不等式を一般化することもできる。
Q28113351
不等式
Concept
Q150971
コンピュータグラフィックス
Concept
Q679325
SIGGRAPH
EVE
Q215193
床関数
Concept
Q1799665
剰余
Concept
Q1129622
自己言及的
Concept
Q4226192
符号化
UNK
Q2630528
タッパーの自己言及式
Concept
19-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
2001年
DATE
2020-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1
DATE
2020-02-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
2
DATE
2020-03-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
3
DATE
2054-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
54
DATE
2020-03-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
3
DATE
2020-03-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
3
DATE
2020-04-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
4
DATE
2020-05-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
5
DATE
2017-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
17
DATE
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
+2^^http://www.w3.org/2001/XMLSchema#decimal
2
NUMBER
+3^^http://www.w3.org/2001/XMLSchema#decimal
3
NUMBER
+543^^http://www.w3.org/2001/XMLSchema#decimal
543
NUMBER
+3^^http://www.w3.org/2001/XMLSchema#decimal
3
NUMBER
+4^^http://www.w3.org/2001/XMLSchema#decimal
4
NUMBER
+5^^http://www.w3.org/2001/XMLSchema#decimal
5
NUMBER
+17^^http://www.w3.org/2001/XMLSchema#decimal
17
NUMBER
main subject