命令からプログラムを記述する，関数型言語と対比されるカテゴライズ．