ハイパー演算子の優先順位
ハイパー演算子の優先順位
ハイパー演算子の結合性を左結合にしたものを
\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}
\]
テトレーションの微分
\[
\frac{d}{dz}\left(z\uparrow^{2}n\right)=\frac{1}{z}\sum_{k=1}^{n}\left(\log^{k-1}z\right)\prod_{j=n-k}^{n}\left(z\uparrow^{2}j\right)
\]
ハイパー演算子の結合法則
\[
a^{\left(n\right)}\left(b^{\left(n\right)}c\right)\ne\left(a^{\left(n\right)}b\right)^{\left(n\right)}c
\]
コンウェイのチェーン表記の優先順位
\begin{align*}
& a\rightarrow\left(b\rightarrow c\right)\\
& a\rightarrow b\rightarrow c\\
& \left(a\rightarrow b\right)\rightarrow c
\end{align*}