プログラムの解説は
　「アルゴリズミック・デザイン 実行系」　渡辺 誠 著・丸善出版 刊
を参照ください。