副手続きを用いた段階的詳細化のポイント
・詳細化の各過程で、処理内容が具体化したら、それを 関数呼び出しに書き換える。
　・このとき、関数の内部は 詳細化しない。
　・ コメントはそのまま残しておく。
・一通り 関数呼び出しに置き換わったら、 関数内部の詳細化を行う。
　・詳細化を始める前に、 外部仕様をコメントで記述する。
　・ 関数内部の詳細化も同様に行う。