テトレーション

テトレーション（テンプレート:Lang-en-short）とは、冪乗の次となる4番目のハイパー演算である。つまり、自らの冪乗を指定された回数反復する二項演算である。超冪（ちょうべき）ともいう。テトレーションという語はルーベン・グッドスタインによって、「4」を意味する接頭辞 tetra- と「繰り返し」を意味する iteration から作り出された。

定義

任意の正の実数 テンプレート:Math および非負整数 テンプレート:Math に対し、次のようにテトレーション テンプレート:Mvar を再帰的に定める。

${}^{n}a:=\{\begin{array}{cc}1& \text{if }n=0\\ a^{\left[{}^{(n-1)}a\right]}& \text{if }n>0\end{array}$

冪乗の演算が右結合、すなわち テンプレート:Math のように積みあがった指数の上側から計算していくように、テトレーションの計算も テンプレート:Mvar に対する テンプレート:Mvar の部分から計算していく。

定義から直ちに、次の等式が成り立つ。

${\log }_a\left({}^{n+1}a\right)={}^{n}a$

テンプレート:Mvar と テンプレート:Math が互いに素であるとき、テンプレート:Mvar の最後の テンプレート:Mvar 桁がオイラーの定理から求められる。

表記

テトレーションには多数の表記が存在する。テトレーションに使われる表記の中にはペンテーションやヘキセーションなど、より高次のハイパー演算の表記にも使用できるものもいくつかある。

名称	表記	説明
ルーディ・ラッカーの表記	${}^{n}a$	マウラーとグッドスタインによって導入され、ルーディ・ラッカーの『テンプレート:仮リンク』で広まった。
クヌースの矢印表記	$a\uparrow \uparrow n,a{\uparrow }^{2}n$	矢印または添字を増やすことで拡張できる。
コンウェイのチェーン表記	$a\to n\to 2$	数字を増やす、またはチェーンを拡張することで拡張できる。
アッカーマン関数	${}^{n}2=\mathrm{Ack}(4,n-3)+3$	底が テンプレート:Math のときに限り、アッカーマン関数による表記が可能。
指数関数の反復合成による表示	${}^{n}a={\exp }_a^n(1)$	右辺の表記に関しては後述。
フーシュマンドの表記	${\mathrm{uxp}}_a(n),a^{\underset{\_}{n}}$	フーシュマンドの論文では「ultra power」（超冪）と書かれている。
ハイパー演算子表記	$a[4]n,H_4(a,n)$ $\mathrm{hyper}(a,4,n),\mathrm{hyper4}(a,n)$	数字を増やすことで拡張でき、一連のハイパー演算子を与える。
ASCII表記	a^^n	ASCII文字で表現する際、冪乗をキャレット^で表すことから。
バウアーズの配列表記	$\{a,b,2\}$	拡張配列表記へと一般化でき、さらにBEAFおよびバードの配列表記へと一般化される。

反復指数関数

反復指数関数（テンプレート:Lang-en-short）、あるいは反復冪（テンプレート:Lang-en-short）とは指数関数の反復合成、あるいはその類似の関数およびその値を指して呼ばれる関数である。以降で表記を簡単にするため、非負整数 テンプレート:Mvar と正実数 テンプレート:Mvar の2つのパラメータを持つ実関数 $\mathrm{e}\mathrm{x}\mathrm{p}\underset{a}{\overset{n}{\mathrm{\backslash nolimits}}}(x)$ を次のように定義する：

${\exp }_a^n(x)=a^{a^{{\cdot }^{{\cdot }^{a^x}}}}$ （テンプレート:Mvar 個の テンプレート:Mvar の上に テンプレート:Mvar が乗っている）

この関数は他に次のような表記で書かれる。

名称	表記	説明
（指数の反復合成）	${\exp }_a^n(x)$	指数関数の表記 ${\exp }_a(x)$ はオイラーによる。
クヌースの矢印表記	${(a\uparrow )}^n(x)$	矢印の数を増やすことで拡張できる。en:Large numbersを参照。
ガリダキスの表記	${}^n(a,x)$	底の表記が小さくならない。
ASCII表記	テンプレート:Code	標準的な表記をベースにASCII文字のみを使用した表記。
J言語表記	テンプレート:Code

例

以下の表では、大部分の値が指数表記による表記すら困難なほど巨大であるため、それらの表記には底を テンプレート:Math とした反復指数関数を用いた。なお小数部を持つ値はすべて近似値である。

$x$	${}^{2}x$	${}^{3}x$	${}^{4}x$
1	1 (11)	1 (11)	1 (11)
2	4 (22)	16 (24)	65,536 (216)
3	27 (33)	7,625,597,484,987 (327)	1.258015 × 103,638,334,640,024
4	256 (44)	1.34078 ×10154 (4256)	${\exp }_{10}^3(2.18726)$ (8.1 × 10153 桁)
5	3,125 (55)	1.91101 × 102,184 (53,125)	${\exp }_{10}^3(3.33928)$ (1.3 × 102,184 桁)
6	46,656 (66)	2.65912 × 1036,305 (646,656)	${\exp }_{10}^3(4.55997)$ (2.1 × 1036,305 桁)
7	823,543 (77)	3.75982 × 10695,974 (7823,543)	${\exp }_{10}^3(5.84259)$ (3.2 × 10695,974 桁)
8	16,777,216 (88)	6.01452 × 1015,151,335	${\exp }_{10}^3(7.18045)$ (5.4 × 1015,151,335 桁)
9	387,420,489 (99)	4.28125 × 10369,693,099	${\exp }_{10}^3(8.56784)$ (4.1 × 10369,693,099 桁)
10	10,000,000,000 (1010)	1010,000,000,000	${\exp }_{10}^4(1)$ (1.0 × 1010,000,000,000 桁)

微積分

テトレーション テンプレート:Mvar に対する テンプレート:Mvar は正の実数に対して定義できるので、テンプレート:Mvar を固定したときにそれぞれ微分と積分が定義できる。

高さが定数の微分

任意の正の整数 テンプレート:Mvar に対し、 テンプレート:Mvar の微分は次のようになる。

$\frac{\mathrm{d}}{\mathrm{d}x}{}^{n}x=\frac{1}{x}\sum _{k=1}^n(\ln x{)}^{k-1}\prod _{j=n-k}^n{}^{j}x$

高さが定数の積分

区間 x ∈ (0, 1] における y = x^x と y = x^−x のグラフ。

テンプレート:Math、 テンプレート:Math の テンプレート:Math から テンプレート:Math までの定積分は二年生の夢と呼ばれる。

$\begin{array}{ccc}\underset{0}{\overset{1}{\int }}\frac{1}{{}^{2}x}\mathrm{d}x& =\sum _{n=1}^{\mathrm{\infty }}\frac{1}{{}^{2}n}& (=1.29128599706266354040728259059560054149861936827\dots )\\ \underset{0}{\overset{1}{\int }}{}^{2}x\mathrm{d}x& =-\sum _{n=1}^{\mathrm{\infty }}{}^2(-n)& (=0.78343051071213440705926438652697546940768199014\dots )\end{array}$

任意の正の整数 テンプレート:Mvar に対し、テンプレート:Mvar の不定積分は次のようになる。

$\int {}^{n}x\mathrm{d}x=\sum _{j=0}^n\frac{(-1{)}^j(j+1{)}^{j-1}}{j!}{b}_j(x)+\sum _{j=n+1}^{\mathrm{\infty }}(-1{)}^j{a}_{n,j}{b}_j(x)+C$

ここで テンプレート:Mvar は

$a_{j,k}=\{\begin{array}{cc}1& \text{if }k=0\\ \frac{1}{k!}& \text{if }j=0\\ \frac{1}{k}\sum _{l=1}^{k}l{a}_{j,k-l}{a}_{j-1,l-1}& \text{otherwise}\end{array}$

で与えられる有理数であり、 テンプレート:Math は第2種不完全ガンマ関数を用いて

$b_j(x)=\mathrm{\Gamma }(j+1,\ln x)$

で与えられる。

拡張

テトレーションは、高さが正の整数以外の場合に拡張できる。

底がテンプレート:Math

0の0乗が単純には定義できないため、 テンプレート:Math は直接定義できないが、極限が

$\underset{x\to 0+}{\lim }{}^{n}x=\{\begin{array}{cc}1& n\in 2\mathbb{Z}\\ 0& n\in 2\mathbb{Z}+1\end{array}$

と収束するため、

${}^{n}0=\{\begin{array}{cc}1& n\in 2\mathbb{Z}\\ 0& n\in 2\mathbb{Z}+1\end{array}$

と定義する。（ここで、テンプレート:Math、テンプレート:Math はそれぞれ偶数、奇数の集合を表す。）

なお、ここで テンプレート:Math が一意に決まらないにもかかわらず テンプレート:Math が定義できるのは、 テンプレート:Mvar の テンプレート:Mvar と テンプレート:Mvar が等しいという条件下で極限を取ったからである。

底が複素数

収束または振動する点

発散する点

複素数の累乗が可能なことから、テトレーションは複素数の底に対しても定義できる。

例えばテトレーション テンプレート:Mvar は対数関数の主枝を用いて定められる。このときオイラーの公式から次の式が得られる。

$i^{a+bi}=e^{\frac{1}{2}\pi i(a+bi)}=e^{-\frac{1}{2}\pi b}(\cos \frac{\pi a}{2}+i\sin \frac{\pi a}{2})$

従って任意の テンプレート:Math に対して テンプレート:Math が次のように再帰的に定義できる。

$\begin{array}{cc}{a}^{\prime }& =e^{-\frac{1}{2}\pi b}\cos \frac{\pi a}{2}\\ b^{\prime }& =e^{-\frac{1}{2}\pi b}\sin \frac{\pi a}{2}\end{array}$

ここから以下の近似値が導かれる。

$n^{}i$	近似値
${}^{1}i=i$	$i$
${}^{2}i=i^{\left({}^{1}i\right)}$	$0.2079$
${}^{3}i=i^{\left({}^{2}i\right)}$	$0.9472+0.3208i$
${}^{4}i=i^{\left({}^{3}i\right)}$	$0.0501+0.6021i$
${}^{5}i=i^{\left({}^{4}i\right)}$	$0.3872+0.0305i$
${}^{6}i=i^{\left({}^{5}i\right)}$	$0.7823+0.5446i$
${}^{7}i=i^{\left({}^{6}i\right)}$	$0.1426+0.4005i$
${}^{8}i=i^{\left({}^{7}i\right)}$	$0.5198+0.1184i$
${}^{9}i=i^{\left({}^{8}i\right)}$	$0.5686+0.6051i$

同様に値を逆向きに求めていくことで テンプレート:Math、 テンプレート:Math が得られる。 テンプレート:Mvar の値を複素平面上にプロットすると、点列は渦巻状に極限値 テンプレート:Math へと近づく。この値は テンプレート:Math のときと解釈できる。

このようなテトレーションの列に関する研究はオイラーの時代から続けられてきているものの、そのカオス的な振る舞いのために不明な所が多い。これまでに発表された研究のほとんどは、無限反復指数関数の収束について焦点を当てたものである。現在の研究は高性能のコンピュータを用いたフラクタルと数式処理システムの出現に大きな恩恵を受けている。テトレーションについて分かっていることの多くは、複素力学系の一般的な知識と、指数写像の専門的な研究によるものである。

高さが無限大

$e^{-e}\le x\le e^{1/e}$ における $\underset{n\to \mathrm{\infty }}{\lim }{}^{n}x$ のグラフ

関数 $\left|\frac{\mathrm{W}(-\ln z)}{-\ln z}\right|$ の複素平面上のグラフ。実数値無限反復指数関数を黒い曲線で示した。

ある範囲の底 テンプレート:Mvar に対して テンプレート:Math は有限の値に収束するので、この範囲においてテトレーションは高さ無限大の場合へ拡張できる。例えば テンプレート:Math は収束して、その値は テンプレート:Math であるから、 テンプレート:Math であると言える。

一般に無限反復指数関数 $x^{x^{{\cdot }^{{\cdot }^{\cdot }}}}$ は、 テンプレート:Mvar が無限大に向かうときの テンプレート:Mvar の極限として定義される。これが テンプレート:Math （およそ テンプレート:Math から テンプレート:Math）の範囲で収束することはオイラーによって示された。

極限値 テンプレート:Math が存在するとき、これは方程式 テンプレート:NumBlk を満たす正の実数に等しい。

式(1)より テンプレート:Math であり、このとき右辺の最大値が テンプレート:Math であることから、 テンプレート:Math については極限値が存在しないことがわかる。また $x\mapsto {}^{\mathrm{\infty }}x$ は $y\mapsto y^{1/y}$ の逆関数（の分岐の下部）であることがわかる。

式(1)から、極限値 テンプレート:Math をランベルトのW関数 テンプレート:Mvar を用いて次のように定義することで複素数の底 テンプレート:Mvar に対しても拡張される。 テンプレート:NumBlk

高さが非正

定義より

${}^{n}a={\log }_a\left\{{}^{(n+1)}a\right\}$

が成り立つので、この関係を テンプレート:Math に対しても帰納的に拡張し

$\begin{array}{ccccccccc}{}^{1}n& =& {\log }_n\left({}^{2}n\right)& =& {\log }_n\left(n^n\right)& =& n{\log }_{n}n& =& n\\ {}^{0}n& =& {\log }_n\left({}^{1}n\right)& =& {\log }_{n}n& & & =& 1\\ {}^{-1}n& =& {\log }_n\left({}^{0}n\right)& =& {\log }_{n}1& & & =& 0\end{array}$

と定義する。

ただし、定義できるのは テンプレート:Math までで、テンプレート:Math が存在しないため テンプレート:Math に対しては定義できず、従って テンプレート:Math に対して拡張できない。

高さが実数

テトレーションを高さ実数または複素数へ拡張する、という一般的な問題への広く受け入れられた解答は今のところ存在しない。いくつかのアプローチについて以下で述べる。

一般にこの問題は任意の実数 テンプレート:Math に対し、実数 テンプレート:Math で定義され、次の条件を満たす超指数関数 テンプレート:Math を求めるものである。

• テンプレート:Math、 テンプレート:Math
• 任意の実数 テンプレート:Math に対し テンプレート:Math
• 三つ目の条件は通常次の中のどれかである。
  • 連続性（通常は テンプレート:Math における テンプレート:Mvar、 テンプレート:Mvar についての連続性）
  • 微分可能性（テンプレート:Mvar についての テンプレート:Math、 テンプレート:Math、 テンプレート:Mvar 回または無限回微分可能性）
  • 正則性（テンプレート:Mvar についての テンプレート:Math 階微分可能性を含む）

  任意の実数 テンプレート:Math に対して

  $\frac{{\mathrm{d}}^2}{\mathrm{d}{x}^2}f(x)>0$

  が成立する。

三つ目の条件は著者およびアプローチによって異なる。実数高さへの拡張には二つの主要なアプローチが存在し、一つは正則性、もう一つは微分可能性に基づいたものである。これらの二つのアプローチは、相反する結果を導くことから互いに大きく異なるとされ、調和は難しいと考えられている。

長さ テンプレート:Math の区間で テンプレート:Mvar が定義されれば、任意の テンプレート:Math に対し容易に拡張される。

一次近似

テンプレート:Math の一次近似によるグラフ（テンプレート:Math）。漸近線はテンプレート:Math

一次近似（連続性のもと微分可能性を近似）は次のように与えられる。

${}^{x}a\approx \{\begin{array}{cc}1+x& -1<x\le 0\\ a^{\left({}^{x-1}a\right)}& 0<x\\ {\log }_a({}^{x+1}a)& x\le -1\end{array}$

ゆえに

近似	定義域
${}^{x}a\approx x+1$	$-1<x<0$
${}^{x}a\approx a^x$	$0<x<1$
${}^{x}a\approx a^{a^{x-1}}$	$1<x<2$
$⋮$	$⋮$

と以下続く。但しこの微分可能性はあくまで区分的なものである。整数 テンプレート:Mvar を境に微分係数が テンプレート:Math 倍されるため、（テンプレート:Math の場合を除いて）整数 テンプレート:Mvar において微分不可能となる。

以下は値の計算例である。

$\begin{array}{cc}{}^{\pi /2}e& \approx 5.868...\\ {}^{-4.3}0.5& \approx 4.03335...\\ {}^{-5.264}0.6& \approx -5.35997...\\ {}^{3.1}0.7& \approx 0.7580...\end{array}$

Ultra exponential function

フーシュマンドは ultra exponential function という関数を導入した。 これはテトレーションの一次近似を表し、 テンプレート:Math と表記される。 テンプレート:Math は、次の定理によって一意に定められる。 テンプレート:Math theorem

証明は、三番目から五番目の条件より テンプレート:Math が テンプレート:Math で線型となることから従う。

フーシュマンドはさらに次のような一意性定理を導いた。 テンプレート:Math theorem

証明は先とほぼ同様である。漸化式より $\underset{x\to -1+0}{\lim }{f}^{\prime }(x)=\underset{x\to +0}{\lim }{f}^{\prime }(x)$ となること、三番目の条件より テンプレート:Math が テンプレート:Math で線型となることから従う。

定理より、 テンプレート:Math に対し テンプレート:Math および テンプレート:Math であって、かつ テンプレート:Math で下に凸であるような関数 テンプレート:Math は唯一 テンプレート:Math のみである。テンプレート:Math が十分微分可能であるためには テンプレート:Math で極値を持つ必要がある。

より高次の近似

テンプレート:Math の二次近似によるグラフ（テンプレート:Math）

（微分可能性についての）二次近似は次のように与えられる。

${}^{x}a\approx \{\begin{array}{cc}{\log }_a({}^{x+1}a)& x\le -1\\ 1+\frac{2\ln (a)}{1+\ln (a)}x-\frac{1-\ln (a)}{1+\ln (a)}{x}^2& -1<x\le 0\\ a^{\left({}^{x-1}a\right)}& 0<x\end{array}$

これは任意の テンプレート:Math について微分可能であるが二階微分可能でない。テンプレート:Math のときこれは一次近似に等しくなる。

三次近似および高次への一般化は次のように与えられる。

高さが複素数

複素平面上にテトレーション $f=F(x+iy)$を解析接続したものを描画。 $|f|=1,e^{\pm 1},e^{\pm 2},\dots$と$\arg (f)=0,\pm 1,\pm 2,\dots$を太い曲線で示した。

次の条件を満たす関数 テンプレート:Math が一意に定まる事が証明されている 。

• テンプレート:Math
• テンプレート:Math
• テンプレート:Math のとき テンプレート:Math が対数関数の不動点（およそ テンプレート:Math ）に近づく
• 実数 テンプレート:Math を除く複素平面全域で正則

この関数 テンプレート:Math を右図に示す。また、底が e ではない場合についても、底が$e^{1/e}$よりも大きい場合については同様に証明されている。倍精度浮動小数点数近似はオンラインで公開されている。

一意性

テトレーションを一意に定めるためには正則性の条件が重要となる。いま、関数 テンプレート:Math に対し関数 テンプレート:Math を次のように構成する。

$\begin{array}{cc}A(z)& =\sum _{n=1}^{\mathrm{\infty }}\sin (2\pi nz){\alpha }_n\\ B(z)& =\sum _{n=1}^{\mathrm{\infty }}(1-\cos (2\pi nz)){\beta }_n\\ S(z)& =F(z+A(z)+B(z))\end{array}$

ここで テンプレート:Math、 テンプレート:Math は十分速く減衰する実数列であり、少なくとも実軸の近くで テンプレート:Math、 テンプレート:Math を収束させるとする。

この関数 テンプレート:Math は テンプレート:Math と同様に最初の二つの条件 テンプレート:Math、 テンプレート:Math を満たす。また テンプレート:Math、 テンプレート:Math が十分速く テンプレート:Math に近づくとき、テンプレート:Math は正の実軸近傍で解析的となる。しかし テンプレート:Math、 テンプレート:Math が全て テンプレート:Math でない場合、テンプレート:Math は新たに大量の特異点と不連続線を複素平面上に持つことになる。これは テンプレート:Math、 テンプレート:Math が虚軸に沿って指数関数的に増大するためである。これらの特異点は テンプレート:Math、 テンプレート:Math が小さければ小さいほど実軸から離れていくため、 テンプレート:Math が正則であるためには全ての テンプレート:Math、 テンプレート:Math が テンプレート:Mathとなる、即ち テンプレート:Math であればよい。

実解析上のテトレーションは一意的に定まらないので、複素平面への拡張は一意性に必要である。

未解決問題

• テンプレート:Math, テンプレート:Math が整数になるような正の整数 テンプレート:Math は存在するか。特に テンプレート:Math は整数かテンプレート:要出典。
• 与えられた自然数$n$と$q\in \mathbb{Q}\cap ((0,\mathrm{\infty })\setminus \mathbb{Z})$に対し、$n^{}q$は整数か。 特に テンプレート:Math の正の解 テンプレート:Math は有理数かテンプレート:要出典。

逆関係

冪は冪根と対数の二つの逆関係を持つ。これに倣って、以下テトレーションの逆関係をそれぞれ超冪根（テンプレート:Lang-en-short）とテンプレート:日本語版にない記事リンクと呼ぶ。

超冪根

超冪根はテトレーションの底に関する逆関係である。

超平方根

テンプレート:Math のグラフ。

超平方根（テンプレート:Lang-en-short）は テンプレート:Math の逆であり、二つの等価な表記 テンプレート:Math, テンプレート:Math を持つ。

この関数は次のようなランベルトのW関数による表示を持つ。

$\mathrm{s}\mathrm{s}\mathrm{r}\mathrm{t}(x)=e^{W(\mathrm{l}\mathrm{n}(x))}=\frac{\mathrm{l}\mathrm{n}(x)}{W(\mathrm{l}\mathrm{n}(x))}$

またこの関数により、冪根と対数の間の鏡映的な関係が表れる。次の方程式は テンプレート:Math のときに真となる。

$\sqrt[y]{x}={\log }_{y}x$

平方根と同様に超平方根は一つとは限らない。ただし、平方根と異なり超平方根の個数を決定するのは容易とは言えない。一般に、テンプレート:Math のとき テンプレート:Math は二つの正の超平方根を 0 と 1 の間に持ち、テンプレート:Math のとき テンプレート:Math は 1 より大きい一つの正の超平方根を持ち、テンプレート:Math のとき テンプレート:Math は超平方根を実数の範囲で持たない。しかし上の式より、任意の テンプレート:Math は可算無限個の超平方根を複素数の範囲で持つことが従う。

超平方根はネットワークのクラスタサイズを決定するのに使用される。

その他の超冪根

任意の整数 テンプレート:Math に対して テンプレート:Math は定義され、テンプレート:Math のとき増加となり テンプレート:Math を満たす。従って テンプレート:Math のとき テンプレート:Math は存在する。しかし上述した一次近似を用いた場合、テンプレート:Math のとき テンプレート:Math は テンプレート:Math によらず テンプレート:Math となり、従ってこの場合 テンプレート:Math は存在しない。

超平方根のほか テンプレート:Math 次の超冪根も同様の記号を用いて テンプレート:Math と表すことができる。

超冪根は高さが無限大の場合へと拡張することができ、これは テンプレート:Math の場合に限り問題なく定義される（#高さが無限大を参照）。テンプレート:Math が存在するとき テンプレート:Math が成り立つことから、無限次の超冪根は初等関数によって テンプレート:Math と表すことができる。例えば テンプレート:Math となる。

テンプレート:Math を任意の正の整数とするとゲルフォント＝シュナイダーの定理より、超平方根 テンプレート:Math は整数または超越数となり、超立方根 テンプレート:Math は整数または無理数（これが超越数かどうかは知られていない）となる。

超対数

超対数はテトレーションの高さに関する逆関係である。

テトレーション テンプレート:Math を テンプレート:Mvar に関して連続的に増加するものとして定義すると、任意の実数 テンプレート:Math に対し超対数 テンプレート:Math が定義される。

この関数 テンプレート:Math は以下の式を満たす。

$\begin{array}{ccc}{\mathrm{slog}}_a{}^{x}a& =& x\\ {\mathrm{slog}}_a{a}^x& =& 1+{\mathrm{slog}}_{a}x\\ {\mathrm{slog}}_{a}x& =& 1+{\mathrm{slog}}_a{\log }_{a}x\\ {\mathrm{slog}}_{a}x& >& -2\end{array}$

さらなる拡張

テトレーションは$a{\uparrow }^{2}b{\uparrow }^2\cdot \cdot \cdot {\uparrow }^{2}z$という風に拡張できる。そしてテトレーションの回数を数え上げるペンテーションを定義することができ、$a{\uparrow }^{3}b$と表せる。

同じようにヘキセーションも定義できる($a{\uparrow }^{4}b$)。この拡張を一般化してクヌースの矢印表記ができる。

またテトレーションはハイパーE表記で$a\uparrow \uparrow x=E(a)a\mathrm{\#}x$と書ける。

関連項目

• 巨大数
• アッカーマン関数
• 二重指数関数
• ハイパー演算
• ペンテーション、ヘキセーション
• 反復対数
• en:Symmetric level-index arithmetic

外部リンク

• Daniel Geisler's site on tetration
• Tetration Forum
• Tetration - TORI - Mizugadro, the research site by Dmitrii Kouznetsov
• Gottfried Helms' site on tetration