>>700
F4分かりました。再帰的定義の最初にf=x+1ってありましたね。でs(1)の定義に出力はそれを使ったビジービーバー関数とあるのでビジービーバー関数になります。ラヨ関数とかは出てきません。