1.一種程序生成裝置，通過參照對象源程序而生成新的程序，該對象源程序包含將由1個以上的命令語句構成的塊重復處理N次的循環處理，該循環處理的在有關第i次執行的上述塊內的命令語句中定義的變量處于被有關第j次執行的上述塊內的命令語句所參照的相關關系，其中N≥2，1≤i＜N，i＜j≤N，其特征在于，

該程序生成裝置具備：

計算單元，以有關第i次執行的上述塊、和有關第i次以外的執行的1個以上的上述塊為對象塊，進行計算該對象塊中的變量表述的等價關系的計算處理；

確定單元，基于上述計算單元計算出的變量表述的等價關系，對于上述變量之中的、處于上述相關關系的全部的對象變量的表述，進行確定與該對象變量的表述等價的不具有上述相關關系的其他變量的表述的確定處理；以及

生成單元，生成用來進行上述循環處理的M次的處理的、包含如下命令語句的程序，該命令語句包含有上述確定單元確定的其他變量的表述，其中M≤N。

2.如權利要求1所述的程序生成裝置，其特征在于，

上述確定單元確定的與上述對象變量的表述等價的不具有上述相關關系的其他變量的表述，是與哪個對象變量的表述都不同的變量的表述。

3.如權利要求2所述的程序生成裝置，其特征在于，

上述計算單元將有關第i次執行的上述塊、和有關第i+1次執行的上述塊作為上述對象塊，進行上述計算處理；

每當上述計算單元進行上述計算處理時，上述確定單元基于已計算的各變量表述的等價關系，對于全部的對象變量的表述，進行是否能夠確定如下表述的判斷，該表述是與該對象變量的表述等價的不具有上述相關關系的其他變量的表述、而且是與哪個對象變量的表述都不同的變量的表述；

在該判斷處理的結果是否定的期間，一邊使i每次增加1，一邊使上述計算單元重復進行上述計算處理。

4.如權利要求2所述的程序生成裝置，其特征在于，

上述程序生成裝置參照的程序是用來由單一的處理器執行的程序；

上述生成單元生成的程序是用來由多個處理器并行執行的程序。

5.如權利要求2所述的程序生成裝置，其特征在于，

在M＜N的情況下，上述生成單元將所生成的程序變更以使得其還進行上述循環處理的N-M次的處理，并判斷變更后的程序的處理和上述對象源程序的處理是否為等價，在為等價的情況下，將上述生成的程序替換為該變更后的程序。

6.一種程序生產方法，通過參照對象源程序而生產新的程序，該對象源程序包含將由1個以上的命令語句構成的塊重復處理N次的循環處理，該循環處理的在有關第i次執行的上述塊內的命令語句中定義的變量處于被有關第j次執行的上述塊內的命令語句所參照的相關關系，其中N≥2，1≤i＜N，i＜j≤N，其特征在于，

該程序生產方法包括：

計算步驟，以有關第i次執行的上述塊、和有關第i次以外的執行的1個以上的上述塊為對象塊，進行計算該對象塊中的變量表述的等價關系的計算處理；

確定步驟，基于上述計算步驟計算出的變量表述的等價關系，對于上述變量之中的、處于上述相關關系的全部的對象變量的表述，進行確定與該對象變量的表述等價的不具有上述相關關系的其他變量的表述的確定處理；以及

生成步驟，生成用來進行上述循環處理的M次的處理的、包含如下命令語句的程序，該命令語句包含有上述確定步驟確定的其他變量的表述，其中M≤N。

7.一種程序，用來使程序生成裝置中的處理器進行程序生成處理，該程序生成裝置通過參照對象源程序而生成新的程序，該對象源程序包含將由1個以上的命令語句構成的塊重復處理N次的循環處理，該循環處理的在有關第i次執行的上述塊內的命令語句中定義的變量處于被有關第j次執行的上述塊內的命令語句所參照的相關關系，其中N≥2，1≤i＜N，i＜j≤N，其特征在于，

上述程序生成處理包括：

計算步驟，以有關第i次執行的上述塊、和有關第i次以外的執行的1個以上的上述塊為對象塊，進行計算該對象塊中的變量表述的等價關系的計算處理；

確定步驟，基于上述計算步驟計算出的變量表述的等價關系，對于上述變量之中的、處于上述相關關系的全部的對象變量的表述，進行確定與該對象變量的表述等價的不具有上述相關關系的其他變量的表述的確定處理；以及

生成步驟，生成用來進行上述循環處理的M次的處理的、包含如下命令語句的程序，該命令語句包含有上述確定步驟確定的其他變量的表述，其中M≤N。