コンウェイのチェーン表記
コンウェイのチェーン表記(コンウェイのチェーンひょうき、英: Conway chained arrow notation)とは、1995年にイギリスの数学者ジョン・ホートン・コンウェイによって導入された巨大数の表記法の一つである。
クヌースの矢印表記やアッカーマン関数などより比較的強い演算である。具体的には、3つ組ではクヌースの矢印表記と等価だが、更に長く続けることで、クヌースの矢印表記では簡潔に表せない、あるいは現実的に表せない大きな数を表すことができる。
= 3 → 3 → ( 3 → 3 → ( ⋯ ( 3 → 3 → ( 3 → 3 → ( 3 → 3 ) ) ) ⋯ ) ) {\displaystyle =3\rightarrow 3\rightarrow (3\rightarrow 3\rightarrow (\cdots (3\rightarrow 3\rightarrow (3\rightarrow 3\rightarrow (3\rightarrow 3)))\cdots ))} (65組の " 3 → 3 {\displaystyle 3\rightarrow 3} ")
= 3 → 3 → 65 → 2 {\displaystyle =3\rightarrow 3\rightarrow 65\rightarrow 2} (上記のように計算する)
= g 65 ( 1 ) {\displaystyle =g^{65}(1)}
= 3 ↑↑ ⋯ ⋯ ⋯ ⋅ ↑ ⏟ 3 3 ↑↑ ⋯ ⋯ ⋯ ↑ ⏟ 3 本 ⋮ ⏟ 3 ↑↑ ⋯ ⋅ ↑ ⏟ 3 本 3 ↑ 3 本 } 65層 {\displaystyle \left.{\begin{matrix}=&3\underbrace {\uparrow \uparrow \cdots \cdots \cdots \cdot \uparrow } 3\\&3\underbrace {\uparrow \uparrow \cdots \cdots \cdots \uparrow } 3{\text{本}}\\&\underbrace {\qquad \;\;\vdots \qquad \;\;} \\&3\underbrace {\uparrow \uparrow \cdots \cdot \uparrow } 3{\text{本}}\\&3\uparrow 3{\text{本}}\end{matrix}}\right\}{\text{65層 }}}