多変数アッカーマンもs(n)変換も同じ F_ω^ω だよ