>>931

問7
> = F[1]^F[ω](ω) (ω)
ここは、
> F[n+1](α) = F[n]^α(α)
これによると、F[1]^F[ω](ω) (F[ω](ω))
になるはずだが

問8
F[λ+1](α+1) の定義は?
F[λ+1](n) の定義は?

問9
> F[λ_ω](α+1) = F[λ_ω](F[λ_ω]^α(ω))
の部分、
α+1<F[λ_ω]^α(ω) になることがありそうだが、
well-defined?

問10
で結局定義をまとめると?