○副手続きとは
処理全体の中で他の部分とは分離独立して記述する手続きのこと。
まとまりのある処理手順を抽象化し、昨日として独立させる手段となる。

○副手続きの外部仕様と内部仕様
・外部仕様
副手続きへの入力に対する出力と、副手続き内の処理が外部に及ぼす作用を定義したもの。
副手続きが提供する「 機能」の利用法を示す。

・内部仕様
副手続きの「 機能の実現方法」を示すもの。
具体的なアルゴリズムなどがこれに当たる。

このように分けて考えることで、
・使う人…内部仕様を知らなくても機能を使える
・作る人…利用者に影響を与えることなく実装方法を自由に変更できる

○プログラミング言語が使える副手続き
・ 関数…戻り値が 存在する
・ プロシージャまたは サブルーチン…戻り値が 存在しない
※関数の戻り値は存在しない場合もある

・ 関数や プロシージャが外部に及ぼす作用… 副作用

・ 純粋関数… 副作用がなく戻り値だけを持つ関数
・ 非純粋関数… 戻り値のほかに副作用を持つ関数
※C言語は、 非純粋関数を備えている。( プロシージャを記述するときは、戻り値のない非純粋関数を使う)