ハイパー演算子の優先順位
ハイパー演算子の優先順位
ハイパー演算子の結合性を左結合にしたものを
\begin{align*} I_{n+1}\left(a,b\right) & =a_{\left(n+1\right)}b\\ & =\underbrace{\left(\left(a^{\left(n\right)}a\right)^{\left(n\right)}\cdots a\right)^{\left(n\right)}a}_{b\;copies\;of\;a} \end{align*} で定義すると、
\[ I_{n+1}\left(a,b\right)=I_{n+1}\left(a,b-1\right)^{\left(n\right)}a \] となる。
ハイパー演算子の結合性を左結合にしたものを
\begin{align*} I_{n+1}\left(a,b\right) & =a_{\left(n+1\right)}b\\ & =\underbrace{\left(\left(a^{\left(n\right)}a\right)^{\left(n\right)}\cdots a\right)^{\left(n\right)}a}_{b\;copies\;of\;a} \end{align*} で定義すると、
\[ I_{n+1}\left(a,b\right)=I_{n+1}\left(a,b-1\right)^{\left(n\right)}a \] となる。
-
\(a^{\left(n\right)}b\)はハイパー演算子\begin{align*}
I_{n+1}\left(a,b\right) & =\underbrace{\left(\left(a^{\left(n\right)}a\right)^{\left(n\right)}\cdots a\right)^{\left(n\right)}a}_{b\;copies\;of\;a}\\
& =I_{n+1}\left(a,b-1\right)^{\left(n\right)}a
\end{align*}
ページ情報
| タイトル | ハイパー演算子の優先順位 |
| URL | https://www.nomuramath.com/dctuzacs/ |
| SNSボタン |
ハイパー演算子とクヌースの矢印表記の(2,2)の値
\[
2\uparrow^{n}2=4-\delta_{-2,n}
\]
2年生の夢(高さ2のテトレーションの0から1までの定積分)
\[
\int_{0}^{1}\frac{1}{x^{x}}dx=\sum_{k=1}^{\infty}\frac{1}{k^{k}}
\]
コンウェイのチェーン表記の優先順位
\begin{align*}
& a\rightarrow\left(b\rightarrow c\right)\\
& a\rightarrow b\rightarrow c\\
& \left(a\rightarrow b\right)\rightarrow c
\end{align*}
反復コンウェイのチェーン表記
\[
X\rightarrow\left(p+1\right)\rightarrow\left(q+1\right)=f^{p\circ}\left(X\right)
\]