関数f(x)は、引数も戻り値も実数型である。 この関数を使った、@〜Dから成る手続を考える。 手続を実行開始しても十分な回数を繰り返した後に、Bで表示されるyの値に変化がなくなった。このとき成立する関係式はどれか。 @ x ← a A y ← f(x) B yの値を表示する。 C x ← y D Aに戻る。