令和7年度 III-22

解説

この問題で問われていること

プログラミングパラダイムのうち、論理型プログラミングの説明を選ぶ問題。

解き方

① プログラミングパラダイム: 手続き型=命令の列、関数型=関数とその呼び出し、オブジェクト指向=オブジェクトとメッセージ、論理型=事実と規則(推論で答えを出す。例: Prolog)
② ⑤はペアプログラミング(開発のやり方)で、パラダイムではない
③ ④

正解が正しい理由

論理型プログラミングは、問題を、事実(fact)と規則(rule)の集合として宣言的に記述し、質問(クエリ)に対して、論理的な推論(導出)によって解を求めるパラダイムで、代表的な言語にPrologがある。入出力関係を、事実と規則で記述する④が最も適切である。

各選択肢について

• ① コンピュータの処理手順を命令文で記述するのは、手続き型(命令型)プログラミングの説明である。
• ② 入出力関係を表現する関数とその呼出しで記述するのは、関数型プログラミングの説明である。
• ③ データとその操作をカプセル化したものと、その間のメッセージ通信で記述するのは、オブジェクト指向プログラミングの説明である。
• ④ 入出力関係を事実と規則で記述するのは、論理型プログラミングの説明であり、これが正答。
• ⑤ 開発者でペアを組んで同一の端末でプログラムを記述するのは、ペアプログラミング(開発手法)の説明で、パラダイムではない。

覚えるべきポイント

手続き型=命令の列、関数型=関数の合成、オブジェクト指向型=オブジェクトとメッセージ、論理型=事実と規則と推論。ペアプログラミングは開発手法である。