2年生の夢(高さ2のテトレーションの0から1までの定積分)
\[\int_{0}^{1}\frac{1}{x^{x}}dx=\sum_{k=1}^{\infty}\frac{1}{k^{k}}\]
テトレーションの微分
\[\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)\]
テトレーションと対数
\[H_{4}\left(a,n\right)=\log_{a}^{m\circ}H_{4}\left(a,n+m\right)\]
コンウェイのチェーン表記の優先順位
\begin{align*} & a\rightarrow\left(b\rightarrow c\right)\\ & a\rightarrow b\rightarrow c\\ & \left(a\rightarrow b\right)\rightarrow c\end{align*}
コンウェイのチェーン表記の別定義
\[a\rightarrow b\rightarrow c=a\uparrow^{c}b\]
反復コンウェイのチェーン表記
\[X\rightarrow\left(p+1\right)\rightarrow\left(q+1\right)=f^{p\circ}\left(X\right)\]
コンウェイのチェーン表記の基本
\[a\rightarrow0\rightarrow b=1-\delta_{0b}\]
コンウェイのチェーン表記の定義
\[X\rightarrow\left(a+1\right)\rightarrow\left(b+1\right)=X\rightarrow\left\{ X\rightarrow a\rightarrow\left(b+1\right)\right\} \rightarrow b\]
アッカーマン関数の定義と解
\[A\left(m,n\right)=2\uparrow^{m-2}\left(n+3\right)-3\]
ハイパー演算子とクヌースの矢印表記の(2,2)の値
\[2\uparrow^{n}2=4-\delta_{-2,n}\]
ハイパー演算子の優先順位
\[I_{n+1}\left(a,b\right)=I_{n+1}\left(a,b-1\right)^{\left(n\right)}a\]
ハイパー演算子の結合法則
\[a^{\left(n\right)}\left(b^{\left(n\right)}c\right)\ne\left(a^{\left(n\right)}b\right)^{\left(n\right)}c\]
ハイバー演算子とクヌースの矢印表記の関係
\[H_{n}\left(a,b\right)=a\uparrow^{n-2}b\;,\;n\in\mathbb{Z}\]
ハイバー演算子の基本的な値
\[H_{n}\left(0,a\right)=\begin{cases}a+1 & n=0\\a & n=1\\0 & n=2\\\delta_{0a} & n=3\\\delta_{0,\mod\left(a,2\right)} & n=4,5,\cdots\end{cases}\]
ハイバー演算子の定義
\[H_{n}\left(a,b\right):=\begin{cases}b+1 & n=0\\a+b & n=1\\\underbrace{a^{\left(n-1\right)}a^{\left(n-1\right)}\cdots a^{\left(n-1\right)}a}_{b\;copies\;of\;a} & n=2,3,\cdots\end{cases}\]
クヌースの矢印表記の定義
\[a\uparrow^{n}b:=\begin{cases}ab & n=0\\1 & n\geq1\;\land\;b=0\\\underbrace{a\uparrow^{n-1}a\uparrow^{n-1}\cdots\uparrow^{n-1}a}_{b\;copies\;of\;a} & otherwise\end{cases}\]