プログラミングパラダイムの系統（手続き型・関数型・論理型）

何がうれしい？

「どの言語を学ぶか」で迷う前に、パラダイム＝計算モデルの違いを押さえると、言語間の差が一気に見通せます。パラダイムとは文法の流儀ではなく、計算とは何かをどうモデル化するかの選択です。ここを理解しておくと、

• 新しい言語に出会っても「どのモデルの系統か」で素早く位置づけられる
• 副作用・並行性・テスタビリティといった設計上の性質が、なぜパラダイムから導かれるのかが分かる
• 「多パラダイム言語」の各機能が、どの源流から来たのかを見抜ける

2つの大分類：命令型と宣言型

パラダイムはまず**命令型（imperative）と宣言型（declarative）**に分かれます。違いは「計算をどう指示するか」です。

命令型は「メモリの状態を逐次書き換えていく」モデルで、チューリング機械を理論的な祖先に持ちます。宣言型は「答えの満たすべき性質」を述べ、評価器や推論器が解を導く立場です。

3つの計算モデルと数理的基盤

主要パラダイムは、それぞれ異なる計算可能性の定式化に根ざしています。いずれもチューリング完全（同じ計算能力）ですが、計算を表現する語彙が違う点が本質です。

ラムダ計算とチューリング機械が同じ関数を計算できることは証明された定理であり（さらに両者が「実効的に計算可能」という直観的概念を捉えるという主張がチャーチ＝チューリングのテーゼ）、関数型と命令型が「同じ計算能力で表現を変えただけ」である根拠になります。論理型の Prolog は、ホーン節に限定した一階述語論理をSLD導出という証明探索で実行します。

手続き型：状態と逐次実行

手続き型は、可変な状態を逐次・分岐・反復で書き換えるモデルです。同じ変数 x が、実行のタイミングによって異なる値を持ちます。

int sum = 0;                 // 状態を用意
for (int i = 1; i <= n; i++) // 反復
    sum = sum + i;           // 状態を更新（代入）＝副作用

sum は時間とともに値が変わるため、「いま sum は何か」は実行位置に依存します。これが命令型の強み（ハードウェアに近く効率的）であり、弱み（状態追跡が難しい）でもあります。オブジェクト指向は手続き型の延長で、状態と処理をオブジェクトに閉じ込めたものです（詳しくは /programming/oop/）。

関数型：式の評価と参照透過性

関数型は計算を式の評価として捉え、代入による状態変更を行いません。中心となる性質が参照透過性です。

-- 同じ入力には常に同じ出力。状態の更新が無い
sumTo :: Int -> Int
sumTo 0 = 0
sumTo n = n + sumTo (n - 1)

手続き型がループ（状態の更新）で書く反復を、関数型は再帰で表現します（/programming/recursion/）。値を書き換えず必要なら新しい値を作る方針が不変性で、これも関数型の核です（/programming/immutability/）。さらに、関数を値として扱う高階関数や、関数を第一級の対象とする発想は、ラムダ計算から直接来ています（/programming/functions/）。

論理型：事実・規則・問い合わせ

論理型は最も毛色が異なります。プログラムは事実（fact）と規則（rule）の集合で、実行とは問い合わせ（query）に対する証明探索です。手続きを一切書かず、「何が真か」だけを宣言します。

parent(taro, jiro).            % 事実：太郎は次郎の親
parent(jiro, hanako).          % 事実
grandparent(X, Z) :-           % 規則：X が Z の祖父母であるとは…
    parent(X, Y), parent(Y, Z).
?- grandparent(taro, hanako).  % 問い合わせ → true

処理系は grandparent(taro, hanako) を満たす Y を単一化（unification）とバックトラックで探索します。「どう探すか」は書かず、論理的関係だけを与える点で、命令型・関数型と根本的に異なります。SQL や正規表現の一部、型推論器なども宣言的・論理的な発想の親戚です。

系統樹：年代と分岐

主要パラダイムの登場年代と分岐を時系列で並べると、源流と相互影響が見えます。

ポイントは、オブジェクト指向は命令型の枝であり、関数型と論理型はともに宣言型だが基盤が別（ラムダ計算 対 述語論理）という分岐構造です。

相互影響と多パラダイム化

現代の主流言語は単一パラダイムではありません。関数型で磨かれた概念が、命令型基盤の言語へ広く移植されています。

まとめ：モデルで捉える

• パラダイムの差は文法ではなく計算モデルの差。命令型＝状態遷移、関数型＝式の簡約、論理型＝証明探索。
• 命令型は how、宣言型（関数型・論理型）は what を記述する。これが副作用・参照透過性・テスタビリティの差を生む。
• 系統は「命令型→オブジェクト指向」「宣言型→関数型／論理型」に大別され、現代言語はこれらを意図的に使い分ける混合体になっている。

言語を「文法の暗記対象」ではなく「どの計算モデルの方言か」と見ると、新しい言語の習得も設計判断も格段に速くなります。