翻訳と辞書 Words near each other ・ タッド・ダメロン ・ タッド・バッジ ・ タッド・ヒルゲンブリンク ・ タッド・フジカワ ・ タッド・リンカーン ・ タッパ ・ タッパン ・ タッパンジー・レコード ・ タッパン・ジー・ブリッジ ・ タッパー ・ タッパーの自己言及式 ・ タッパーウェア ・ タッピング ・ タッピングアップ ・ タッピングナイフ ・ タッピングホー ・ タッピングポイント ・ タッピング奏法 ・ タッブー ・ タップ Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク タッパーの自己言及式 ： ウィキペディア日本語版 タッパーの自己言及式[たっぱーのじこげんきゅうしき] タッパーの自己言及式は、ジェフ・タッパー (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〕。 不等式は次のように定義される。 : $\backslash lfloor\; \backslash cdot\; \backslash rfloor$ は床関数、$\backslash mathrm$ は剰余を表す。ここで、''k'' を以下の値とする (543桁の数を3桁区切りで記述している)。 このとき、上の不等式を満たす $0\; \backslash le\; x\; \backslash le\; 106$ および $k\; \backslash le\; y\; \backslash le\; k\; +\; 17$ をグラフに描くと、不等式そのもののように見える形になる。 実際には、上の不等式は自己言及的というわけではない〔タッパー自身の論文には自己言及 (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）』 ■ウィキペディアで「タッパーの自己言及式」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.