07/10/23 23:54:16
>>686-688で定義した蒼穹表記をとりあえず自分でハーディ関数
Ｆ「εー0］（ｎ）まで変換してみたんですが、
ａ○↑ｂ＝Ｆ［ω＾ω］（ｎ）
ａ○→↑ｂ＝Ｆ［ω＾ω*ω］（ｎ）
ａ○↓→↑ｂ＝Ｆ［ω＾ω＾2］（ｎ）
ａ○←↓→↑ｂ＝Ｆ［ω＾ω＾3］（ｎ）
ａ○○↑ｂ＝Ｆ［ω＾ω＾ω］（ｎ）
ａ○○○↑ｂ＝Ｆ［ω＾ω＾ω＾ω］（ｎ）
ａ◎↑ｂ＝Ｆ［εー0］（ｎ）
と予想に反して ａ◎↑ｂでＦ［εー0］（ｎ）に到達してしまいました。
このまま ａ△↑ｂ ａ□↑ｂ 更にａ☆↑ｂをハーディ関数に変換して
いくと、蒼穹表記 ａ・～・ｂ では物凄いことになりそうなんですが。
やはり、どこか計算間違いをしてるんですかね？
Ｆ［εー0］（ｎ）の後はまだ勉強不足で理解してないんですが。