論理型プログラミングでは、与えられたゴールを達成するために、既知の事実や規則とパターンマッチングを行うことで命題を証明します。このパターンマッチングの機構がユニフィケーション（単一化）と呼ばれ、変数に値を代入して等式を成立させる基本的な機能です。
システムアーキテクト令和6年度 春期午前II問 9
令和6年度 春期 システムアーキテクト 午前II 問9
難度
標準
論理型プログラミングにおいて、命題の証明を行うための基本的な機能はどれか。
選択肢
アオーバーライド
イオーバーロード
ウメッセージパッシング
エユニフィケーション
解説
結論 → 詳細 → 補足 の 3 層構成
展開閉じる
解説
結論 → 詳細 → 補足 の 3 層構成
この解説は？
この解説は AI 生成です（詳細）
解説テキストは Google Gemini に IPA 公式の問題文・公式解答を入力して生成しました。 人間によるレビューを行ったものと、未レビューのものが混在します。
AI は事実誤認・選択肢の取り違え・最新法令の反映漏れ等を含む可能性があります。 重要な判断は必ず IPA 公式 PDF または最新の参考書でご確認ください。
解説の検証プロセス・誤り報告フローは 運営透明性レポートで公開しています。
分野「ソフトウェア設計」の学習ポイント
この問題の理解を「分野全体の力」に広げるための足がかり
- 何が問われるか
- 本問の分野で問われる代表的な知識・用語の整理。
- 学習の進め方
- 正解／誤答の選択肢ごとに「なぜ正しい / なぜ違うのか」を1行ずつ言語化すると定着する。
AI コパイロット
この問題を AI と深掘りする
用語解説・選択肢分析・類題生成をその場で対話。クイズモードでは解答→解説がゼロ遷移。
共有
ショート動画
関連する問題
ソフトウェア設計 の他の問題
- システムアーキテクト2009年度 秋期 午前II 問5あるプログラム言語の解説書の中に次の記述がある。この記述中の“良いプログラム”がもっている特徴はどれか。 このプログラム言語では、関数を呼び出すときに引数を保持するためにスタックが使用される。引数で受け渡すデータを、どの関数からでも参照できる共通域に移せば、スタックの使用量を減…
- システムアーキテクト2009年度 秋期 午前II 問6モジュール設計書を基にモジュール強度を評価した。適切な評価はどれか。 〔モジュール設計書(抜粋)〕 上位モジュールから渡される処理コードに対応した処理をする。処理コードが“I”のときは挿入処理、処理コードが“U”のときは更新処理,処理コードが“D”のときは削除処理である。
- システムアーキテクト2009年度 秋期 午前II 問23“納品”表と“顧客”表を自然結合する SQL 文はどれか。 納品 顧客番号 商品番号 納品数量 顧客 顧客番号 顧客名
- システムアーキテクト2010年度 秋期 午前II 問3デザインパターンの中のストラテジパターンを用いて、帳票出力のクラスを図のとおりに設計した。この帳票出力ストラテジクラスの説明として、適切なものはどれか。
- システムアーキテクト2010年度 秋期 午前II 問4オブジェクト指向におけるオブジェクト間の代表的な関係には、is-a と part-of の二つがある。表に示すオブジェクト間の関係の組合せのうち、適切なものはどれか。