ミバちゃんねる（ε） 検索除外

【イェル関数】FGH：不明
{a,b,c,…}⇒単体でなら[BEAF線形配列表記]
v(a,b,c,…)⇒[フォンシー多因子アクセル(仮)]

定義
◇＝0個以上の1以上の整数
^＝(↑^1)
ъ(a)＝<1>ъ(a)

ъ(a)＝{v^a(a)}

ъ^b+1(a)＝ъ(a´)のa´に対してb回合成

ъ(↑^c+1)b+1(a)＝ъ(↑^c)a´(a)のa´に対してb回合成

ъ(a+1,b,◇)＝ъ(↑^b´)b(b)のb´に対してa回合成

ъ_d+1(a)＝ъ_d(v^a(a))

{b+1}ъ(a)＝ъ_a´(a)のa´に対して{b}ъ(a)-1回の合成

{c+1,b,◇}ъ(a)＝{c,b´,◇}ъ(a)に対して{c,b,◇}ъ(a)-1回合成

{b}_c+1ъ(a)＝{v^b(b)}_cъ(a)

<b+1>ъ(a)＝{a}_a´ъ(a)のa´に対して{a}_aъ(a)-1回合成