プログラム生成装置は、ブロックを繰り返しＮ回（Ｎ≧２）処理する、ｉ（１≦ｉ＜Ｎ）回目の実行に係る前記ブロック内で定義された変数が、ｊ（ｉ＜ｊ≦Ｎ）回目の実行に係る前記ブロック内で参照される依存関係にあるループ処理を含むソースプログラムを参照し、ｉ回目の実行に係る前記ブロック及びｉ回目以外の実行に係る１以上の前記ブロックにおける変数表記の等価関係を算出し、前記依存関係にある全ての対象変数の表記について、当該対象変数の表記と等価な前記依存関係のない他の変数の表記を特定し、前記ループ処理のＭ回分（Ｍ≦Ｎ）の処理を行うための、特定した他の変数の表記を含んだ命令文を含むプログラムを生成する。