Conway chained arrow notation

ウィキペディア

コンウェイのチェーン表記

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/10/28 21:35 UTC 版)

コンウェイのチェーン表記（コンウェイのチェーンひょうき、英: Conway chained arrow notation）とは、1995年にイギリスの数学者ジョン・ホートン・コンウェイによって導入された巨大数の表記法の一つである。

クヌースの矢印表記やアッカーマン関数などより比較的強い演算である。具体的には、3つ組ではクヌースの矢印表記と等価だが、更に長く続けることで、クヌースの矢印表記では簡潔に表せない、あるいは現実的に表せない大きな数を表すことができる。

導入

加法を反復すると乗法、乗法を反復すると累乗が得られる。このとき累乗を上向き矢印によって a ↑ b = a^b と表して、さらに ↑ の反復を ↑↑（テトレーション）、↑↑ の反復を ↑↑↑（ペンテーション）、というように矢印を増やしていくことで累乗の先の演算を表せるようにしたものをクヌースの矢印表記と呼ぶ。

${\displaystyle {\begin{array}{lclcl}(1)\qquad a\times b&=&\underbrace {a+a+\cdots +a} _{b{\text{ copies of }}a}&=&\underbrace {a+\cdots a\,+} _{b-1}~a\\(2)\qquad a\uparrow b&=&\underbrace {a\times a\times \cdots \times a} _{b{\text{ copies of }}a}&=&\underbrace {a\times \cdots a\,\times } _{b-1}~a\\(3)\qquad a\uparrow ^{c}b&=&\underbrace {a\uparrow ^{c-1}a\uparrow ^{c-1}\cdots \uparrow ^{c-1}a} _{b{\text{ copies of }}a}&=&\underbrace {a\uparrow ^{c-1}\cdots a\uparrow ^{c-1}} _{b-1}~a&=&a~\underbrace {\uparrow ^{c-1}a\cdots \uparrow ^{c-1}a} _{b-1{\text{ copies of }}a}\end{array}}\,\!}$ カテゴリ