令和6年度 春期 システムアーキテクト試験 午前Ⅱ 問9

テクノロジアルゴリズム

この問題は2024(R6)春 システムアーキテクト 午前IIに出題されたものです。出題時点の法令・制度に基づく内容のため、現行の内容と一致しない場合があります。

本ページの問題文・選択肢は、原本の体裁を Web 表示用に正規化しています（改行・記号・数式・図表参照の調整）。設問の趣旨および正解に影響する変更は加えていません。

論理型プログラミングにおいて，命題の証明を行うための基本的な機能はどれか。

解答・解説を読む

正解: 選択肢エ

論理型プログラミングにおいて、命題の証明を行うための基本的な機能はユニフィケーション（単一化）です。
ユニフィケーションとは、2つの項が一致するように変数の値を割り当てる（束縛する）操作のことです。論理型言語では、この機能を用いてパターンマッチングを行い、推論（命題の証明）を進めます。

各選択肢の解説

  • ア オーバーライド

オブジェクト指向プログラミングにおける概念であり、スーパークラス（上位クラス）で定義されたメソッドをサブクラス（下位クラス）で再定義することです。

  • イ オーバーロード

オブジェクト指向プログラミングなどにおける概念であり、同一の関数名やメソッド名で、引数の型や数が異なるものを複数定義する機能です。

  • ウ メッセージパッシング

オブジェクト指向プログラミングにおいて、オブジェクト同士が互いに処理を依頼するための通信手段です。

  • エ ユニフィケーション
    正解です。論理型プログラミングにおいて、変数を含む2つの項が一致するように変数に値を代入し、命題の証明を行うための基本的な機能です。