IPA公式正解：ア 同じ引数を渡せば，関数は常に同じ結果を返す。
※ 正解はIPA公表の解答です。解説は当サイトが生成AIを用いて作成しています。誤りにお気づきの場合はお問い合わせください。
【解説】正解は選択肢【ア】です。参照透過性とは、ある式や関数に入力として同じ値を与えた場合、外部の状態や呼び出し回数に影響されず、常に同じ評価結果を返す性質を指します。純粋関数型言語では副作用を排除することでこれを担保します。
【詳細解説】■ 本問の核心・解法のポイント
関数型プログラミングの根幹をなす「参照透過性（Referential Transparency）」の定義を問う問題です。数式と同様に「ある式をその評価結果で置き換えてもプログラムの意味が変わらない」性質であり、グローバル変数の書き換えやI/Oといった副作用を持たず、同じ引数に対して常に決定的な結果を返すことを意味します。
・各選択肢の徹底解説：
・ア【選択肢ア★】：参照透過性の正しい説明です。関数が外部状態に依存せず副作用を持たないため、同一の引数に対して常に同一の戻り値を返します。
・イ：第一級関数（First-class Function）の説明です。関数を通常の変数と同様に引数や戻り値として扱える特性です。
・ウ：静的型付け（Static Typing）の説明です。コンパイル段階で厳格な型推論や型チェックを行い、実行前の型安全性を保証します。
・エ：遅延評価（Lazy Evaluation）の説明です。式の評価を値が実際に必要となるタイミングまで遅らせる評価戦略です。
よって正解はアです。
