差し替え

■■■■ふぃっしゅ数V5■■■■
M[0] : 自然数 の集合
M[n+1] : M[n] から M[n] への写像 の集合
t[n] ∈ M[n]

●g{t[m], t[m-1], ..., t[n+1], t[n]} ∈ M[n] の定義 ...m≧n≧0
　case n=0
　　g{t[m], t[m-1], ..., t[0]} = t[m]^t[0] t[m-1] ... t[1] t[0]

　case n>0
　　g{t[m], t[m-1], ..., t[n+1], t[n]} (t[n-1]) = g{t[m], t[m-1], ..., t[n+1], t[n], t[n-1]}

●m[n] ∈ M[n] の定義 ...n>0
　m[n] (t[n-1]) = g{t[n-1]}

●F5 の定義
　F5(n) = (m[n] m[n-1] ... m[2] m[1]) (n)
　F5 = F5^63(3)