アルゴリズムとプログラミング
基本情報技術者試験 科目A免除 修了試験 20140126 実施分 問4
関数 f(x) は，引数も戻り値も実数型である。この関数を使った，①～⑤から成る手続を考える。手続の実行を開始してから十分な回数を繰り返した後に，③で表示される y の値に変化がなくなった。このとき成立する関係式はどれか。
① x ← a
② y ← f(x)
③ y の値を表示する。
④ x ← y
⑤ ②に戻る。
答えを選ぶ
出典：基本情報技術者試験 科目A免除 修了試験 20140126 実施分 問4（問題文は IPA の公開問題。解説は当サイト作成）
解説に誤りを見つけたら、解説の誤りを報告してください。
答えと解説を見る
正解：エ
覚える知識
反復手続の収束条件(不動点 f(y)=y)
反復 y←f(x), x←y で値が変化しなくなったとき、f(y)=y が成り立つ(不動点)。
この問題で必要なこと
y が変化しなくなると x←y により次の y=f(x)=f(y) も同じ値 y になるので、f(y)=y が成り立つ。
ひっかけ
f(a)=y は初回だけの関係であり、収束後の関係と混同させる。
この知識の出題：本試験系 0 回・免除試験 3 回（公開問題での観測値）。頻出知識ランキング932位（全1,254件中）。