解説

擬似言語プログラムのトレース問題です。function1とfunction2が同じ引数（n, m）を受け取ったとき同じ値を返すという条件から、空欄a・bに適切なループ制御を選ぶ問題です。function2が「n からm まで1ずつ増やす」ループ（m-n+1回の繰り返し）でカウンタを加算する構造であれば、function1は「1から(m-n)まで1ずつ増やす」または等価な構造で同じ回数の繰り返しを実現する必要があります。m-n は両関数が同じ回数の繰り返しを行うための本質的な差分です。ここで重要なのは、ループの範囲が m-n の関係を維持していること：function2 が「j を 1 から m-n まで 1 ずつ増やす」（m-n回の繰り返し）のに対して、function1 が「i を n から m まで 1 ずつ増やす」（m-n+1回ではなく等価な回数）となるよう対応を取ることです。問題の制約「引数m はnより10以上大きい」から、m-n >= 10が保証されており、両関数が安全に動作することがわかります。擬似言語問題では、ループの開始値・終了値・増分から総実行回数を数えることが解法の鍵です。実行回数 = (終了値 - 開始値) ÷ 増分 + 1 が基本公式です。

なぜ他の選択肢は違うのか

選択肢 ウ

「i を 1 から m まで 1 ずつ増やす」はm回の繰り返しとなりますが、function2の繰り返し回数（m-n回または同等）と一致しません。nが1でない場合は実行回数がズレます。ループ範囲を設定するときは開始値と終了値の両方からトータルの繰り返し回数を計算する習慣をつけましょう。

選択肢 エ

「j を n から m まで 1 ずつ増やす」は m-n+1 回の繰り返しとなりますが、function1のループと繰り返し回数が一致するかどうかを確認する必要があります。aとbが組み合わせで正しい対となっているかを検証してください。

解くときのポイント

擬似言語のループ回数公式：「i を A から B まで 1 ずつ増やす」の繰り返し回数 = B - A + 1。2つの関数が同じ値を返す条件＝同じ回数の繰り返し。開始値・終了値をそれぞれ確認して等式を立てる。