手続き型プログラミング

手続き型プログラミング（てつづきがたプログラミング、）は、手続きの定義と呼び出しをプログラム全体を組み立てる土台にしたプログラミングパラダイムである。手続きは言語によってサブルーチン、関数、メソッドとも呼ばれている。手続きはプログラム全体を区画した部分プログラムでもあり、一定量の計算ステップまたは命令コードのまとまりを、任意の定義名に結び付けて識別化したコードユニットである。手続き型プログラミングは命令型プログラミングの分類に属しており、1958年のFORTRANⅡ、ALGOL、COBOLといった最も初期の高水準言語から導入されている。

手続き（procedure）は、プログラム内のあらゆるポイントから呼び出す（call）ことが可能であり、手続き内の命令コード行の終端に達した時は、その手続きを呼び出したポイントの次のアドレスに制御が移される。これは復帰（return）と呼ばれる。リターン命令で途中位置でも復帰できる。手続きは他の手続き内からの呼び出しの他、自身内からの呼び出しも可能でありこれは再帰（recursive call）と呼ばれる。手続きの呼び出しと復帰は、コンピュータ側が提供するコールスタックまたはスタックフレーム機能の命令アドレス管理によって実現されている。

手続きの来歴 
手続き（procedure）の考え方は、機械語コードの時代から存在しており、低水準言語（アセンブリ言語）にあるニーモニックコードのCALL命令とRET命令が原点である。PUSH命令による引数のスタックメモリへの積み込みと、スタックポインタレジスタの減算によるローカル変数領域の確保、ベースポインタレジスタによる引数とローカル変数へのアクセスといったスタックフレームの機能もアセンブリ言語由来のものである。CALL命令のジャンプ先アドレスに付けられたラベルは手続き名と同義になった。その仕組みは1950年代半ばから登場した高水準言語にもそのまま受け継がれた。ラベルは形式化された引数欄付きの呼び出し名となり、スタックフレーム処理も自動化隠蔽され、ソースコード上で明確に区分けされた手続き（プロシージャ）として誕生した。

手続きとモジュール性 
大きく複雑なプログラムでは特にモジュール性が重要である。手続き型プログラミングでは、モジュールへの入力は構文的には「引数」であり、出力は「リターン値」である。

変数スコープは手続きのモジュール性を高めるもう1つの技法である。手続き内の変数は他の手続きからアクセスできない（逆も成り立つ）し、同じ手続きの複数の呼び出しの間でもそれが保たれる。スコープを超えたアクセスには特別な許可が必要である。

モジュール性の低い手続きも簡単なプログラムではよく使われる。その場合、実行環境内の多数の変数にアクセスし、他の手続きでも同様にそれらの変数にアクセスする。

単純で自己完結的で再利用可能なインタフェースであるため、手続きを使って多数の人間が書いたコードを組み合わせることが可能となり、ライブラリなども作成できるようになった。

他のプログラミングパラダイムとの対比

命令型プログラミング

オブジェクト指向プログラミング 
手続き型プログラミングでは、データ構造は適宜まとめられるが、コードはデータ構造が定義されたモジュールにまとめられ、その中では散在しがちである。一方オブジェクト指向プログラミングでは、データとコードはそれぞれ関連性の高いものがオブジェクトにまとめられる。

一般にオブジェクト指向プログラミングの方が理解しやすいと言われている。その理由として、オブジェクト指向が人間の精神モデルの認知手法に近いからだという説もあるが、心理学が人間の認知モデルを完全には明確化できていない現時点では非常に不確かである。蒸気機関が発明されたとき、人間の精神は蒸気機関と比較された。コンピュータが発明されたとき、人間の精神はそれと比較された。オブジェクト指向プログラミングが発明されると、人間の精神はそれと比較されることになったのである。

多くの場合、オブジェクト指向の方がプログラムが小さくなり、保守が容易であると考えられている。プログラムはクラス群の定義から構成されている。オブジェクト指向言語と一口に言っても、全てをオブジェクトとみなす純粋なオブジェクト指向言語は少ない。例として最初のオブジェクト指向言語 Smalltalk があるが、商業的に成功したとは言いがたい。多くのオブジェクト指向言語は、手続き型プログラミングとオブジェクト指向を融合させたものである。

以下にオブジェクト指向と手続き型の言語要素を比較した表を示す。

関数型プログラミング

論理型プログラミング

代表的な手続き型言語 
手続き型と見なされるプログラミング言語は、手続き（プロシージャ）の概念を明確に持っていて、構文として定義している。

典型例はALGOLである。手続きがメソッドの形だけで表現する言語は、手続き型というよりもオブジェクト指向と見なすのが一般的であり、以下のリストにはそのような言語は登場しない。例えば、C#やJavaがそうだが、C++はメソッド以外( 例 クラスに属さない関数 )の形態で手続きを記述可能なので、以下に挙げてある。

 Ada
 ALGOL
 BASIC
 C言語
 C++
 ColdFusion
 COBOL
 D言語
 Delphi言語
 ECMAScript （ActionScript、DMDScript、JavaScript、JScript）
 Forth
 FORTRAN
 Maple
 Mathematica
 MATLAB
 Modula-2
 Oberon （Oberon-1、Oberon-2）
 Occam
 M言語
 Pascal
 Perl
 PHP
 Pike
 Python
 PL/I
 VBScript
 Visual Basic

関連項目 
プログラミングパラダイム
 プログラミング言語
 命令型プログラミング
 オブジェクト指向プログラミング
 構造化プログラミング
 非手続き型プログラミング

 宣言型プログラミング
関数型プログラミング
論理型プログラミング
問い合わせ言語

外部リンク 
 Open Directory: Programming: Languages: Procedural

プログラミングパラダイム