プロセスの形式的定義.