>>460
■上数定義
↑↑↑ の定義は合ってる？
↑から↑↑の変化に比べて、↑↑から↑↑↑の変化が小さすぎる。
↑↑↑↑以降の定義も↑↑から↑↑↑に増やした場合と同じ様だとすると、
a○n でやっとコンウェイのチェーンn個のn位の大きさ。

a↑↑b↑↑c や a↑↑b↑↑c↑↑d を a↑b↑c やa↑b↑c↑d と同じように定義して、
a↑↑↑b = a↑↑a↑↑....↑↑a
としないと。

これだと、a→n でコンウェイのチェーンn個のn位の大きさ。

■下数定義
a○b でやっとアッカーマン関数と同程度になるような気がする。
3↓130 ではぜんぜんグラハム数に到達しないんじゃ....