07/10/26 23:17:37
>>842
>>686の下数矢印表記の定義より
ａ↑ｂ＝ａ↑↑ｂ≒Ｆ［0］（ｎ）
※最初は0か1か良く解らないでのでとりあえず0を使用。
ａ→ｂ＝ａ↑↑↑ｂ≒Ｆ［1］（ｎ）
ａ↓ｂ＝ａ↑↑↑↑ｂ≒Ｆ［2］（ｎ）
ａ←ｂ＝ａ↑↑↑↑↑ｂ≒Ｆ［3］（ｎ）
ａ○ｂ＝ａ（↑＾ｂ）ａ≒Ｆ［ω］（ｎ）
>>505と>>687の上数矢印定義より
ａ↑ｂ＝ａ↑↑ｂ≒Ｆ［0］（ｎ）
ａ→↑ｂ＝ａ（↑＾ｂ）ａ≒Ｆ［ω］（ｎ）
ａ↓→↑ｂ＝ａ→→ｂ≒Ｆ［ω＾2］（ｎ）
ａ←↓→↑ｂ＝4重帰納関数≒Ｆ［ω＾3］（ｎ）
ａ○↑ｂ＝ｎ重帰納関数≒Ｆ［ω＾ω］（ｎ）
下数の方は間違ってるかもしれません。
ａ～・ｂからａ～・↑ｂの変換は>>763の計算の通りです。
たろう氏の書いてるように具体的な拡張方法（正確に定義された関数）
ではありません。基本的には命数法の一万の一万倍は一億、
一億の一万倍は1兆程度の事しかしてないわけです。
そのため蒼穹関数ではなく蒼穹表記と僕は書いております。