computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ アッカーマン関数 アッカーマン関数についても調査します。アッカーマン関数は以下のように非負整数 と に対して帰納的に定義された関数です(wikipedia:アッカーマン関数、計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座) 参照)。 \begin{cases} f(0, y) & = & y + 1 & (a1) \\ f(x + 1, 0) & = & f(x, 1) & (a2) \\ f(x + 1, y + 1) & = & f(x, f(x + 1, y)) & (a3) \\ \end{cases} を をかっこを省略して を と書くことにするとアッカーマン関数の定義は \begi… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2022%2F05%2F15%2F010808" title="アッカーマン関数(1) - 非専門的シンギュラリティー研究所" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://m.media-amazon.com/images/I/41Ksz3r9-oL._SL500_.jpg Hatena Blog https://hatena.blog 2022-05-15 01:08:08 rich https://computeralgebra.hatenablog.com/entry/2022/05/15/010808 1.0 100%