JP7283320B2 - 情報処理装置、情報処理プログラム、及び情報処理方法 - Google Patents

Description

本発明は、情報処理装置、情報処理プログラム、及び情報処理方法に関する。

近年、プログラムの実行の高速化及び低消費電力化を目的として、実行結果の精度の厳密性をユーザが許容する範囲内で変更する、近似計算（Approximate Computing，ＡＣ）技術が多数提案されている。ＡＣ技術には、ＡＣ並列化、ループパーフォレーション（loop perforation）、タスクスキッピング（task skipping）、ビット数削減等の技術が含まれる。

ＡＣ並列化は、プログラム中に記述された、並列に実行される複数の処理の待ち合わせを途中で打ち切る処理であり、ループパーフォレーションは、ループ処理の繰り返しの一部をスキップする処理である。タスクスキッピングは、プログラムコードの一部の実行をスキップする処理であり、ビット数削減は、演算に使用される変数のビット数を削減する処理である。プログラムに対する各ＡＣ技術の適用の度合いは、パラメータによって指定される。

１つのプログラムに対して１つ又は複数のＡＣ技術を適用することができ、複数のＡＣ技術を適用した場合、それらのＡＣ技術の相乗効果によって、そのプログラムの高速化及び低消費電力化の効果を高めることが可能である。

プログラムの最適化に関連して、制御モジュールにおける制御パラメータを、直接最適化手法を用いて最適化させる総合特性最適化方法が知られている（例えば、特許文献１を参照）。プラントの状態総合評価における評価構造・パラメータの自動調整装置、及び複数のパラメータの相関に鑑みて対象装置の異常を判定する異常判定装置も知られている（例えば、特許文献２及び特許文献３を参照）。

特開２０００－２５０６０３号公報 特開平１１－１１０３６７号公報 特開２０１９－４０４３１号公報

アプリケーションプログラムに対して複数のＡＣ技術を適用する場合、それらのＡＣ技術の相互作用又は相乗効果の制御が難しくなる。

なお、かかる問題は、プログラムに対してＡＣ技術を適用する場合に限らず、プログラムを簡略化して実行する様々な簡略化処理を適用する場合において生ずるものである。

１つの側面において、本発明は、プログラムに対して複数の簡略化処理それぞれを適用する度合いを効率良く決定することを目的とする。

１つの案では、情報処理装置は、プログラムを記憶する記憶部と、プログラムを実行するプロセッサとを有する。

プロセッサは、第１簡略化処理が適用される度合いを示すパラメータに対する候補値の第１集合と、第２簡略化処理が適用される度合いを示すパラメータに対する候補値の第２集合とを生成する。第１簡略化処理は、プログラム中の第１位置においてプログラムを簡略化して実行する簡略化処理であり、第２簡略化処理は、第１位置よりも後の第２位置においてプログラムを簡略化して実行する簡略化処理である。

次に、プロセッサは、第１位置において第１集合に含まれる複数の候補値それぞれに基づいてプログラムを簡略化して実行することで、複数の実行結果を生成する。そして、プロセッサは、第１位置において生成された複数の実行結果に対する評価結果に基づいて、第１集合に含まれる複数の候補値のうち第１候補値を選択する。

次に、プロセッサは、第２位置において第２集合に含まれる複数の候補値それぞれに基づいてプログラムを簡略化して実行することで、複数の実行結果を生成する。このとき、プロセッサは、第１位置において第１候補値に基づいてプログラムを簡略化して実行することで生成された実行結果を用いて、プログラムを実行する。そして、プロセッサは、第２位置において生成された複数の実行結果に対する評価結果に基づいて、第２集合に含まれる複数の候補値のうち第２候補値を選択する。

１つの側面によれば、プログラムに対して複数の簡略化処理それぞれを適用する度合いを効率良く決定することができる。

情報処理装置の機能的構成図である。 パラメータ決定処理のフローチャートである。 情報処理装置の具体例を示す機能的構成図である。 探索処理のフローチャートである。 プログラムを示す図である。 許容精度情報を示す図である。 チェックポイント付きプログラムを示す図である。 調整用プログラムを示す図である。 手続きＲＵＮ（Ｑ，Ｈ）のフローチャート（その１）である。 手続きＲＵＮ（Ｑ，Ｈ）のフローチャート（その２）である。 リクエストキューの処理のフローチャートである。 探索木を示す図である。 ＡＣ適用プログラムを示す図である。 ＡＣ適用処理のフローチャートである。 情報処理装置のハードウェア構成図である。

以下、図面を参照しながら、実施形態を詳細に説明する。
アプリケーションプログラムに対してＡＣ技術を適用する場合、ユーザは、そのプログラム中のどの部分に対してＡＣ技術をどの程度適用するかを決定する。プログラム中の不適切な部分にＡＣ技術を適用したり、ＡＣ技術を過度に適用したりした場合、プログラムの実行結果の精度が、ユーザが許容する以上に劣化したり、実行中にプログラムがエラーで終了したりする可能性がある。また、１つのアプリケーションプログラムに対して複数のＡＣ技術を適用する場合、それらのＡＣ技術の相互作用又は相乗効果の制御が難しくなる。

また、アプリケーションプログラムが多数の入力データそれぞれに対して実行される場合、入力データに応じてＡＣ技術の適用結果が異なることがある。例えば、ＡＣ技術が適用されたプログラムに、ある入力データが入力されて、ユーザが指定した許容範囲内の精度の実行結果が得られた場合を想定する。この場合、同じプログラムに別の入力データが入力されると、許容範囲外の精度の実行結果が得られたり、実行結果がエラーになったりする、という状況が発生する可能性がある。

このような状況が発生した場合は、結果的に、別の入力データに対するＡＣ技術の適用が不適切であることが判明し、その入力データに対して元のアプリケーションプログラムが実行されることになる。このため、ＡＣ技術が適用されたプログラムの実行時間が無駄になり、大幅な時間の浪費が発生する。

図１は、実施形態の情報処理装置（コンピュータ）の機能的構成例を示している。図１の情報処理装置１０１は、プログラム１２１を記憶する記憶部１１１、生成部１１２、実行部１１３、及び選択部１１４を含む。

図２は、図１の情報処理装置１０１が行うパラメータ決定処理の例を示すフローチャートである。まず、生成部１１２は、第１簡略化処理が適用される度合いを示すパラメータに対する候補値の第１集合と、第２簡略化処理が適用される度合いを示すパラメータに対する候補値の第２集合とを生成する（ステップ２０１）。第１簡略化処理は、プログラム１２１中の第１位置においてプログラム１２１を簡略化して実行する簡略化処理であり、第２簡略化処理は、第１位置よりも後の第２位置においてプログラム１２１を簡略化して実行する簡略化処理である。

次に、実行部１１３は、第１位置において第１集合に含まれる複数の候補値それぞれに基づいてプログラム１２１を簡略化して実行することで、複数の実行結果を生成する（ステップ２０２）。そして、選択部１１４は、第１位置において生成された複数の実行結果に対する評価結果に基づいて、第１集合に含まれる複数の候補値のうち第１候補値を選択する（ステップ２０３）。

次に、実行部１１３は、第２位置において第２集合に含まれる複数の候補値それぞれに基づいてプログラム１２１を簡略化して実行することで、複数の実行結果を生成する（ステップ２０４）。このとき、実行部１１３は、第１位置において第１候補値に基づいてプログラム１２１を簡略化して実行することで生成された実行結果を用いて、プログラム１２１を実行する。そして、選択部１１４は、第２位置において生成された複数の実行結果に対する評価結果に基づいて、第２集合に含まれる複数の候補値のうち第２候補値を選択する（ステップ２０５）。

図１の情報処理装置１０１によれば、プログラムに対して複数の簡略化処理それぞれを適用する度合いを効率良く決定することができる。

図３は、図１の情報処理装置１０１の具体例を示している。図３の情報処理装置３０１は、記憶部３１１、生成部３１２、実行部３１３、選択部３１４、及び出力部３１５を含む。記憶部３１１、生成部３１２、実行部３１３、及び選択部３１４は、図１の記憶部１１１、生成部１１２、実行部１１３、及び選択部１１４にそれぞれ対応する。

記憶部３１１は、プログラム３２１、入力ファイル３２２、許容精度情報３２３、探索木３２４、学習用データ３２５、入力ファイル３２６を記憶する。プログラム３２１は、図１のプログラム１２１に対応し、必ずしも処理結果の厳密性が要求されない、ＡＣ技術の適用対象となる対象プログラムの一例である。ＡＣ技術は、プログラム３２１を簡略化して実行する簡略化処理の一例である。

例えば、プログラム３２１は、ビッグデータ解析、機械学習、情報検索、映像処理等のプログラムであってもよい。ＡＣ技術としては、ＡＣ並列化、ループパーフォレーション、タスクスキッピング、ビット数削減等が適用される。

情報処理装置３０１は、調整モード及び運用モードの２種類の動作モードを有する。調整モードにおいて、情報処理装置３０１は、プログラム３２１に適用される複数のＡＣ技術と、各ＡＣ技術のパラメータ値との組み合わせを決定し、決定されたＡＣ技術及びパラメータ値の組み合わせが適用されたＡＣ適用プログラム３２７を生成する。運用モードにおいて、情報処理装置３０１は、ＡＣ適用プログラム３２７を実行する。

入力ファイル３２２は、調整モードにおいてプログラム３２１に入力される調整用データを含み、許容精度情報３２３は、プログラム３２１中の各位置において各変数が有する値の精度の許容範囲を示す。探索木３２４は、調整モードにおいて試行されたＡＣ技術とそのパラメータ値とを記録するためのノードを含む、木構造のデータである。学習用データ３２５は、探索木３２４の各ノードに記録されたＡＣ技術及びパラメータ値の組み合わせに対する評価結果を示すデータである。入力ファイル３２６は、運用モードにおいてプログラム３２１に入力される処理対象データを含む。

調整モードにおいて、情報処理装置３０１は、並列処理技術を応用し、ＡＣ技術及びパラメータ値の最適な組み合わせを探索する探索処理を行う。この探索処理において、情報処理装置３０１は、入力ファイル３２２を用いて、ＡＣ技術及びパラメータ値の複数の組み合わせそれぞれが適用されたプログラム３２１を並列に実行して、複数の実行結果を生成する。

そして、情報処理装置３０１は、実行結果の精度が許容範囲から外れたプログラム３２１の実行を中断する。一方、許容範囲内の精度の実行結果が得られたプログラム３２１については、情報処理装置３０１は、適用されるＡＣ技術をさらに増やして実行することで、複数の実行結果を生成する。このような並列処理を繰り返すことで、最適な組み合わせが効率良く探索され、各組み合わせを１つずつ試行する場合よりも、探索処理の処理時間を大幅に短縮することができる。

探索処理において、生成部３１２は、プログラム３２１中の各位置において適用されるＡＣ技術のパラメータの候補となるパラメータ値（候補値）の集合を生成する。パラメータ値の集合には、ＡＣ技術を適用しないことを示すパラメータ値が含まれていてもよい。

次に、実行部３１３は、集合に含まれる複数のパラメータ値それぞれに基づいて、プログラム３２１にＡＣ技術を適用して実行することで、複数の実行結果を生成する。そして、選択部３１４は、各位置において生成された複数の実行結果を評価し、実行結果の精度が許容範囲内であるか否かを示す評価結果を生成し、評価結果に基づいて、集合に含まれるいずれかのパラメータ値を選択する。

このとき、選択部３１４は、各位置における実行結果の精度が許容範囲内であることを示す評価結果を有するパラメータ値を選択する。これにより、許容範囲内の精度を有する実行結果を生成したパラメータ値を用いる探索が促進され、最適なパラメータ値の組み合わせを短時間で求めることができる。

いずれかのパラメータ値について、実行結果の精度が許容範囲外であることを示す評価結果が得られた場合、選択部３１４は、そのパラメータ値に基づく実行結果を用いた探索処理を抑止する。これにより、許容範囲外の精度を有する実行結果を生成したパラメータ値を用いる探索が打ち切られ、無駄な探索を省略することができる。

探索処理では、探索木３２４に基づく強化学習が利用される。これにより、ＡＣ技術及びパラメータ値の組み合わせの候補が大量に存在する場合であっても、有望な組み合わせを効率良く試行することが可能になる。

選択部３１４は、探索処理により求められたＡＣ技術及びパラメータ値の最適な組み合わせを、プログラム３２１に適用することで、ＡＣ適用プログラム３２７を生成し、記憶部３１１に格納する。

運用モードにおいて、実行部３１３は、入力ファイル３２６を用いて、プログラム３２１中の各位置にＡＣ技術が適用されたＡＣ適用プログラム３２７を実行する。入力ファイル３２６は調整モードで用いられた入力ファイル３２２とは異なるため、ＡＣ技術及びパラメータ値の最適な組み合わせを適用しても、許容範囲外の精度の実行結果が得られたり、実行結果がエラーになったりすることがある。

この場合、実行部３１３は、探索木３２４のノードに記録された別のパラメータ値を用いて、ＡＣ技術を再度適用し、そのＡＣ技術が適用された位置から、ＡＣ適用プログラム３２７を再実行する。別のパラメータ値がＡＣ技術を適用しないことを示している場合、実行部３１３は、その位置に対してＡＣ技術を適用することなく、ＡＣ適用プログラム３２７を再実行する。

これにより、ＡＣ技術を適用したことで許容範囲外の精度の実行結果が得られたり、実行結果がエラーになったりした場合に、それまでの実行時間を無駄にせずに、ＡＣ適用プログラム３２７の実行を完了できる可能性が高くなる。したがって、ＡＣ適用プログラム３２７を実行したことによる手戻り時間を大幅に短縮することができる。

実行部３１３は、ＡＣ適用プログラム３２７を実行することで処理結果３２８を生成し、記憶部３１１に格納する。そして、出力部３１５は、処理結果３２８を出力する。

図４は、調整モードにおいて、図３の情報処理装置３０１が行う探索処理の例を示すフローチャートである。まず、生成部３１２は、許容精度情報３２３に基づいてプログラム３２１にチェックポイントを付加することで、チェックポイント付きプログラムを生成する（ステップ４０１）。チェックポイントは、許容精度情報３２３により指定されたプログラム３２１中の位置で、変数の精度が許容範囲内であるか否かをチェックする処理を表す。

図５は、プログラム３２１の例を示している。宣言文５０１は、配列Ａ、配列Ｂ、及び配列Ｃに関する宣言文であり、宣言文５０２は、変数ｘ、変数ｙ、変数ｚ、及び変数ｒｅｓｕｌｔに関する宣言文である。実行文５０３は、変数ｘの値を定義することを表し、実行文５０４は、変数ｙの値を定義することを表し、実行文５０５は、変数ｚの値を定義することを表す。実行文５０６は、配列Ａの要素Ａ［ｋ］（ｋ＝０～Ｎ－１）を、配列Ｂの要素Ｂ［ｋ］と配列Ｃの要素Ｃ［ｋ］の積として定義することを表し、実行文５０７は、変数ｒｅｓｕｌｔの値を呼び出し元へ返す操作を表す。

図６は、図５のプログラム３２１に対する許容精度情報３２３の例を示している。図６の許容精度情報３２３は、ユーザによって設定され、名前、変数、行番号、最小値、及び最大値を含む。名前は、チェックポイントの識別情報であり、変数は、チェック対象の変数を表し、行番号は、プログラム３２１中でチェック対象の変数が記述されている行の番号を表す。最小値は、チェック対象の変数の値の下限値を表し、最大値は、チェック対象の変数の値の上限値を表す。

例えば、チェックポイントｃ１は、図５のプログラム３２１の第７行に記述された実行文５０３に含まれる変数ｘの値をチェックする処理であり、最小値は－１．０であり、最大値は１．０である。したがって、実行文５０３により生成される変数ｘの値が－１．０以上かつ１．０以下である場合は、変数ｘの値の精度が許容範囲内であると判定され、－１．０よりも小さい場合及び１．０よりも大きい場合は、精度が許容範囲外であると判定される。

図７は、図６のチェックポイントｃ１～チェックポイントｃ４が付加されたチェックポイント付きプログラムの例を示している。プラグマ７０１～プラグマ７０４は、それぞれ、チェックポイントｃ１～チェックポイントｃ４を表す。

次に、生成部３１２は、コンパイラの技術を応用して、プログラム３２１のソースコードを解析する。これにより、ＡＣ技術を適用するプログラム３２１中の位置ｃと、位置ｃに適用するＡＣ技術の種類ｄと、適用するＡＣ技術のパラメータ値ｅの集合Ｅとからなる、３つ組ｐ＝（ｃ，ｄ，Ｅ）が生成される。そして、生成部３１２は、複数の３つ組ｐを含む集合Ｐを生成する（ステップ４０２）。３つ組ｐは、ＡＣ技術及びパラメータ値の複数の組み合わせを表す。

例えば、ＡＣ技術の種類ｄとしては、ＡＣ並列化、ループパーフォレーション、タスクスキッピング、ビット数削減等が用いられる。集合Ｅの要素であるパラメータ値ｅは、種類ｄのＡＣ技術が適用される度合いを表す。

集合Ｅの要素は、事前に、ＡＣ技術が適用される度合いの昇順にソートされる。ＡＣ技術が適用される度合いが小さい要素は、高速化の効果が低く、かつ、演算精度の劣化が小さい要素であり、ＡＣ技術が適用される度合いが大きい要素は、高速化の効果が高く、かつ、演算精度の劣化が大きい要素である。集合Ｅには、ＡＣ技術が適用される度合いが最も小さい要素として、ＡＣ技術を適用しないことを示すパラメータ値ｅも含まれている。

次に、生成部３１２は、チェックポイント付きプログラムに対して、集合Ｐの各要素を適用するためのプラグマを挿入することで、調整用プログラムを生成する（ステップ４０３）。

図８は、図７のチェックポイント付きプログラムから生成された調整用プログラムの例を示している。この例では、次のような３つ組が集合Ｐに含まれる。
ｐ１＝（５，ｐａｒａｌｌｅｌ，｛１６，８｝）
ｐ２＝（１１，ｌｏｏｐ ｐｅｒｆｏｒａｔｉｏｎ，｛０，２，３｝）
ｐ３＝（２１，ｐｒｅｃｉｓｉｏｎ，｛６４，３２｝）

３つ組ｐ１の“５”は、調整用プログラム中の第５行の位置を表し、“ｐａｒａｌｌｅｌ”は、ＡＣ並列化を表し、｛１６，８｝は、パラメータ値“１６”及びパラメータ値“８”を要素とする集合Ｅを表す。ＡＣ並列化のパラメータ値ｅは、並列に実行される複数の処理の完了を待ち合せるバリア同期において、ｅ個の処理が完了した時点で、残りの未完了の処理を打ち切ることを示している。したがって、パラメータ値ｅが小さいほど、ＡＣ並列化が適用される度合いが大きくなる。パラメータ値“１６”は、ＡＣ並列化を適用しないことを示すパラメータ値である。

３つ組ｐ２の“１１”は、調整用プログラム中の第１１行の位置を表し、“ｌｏｏｐ ｐｅｒｆｏｒａｔｉｏｎ”は、ループパーフォレーションを表す。｛０，２，３｝は、パラメータ値“０”、パラメータ値“２”、及びパラメータ値“３”を要素とする集合Ｅを表す。ループパーフォレーションのパラメータ値ｅは、ループ処理において間引かれる繰り返し回数を示している。したがって、パラメータ値ｅが大きいほど、ループパーフォレーションが適用される度合いが大きくなる。パラメータ値“０”は、ループパーフォレーションを適用しないことを示すパラメータ値である。

３つ組ｐ３の“２１”は、調整用プログラム中の第２１行の位置を表し、“ｐｒｅｃｉｓｉｏｎ”は、ビット数削減を表し、｛６４，３２｝は、パラメータ値“６４”及びパラメータ値“３２”を要素とする集合Ｅを表す。ビット数削減のパラメータ値ｅは、ビット数削減後の変数のビット数を示している。したがって、パラメータ値ｅが小さいほど、ビット数削減が適用される度合いが大きくなる。パラメータ値“６４”は、ビット数削減を適用しないことを示すパラメータ値である。

図８のプラグマ８０１～プラグマ８０３は、それぞれ、３つ組ｐ１～３つ組ｐ３を適用することを表している。

次に、選択部３１４は、探索処理の制御に用いられる変数ＶＭ、変数ＰＭ、及び変数ＴＭの値を設定する（ステップ４０４）。ＶＭは、探索処理の処理時間の上限値を表し、ＰＭは、探索処理において同時に動作するプロセスの個数の上限値を表し、ＴＭは、１つのプロセスの実行時間の上限値を表す。変数ＶＭ、変数ＰＭ、及び変数ＴＭの値は、例えば、プログラム３２１を事前に実行することによって決定することができる。

次に、選択部３１４は、探索木３２４に対応する探索木Ｔを初期化する（ステップ４０５）。これにより、Ｔ＝｛｝となる。

次に、選択部３１４は、リクエストキューＧの実行を開始し（ステップ４０６）、タイマＶを０にリセットして起動することで、経過時間の計測を開始する（ステップ４０７）。

次に、実行部３１３は、入力ファイル３２２を用いて調整用プログラムの実行を開始し、プログラムイメージＱ及びヒストリＨを引数とする、手続きＲＵＮ（Ｑ，Ｈ）を実行する（ステップ４０８）。そして、選択部３１４は、リクエストキューＧの実行の終了を待ち合わせる。

Ｑは、プログラムイメージを示す識別情報であり、ヒストリＨは、探索処理において採用されたＡＣ技術及びパラメータ値の組み合わせを表す。この時点では、Ｈ＝｛⊥｝である。⊥は、探索木Ｔの根ノードを表す。

リクエストキューＧの実行が終了した時点で、許容精度情報３２３が示す許容範囲内の精度で、最も高速な演算を行うことが可能なＡＣ技術及びパラメータ値の組み合わせを含む、探索木Ｔが得られる。

そこで、選択部３１４は、探索木Ｔの葉ノードに記録された情報をチェックして、高速化の効果が最も高い葉ノードを選択する。そして、選択部３１４は、その葉ノードから根ノードまでノードを順に辿ることで、ＡＣ技術及びパラメータ値の最適な組み合わせを決定する（ステップ４０９）。

次に、選択部３１４は、決定されたＡＣ技術及びパラメータ値を調整用プログラムに適用することで、ＡＣ適用プログラム３２７を生成する（ステップ４１０）。そして、選択部３１４は、探索木Ｔの各ノードから、実行に成功したパラメータ値又は実行に失敗したパラメータ値の情報を抽出して、学習用データ３２５に記録することで、学習用データ３２５を更新する（ステップ４１１）。

図９Ａ及び９Ｂは、図４のステップ４０８における手続きＲＵＮ（Ｑ，Ｈ）の例を示すフローチャートである。まず、実行部３１３は、プログラムイメージＱを実行し（ステップ９０１）、実行位置がチェックポイントの位置に到達したか否かをチェックする（ステップ９０２）。

実行位置がチェックポイントの位置に到達した場合（ステップ９０２，ＹＥＳ）、選択部３１４は、そのチェックポイントの変数の値の精度を評価し（ステップ９０７）、精度が許容範囲内であるか否かを判定する（ステップ９０８）。変数の値が最小値以上かつ最大値以下である場合は、精度が許容範囲内であると判定され、変数の値が最小値よりも小さい場合及び最大値よりも大きい場合は、精度が許容範囲外であると判定される。

精度が許容範囲内である場合（ステップ９０８，ＹＥＳ）、情報処理装置３０１は、ステップ９０１以降の処理を繰り返す。一方、精度が許容範囲外である場合（ステップ９０８，ＮＯ）、選択部３１４は、プログラムイメージＱの実行が失敗したと判定して、その実行を抑止し、探索木Ｔを更新する（ステップ９０９）。そして、実行部３１３は、手続きＲＵＮ（Ｑ，Ｈ）の実行を終了する。探索木Ｔの更新方法については後述する。

実行位置がチェックポイントの位置に到達していない場合（ステップ９０２，ＮＯ）、実行部３１３は、実行位置が集合Ｐの新たな要素の位置に到達したか否かをチェックする（ステップ９０３）。新たな要素は、集合Ｐに含まれる３つ組ｐのうち、１度も処理されていない３つ組ｐを表す。

実行位置が集合Ｐの新たな要素の位置に到達した場合（ステップ９０３，ＹＥＳ）、生成部３１２は、その要素の３つ組ｐ＝（ｃ，ｄ，Ｅ）の集合Ｅから、試行対象のパラメータ値の部分集合Ｅ′⊆Ｅを生成する（ステップ９１０）。部分集合Ｅ′は、ＡＣ技術のパラメータに対する候補値の集合の一例である。部分集合Ｅ′の生成方法については後述する。

次に、選択部３１４は、部分集合Ｅ′が空集合であるか否かをチェックする（ステップ９１１）。部分集合Ｅ′が空集合である場合（ステップ９１１，ＹＥＳ）、実行部３１３は、手続きＲＵＮ（Ｑ，Ｈ）の実行を終了する。

一方、部分集合Ｅ′が空集合ではない場合（ステップ９１１，ＮＯ）、選択部３１４は、部分集合Ｅ′に含まれる各パラメータ値ｅについて、ヒストリＨｅを生成する（ステップ９１２）。ヒストリＨｅは、手続きＲＵＮ（Ｑ，Ｈ）のヒストリＨをコピーして、コピーしたヒストリＨの最後に３つ組（ｃ，ｄ，ｅ）を追加することで、生成される。

次に、選択部３１４は、各パラメータ値ｅについてリクエスト（Ｑ，Ｈｅ）を生成し、リクエストキューＧに入力する（ステップ９１３）。そして、選択部３１４は、リクエストキューＧに入力された各リクエストが少なくとも１つの葉ノードを持つまで待機し、次のパラメータ値を評価するために、ステップ９１０以降の処理を繰り返す。

実行位置が集合Ｐの新たな要素の位置に到達していない場合（ステップ９０３，ＮＯ）、実行部３１３は、実行位置が調整用プログラムの終了点に到達したか否かをチェックする（ステップ９０４）。

実行位置が終了点に到達した場合（ステップ９０４，ＹＥＳ）、選択部３１４は、プログラムイメージＱの実行が成功したと判定して、探索木Ｔを更新し（ステップ９０９）、実行部３１３は、手続きＲＵＮ（Ｑ，Ｈ）の実行を終了する。

一方、実行位置が終了点に到達していない場合（ステップ９０４，ＮＯ）、実行部３１３は、実行エラーが発生したか否かをチェックする（ステップ９０５）。実行エラーが発生した場合（ステップ９０５，ＹＥＳ）、選択部３１４は、プログラムイメージＱの実行が失敗したと判定して、ステップ９０９以降の処理を行う。

一方、実行エラーが発生していない場合（ステップ９０５，ＮＯ）、実行部３１３は、プログラムイメージＱの実行時間をＴＭと比較する（ステップ９０６）。実行時間がＴＭよりも長い場合（ステップ９０６，ＹＥＳ）、選択部３１４は、プログラムイメージＱの実行が失敗したと判定して、ステップ９０９以降の処理を行う。

一方、実行時間がＴＭ以下である場合（ステップ９０６，ＮＯ）、情報処理装置３０１は、ステップ９０１以降の処理を繰り返す。

プログラムイメージＱの実行が失敗した場合、ステップ９０９において、選択部３１４は、次のようなノード及び辺を探索木Ｔに追加する。
（Ｆ１）ヒストリＨに含まれる各３つ組（ｃ，ｄ，ｅ）を示すノード（ｐ，ｅ）
（Ｆ２）連続する２つのノード（ｐ，ｅ）を結ぶ辺
（Ｆ３）実行の失敗を示す葉ノードＥＲＲＯＲ
（Ｆ４）葉ノードＥＲＲＯＲの直前のノード（ｐ，ｅ）と、葉ノードＥＲＲＯＲとを結ぶ辺

一方、プログラムイメージＱの実行が成功した場合、ステップ９０９において、選択部３１４は、次のようなノード及び辺を探索木Ｔに追加する。
（Ｆ１１）ヒストリＨに含まれる各３つ組（ｃ，ｄ，ｅ）を示すノード（ｐ，ｅ）
（Ｆ１２）連続する２つのノード（ｐ，ｅ）を結ぶ辺
（Ｆ１３）高速化率ｕ及び精度ｒを含み、実行の成功を示す葉ノードＯＫ（ｕ，ｒ）
（Ｆ１４）葉ノードＯＫ（ｕ，ｒ）の直前のノード（ｐ，ｅ）と、葉ノードＯＫ（ｕ，ｒ）とを結ぶ辺

高速化率ｕは、プログラム３２１にＡＣ技術を適用することで、実行速度が高速化された度合いを表し、精度ｒは、処理結果の精度を表す。

ステップ９１０において、集合Ｅから最初の部分集合Ｅ′を生成する場合、生成部３１２は、所定の判定器を用いて、集合Ｅの各要素であるパラメータ値ｅを部分集合Ｅ′に含めるか否かを決定する。例えば、判定器としては、事前に機械学習により生成された学習モデルを用いることができる。

この場合、生成部３１２は、３つ組ｐ＝（ｃ，ｄ，Ｅ）の位置ｃ以降のソースコード部分をコンパイラにより解析して、ソースコード部分の特徴情報を抽出する。例えば、特徴情報としては、ループ内の文及び変数の個数、式の演算子の種類の個数、データ型の種類の個数、及びデータの依存関係のパターンのような、ソースコード部分の特徴を表す情報の集合が抽出される。

次に、生成部３１２は、抽出された特徴情報及びパラメータ値ｅを判定器に入力することで、パラメータ値ｅをプログラム３２１に適用するか否かを示す判定結果を得る。パラメータ値ｅを適用することを示す判定結果が得られた場合、生成部３１２は、そのパラメータ値ｅを部分集合Ｅ′に追加する。

一方、集合Ｅから２番目以降の部分集合Ｅ′を生成する場合、生成部３１２は、探索木Ｔを利用して、これまでに評価されていない未評価のパラメータ値ｅを、次のような手順で部分集合Ｅ′に追加する。

（Ｊ１）生成部３１２は、探索木Ｔにおいて、実行の成功を示す葉ノードに到達する少なくとも１本の辺を持ち、同じ３つ組ｐを有する、１つ以上のノード（ｐ，ｅ）を特定する。そして、生成部３１２は、特定されたノード（ｐ，ｅ）が有するパラメータ値ｅのうち、ＡＣ技術が適用される度合いが最も大きいパラメータ値ｅを、パラメータ値ｅｓに決定する。

（Ｊ２）生成部３１２は、探索木Ｔにおいて、実行の成功を示す葉ノードに到達する辺を持たず、同じ３つ組ｐを有する、１つ以上のノード（ｐ，ｅ）を特定する。次に、生成部３１２は、特定されたノード（ｐ，ｅ）が有するパラメータ値ｅの中から、パラメータ値ｅｓよりもＡＣ技術が適用される度合いが大きい１つ以上のパラメータ値ｅを選択する。そして、生成部３１２は、選択されたパラメータ値ｅのうち、ＡＣ技術が適用される度合いが最も小さいパラメータ値ｅを、パラメータ値ｅｆに決定する。この時点で、パラメータ値ｅｓ又はパラメータ値ｅｆのうち、少なくとも一方が決定される。

（Ｊ３）パラメータ値ｅｓが存在せず、パラメータ値ｅｆが存在する場合、生成部３１２は、パラメータ値ｅｆよりもＡＣ技術が適用される度合いが小さい、未評価のパラメータ値ｅを特定する。そして、生成部３１２は、特定されたパラメータ値ｅのうち、最小値、最大値、及び最小値と最大値から同じ距離だけ離れた中央のパラメータ値を、部分集合Ｅ′に追加する。

（Ｊ４）パラメータ値ｅｓが存在し、パラメータ値ｅｆが存在しない場合、生成部３１２は、パラメータ値ｅｓよりもＡＣ技術が適用される度合いが大きい、未評価のパラメータ値ｅを特定する。そして、生成部３１２は、特定されたパラメータ値ｅのうち、最小値、最大値、及び中央のパラメータ値を、部分集合Ｅ′に追加する。

（Ｊ５）パラメータ値ｅｓ及びパラメータ値ｅｆが存在する場合、生成部３１２は、パラメータ値ｅｓとパラメータ値ｅｆの間に存在する未評価のパラメータ値ｅを特定する。そして、生成部３１２は、特定されたパラメータ値ｅのうち、最小値、最大値、及び中央のパラメータ値を、部分集合Ｅ′に追加する。パラメータ値ｅｓとパラメータ値ｅｆの間に未評価のパラメータ値ｅが存在しない場合、生成部３１２は、部分集合Ｅ′として空集合を生成する。

手順（Ｊ３）～手順（Ｊ５）において、特定されたパラメータ値ｅの個数が３個未満である場合、生成部３１２は、特定されたすべてのパラメータ値ｅを、部分集合Ｅ′に追加する。また、特定されたパラメータ値ｅの個数が４個以上の偶数であり、中央のパラメータ値が存在しない場合、生成部３１２は、中央付近の２つのパラメータ値のうち、ＡＣ技術が適用される度合いが大きい方のパラメータ値を選択する。

例えば、Ｅ＝｛０，１，２，３，４，５，６｝であり、パラメータ値ｅが小さいほど、ＡＣ技術が適用される度合いが小さく、パラメータ値ｅが大きいほど、ＡＣ技術が適用される度合いが大きい場合を想定する。

パラメータ値ｅｓが存在せず、ｅｆ＝５である場合、手順（Ｊ３）によって、｛０，１，２，３，４｝が特定され、Ｅ′＝｛０，２，４｝となる。パラメータ値ｅｆが存在せず、ｅｓ＝１である場合、手順（Ｊ４）によって、｛２，３，４，５，６｝が特定され、Ｅ′＝｛２，４，６｝となる。

ｅｓ＝０であり、ｅｆ＝６である場合、手順（Ｊ５）によって、｛１，２，３，４，５｝が特定され、Ｅ′＝｛１，３，５｝となる。ｅｓ＝０であり、ｅｆ＝５である場合、手順（Ｊ５）によって、｛１，２，３，４｝が特定され、Ｅ′＝｛１，３，４｝となる。

図１０は、図４のステップ４０６において実行されるリクエストキューＧの処理の例を示すフローチャートである。まず、選択部３１４は、リクエストキューＧを受け付け可能状態に設定し（ステップ１００１）、図９Ｂのステップ９１３の処理により、新たなリクエスト（Ｑ，Ｈｅ）がリクエストキューＧに入力されたか否かをチェックする（ステップ１００２）。

リクエスト（Ｑ，Ｈｅ）が入力された場合（ステップ１００２，ＹＥＳ）、選択部３１４は、そのリクエスト（Ｑ，Ｈｅ）をリクエストキューＧに挿入し（ステップ１００８）、情報処理装置３０１は、ステップ１００２以降の処理を繰り返す。リクエスト（Ｑ，Ｈｅ）の挿入位置の決定方法については後述する。

リクエスト（Ｑ，Ｈｅ）が入力されていない場合（ステップ１００２，ＮＯ）、選択部３１４は、リクエストキューＧが空であるか否かをチェックする（ステップ１００３）。リクエストキューＧが空ではない場合（ステップ１００３，ＮＯ）、選択部３１４は、実行中のプログラムイメージの個数をＰＭと比較する（ステップ１００４）。

実行中のプログラムイメージの個数がＰＭよりも小さい場合（ステップ１００４，ＹＥＳ）、選択部３１４は、リクエストキューＧの先頭のリクエスト（Ｑ，Ｈｅ）をリクエストキューＧから削除する。そして、選択部３１４は、削除したリクエスト（Ｑ，Ｈｅ）のプログラムイメージＱをコピーして、プログラムイメージＱｅを生成し（ステップ１００９）、プログラムイメージＱｅ用にヒストリＨｅをコピーする（ステップ１０１０）。

次に、実行部３１３は、手続きＲＵＮ（Ｑｅ，Ｈｅ）を実行し（ステップ１０１１）、情報処理装置３０１は、ステップ１００２以降の処理を繰り返す。

実行中のプログラムイメージの個数がＰＭに達した場合（ステップ１００４，ＮＯ）、選択部３１４は、タイマＶが示す経過時間をＶＭと比較する（ステップ１００５）。経過時間がＶＭ以下である場合（ステップ１００５，ＮＯ）、情報処理装置３０１は、ステップ１００２以降の処理を繰り返す。リクエストキューＧが空である場合（ステップ１００３，ＹＥＳ）、情報処理装置３０１は、ステップ１００５以降の処理を行う。

経過時間がＶＭよりも長い場合（ステップ１００５，ＹＥＳ）、選択部３１４は、リクエストキューＧ内に存在するリクエストをすべて削除する（ステップ１００６）。そして、選択部３１４は、リクエストキューＧを受け付け不可状態に設定し（ステップ１００７）、すべてのプログラムイメージの実行の終了を待ち合わせる。すべてのプログラムイメージの実行が終了したとき、プロセスリクエストキューＧの実行が終了する。

図１０のリクエストキューＧの処理によれば、実行中のプログラムイメージの個数がＰＭを超えないように、新たな手続きＲＵＮ（Ｑｅ，Ｈｅ）の実行が抑制される。また、リクエストキューＧ内において、リクエスト（Ｑ，Ｈｅ）は、次のような優先順位でソートされ、先頭のリクエストから順に処理される。

（Ｌ１）探索木Ｔにおいて、ノードβ１よりもノードα１の方が、実行の失敗を示す葉ノードに到達する辺の数が少ない場合を想定する。この場合、ノードα１から派生するパラメータ値についてのリクエストが、ノードβ１から派生するパラメータ値についてのリクエストよりも、先頭に近い位置に挿入される。

ノードから派生するパラメータ値とは、そのノードに記録されたＡＣ技術及びパラメータ値が適用された後に、そのノードが示す位置よりも後の位置で適用されるＡＣ技術のパラメータ値を意味する。

（Ｌ２）探索木Ｔにおいて、ノードβ２の辺から到達する葉ノードよりも、ノードα２の辺から到達する葉ノードの方が、高い高速化率ｕを示している場合を想定する。この場合、ノードα２から派生するパラメータ値についてのリクエストが、ノードβ２から派生するパラメータ値についてのリクエストよりも、先頭に近い位置に挿入される。２つの葉ノードの高速化率ｕが同じである場合は、優先順位（Ｌ３）が適用される。

（Ｌ３）探索木Ｔにおいて、ノードβ３の辺から到達する葉ノードよりも、ノードα３の辺から到達する葉ノードの方が、高い精度ｒを示している場合を想定する。この場合、ノードα３から派生するパラメータ値についてのリクエストが、ノードβ３から派生するパラメータ値についてのリクエストよりも、先頭に近い位置に挿入される。

（Ｌ４）探索木Ｔにおいて、ノードβ４よりもノードα４の方が、根ノードからの深さが深い場合を想定する。この場合、ノードα４から派生するパラメータ値についてのリクエストが、ノードβ４から派生するパラメータ値についてのリクエストよりも、先頭に近い位置に挿入される。

ステップ１００８において、選択部３１４は、優先順位（Ｌ１）～優先順位（Ｌ４）に基づいて、リクエスト（Ｑ，Ｈｅ）を挿入する位置を決定する。

優先順位（Ｌ１）を適用することで、実行が失敗する可能性が低いパラメータ値ｅのリクエストが優先的に実行されるため、そのような可能性が低い探索木Ｔのパスを優先的に探索することが可能になる。

優先順位（Ｌ２）を適用することで、高速化の可能性が高いパラメータ値ｅのリクエストが優先的に実行されるため、そのような可能性が高い探索木Ｔのパスを優先的に探索することが可能になる。

優先順位（Ｌ３）を適用することで、高い精度の処理結果が得られる可能性が高いパラメータ値ｅのリクエストが優先的に実行されるため、そのような可能性が高い探索木Ｔのパスを優先的に探索することが可能になる。

優先順位（Ｌ４）を適用することで、終了点に近いＡＣ技術のパラメータ値ｅのリクエストが優先的に実行されるため、プログラムイメージＱの実行を早く終了させて葉ノードを生成することが可能になる。

次に、図８に示した調整用プログラムに対する探索処理の具体例を説明する。この例では、変数ＶＭ、変数ＰＭ、及び変数ＴＭが、次のような値に設定される。
ＶＭ＝４８（時間）
ＰＭ＝８（個）
ＴＭ＝１２００（秒）

図４のステップ４０８において、Ｑ＝Ｐ１０００及びＨ＝｛⊥｝として、手続きＲＵＮ（Ｐ１０００，Ｈ）が実行される。プログラムイメージＰ１０００の実行中に、実行位置がプラグマ８０１の位置に到達した場合、プラグマ８０１が示す３つ組ｐ１は、１度も処理されていないので、Ｅ＝｛１６，８｝から最初の部分集合Ｅ′が生成される。

この場合、プラグマ８０１の次の行に記述された、ループを表すソースコード部分から特徴情報が抽出され、抽出された特徴情報と、パラメータ値“１６”及びパラメータ値“８”の各々とが、判定器に入力される。そして、判定器は、各パラメータ値に基づくＡＣ並列化を、プログラムイメージＰ１０００に適用するか否かを判定する。パラメータ値“１６”及びパラメータ値“８”の両方を適用すると判定された場合、Ｅ′＝｛１６，８｝となる。

この場合、Ｈ１６＝｛⊥，（５，ｐａｒａｌｌｅｌ，１６）｝を含むリクエスト（Ｐ１０００，Ｈ１６）と、Ｈ８＝｛⊥，（５，ｐａｒａｌｌｅｌ，８）｝を含むリクエスト（Ｐ１０００，Ｈ８）とが、リクエストキューＧに入力される。そして、２つのリクエスト各々が１つの葉ノードを持つまで、手続きＲＵＮ（Ｐ１０００，Ｈ）は待ち状態となる。

リクエストキューＧは受け付け可能状態であるため、リクエスト（Ｐ１０００，Ｈ８）がリクエストキューＧに挿入される。また、実行中のプログラムイメージの個数は０個であるため、リクエスト（Ｐ１０００，Ｈ８）がリクエストキューＧから削除され、プログラムイメージＰ１０００をコピーすることで、プログラムイメージＰ１００１が生成される。そして、Ｐ１００１及びヒストリＨ８を引数として、手続きＲＵＮ（Ｐ１００１，Ｈ８）が実行される。

プログラムイメージＰ１００１の実行中に、実行位置がプラグマ７０１の位置に到達した場合、プラグマ７０１が示すチェックポイントｃ１が実行される。その結果、変数ｘの値の精度が許容範囲外であると判定された場合、Ｈ８＝｛⊥，（５，ｐａｒａｌｌｅｌ，８）｝に相当するパスとして、次のようなノード及び辺が探索木Ｔに追加される。
（Ｆ２１）根ノードＢＯＴ
（Ｆ２２）ノード（ｐ１，８）
（Ｆ２３）根ノードＢＯＴとノード（ｐ１，８）を結ぶ辺

さらに、実行の失敗を示す葉ノードＥＲＲＯＲと、ノード（ｐ１，８）と葉ノードＥＲＲＯＲを結ぶ辺とが、探索木Ｔに追加される。

リクエスト（Ｐ１０００，Ｈ１６）についても、リクエスト（Ｐ１０００，Ｈ８）と同様に処理され、プログラムイメージＰ１０００をコピーすることで、プログラムイメージＰ１００２が生成されて、手続きＲＵＮ（Ｐ１００２，Ｈ１６）が実行される。

プログラムイメージＰ１００２の実行中に、実行位置がプラグマ７０１の位置に到達した場合、プラグマ７０１が示すチェックポイントｃ１が実行される。その結果、変数ｘの値の精度が許容範囲内であると判定された場合、プログラムイメージＰ１００２が継続して実行され、プラグマ８０２及びプラグマ８０３の位置において、プログラムイメージがコピーされて、新たな手続きＲＵＮ（Ｑｅ，Ｈｅ）が実行される。そして、プラグマ７０２、プラグマ７０３、及びプラグマ７０４の位置において、チェックポイントｃ２、チェックポイントｃ３、及びチェックポイントｃ４がそれぞれ実行される。

こうして、実行位置が実行文５０７に対応する終了点に到達し、その時点におけるヒストリＨとして、｛⊥，（５，ｐａｒａｌｌｅｌ，１６），（１１，ｌｏｏｐ ｐｅｒｆｏｒａｔｉｏｎ，２），（２１，ｐｒｅｃｉｓｉｏｎ，６４）｝が得られる。このとき、このヒストリＨに相当するパスとして、以下のノード及び辺が探索木Ｔに追加される。
（Ｆ３１）ノード（ｐ１，１６）
（Ｆ３２）ノード（ｐ２，２）
（Ｆ３３）ノード（ｐ３，６４）
（Ｆ３４）根ノードＢＯＴとノード（ｐ１，１６）を結ぶ辺
（Ｆ３５）ノード（ｐ１，１６）とノード（ｐ２，２）を結ぶ辺
（Ｆ３６）ノード（ｐ２，２）とノード（ｐ３，６４）を結ぶ辺

さらに、実行の成功を示す葉ノードＯＫ（５．２，０．９８）と、ノード（ｐ３，６４）と葉ノードＯＫ（５．２，０．９８）を結ぶ辺とが、探索木Ｔに追加される。葉ノードＯＫ（５．２，０．９８）は、ｕ＝５．２であり、ｒ＝０．９８であることを示す。

待ち状態であった手続きＲＵＮ（Ｐ１０００，Ｈ）において、リクエストキューＧに入力されたすべてのリクエストが探索木Ｔ上で葉ノードを持つ状態になったときに、次のパラメータ値を評価するために、新たな部分集合Ｅ′が生成される。しかし、３つ組ｐ１の集合Ｅのすべてのパラメータ値が評価済みであり、未評価のパラメータ値が存在しないため、新たな部分集合Ｅ′は空集合になり、手続きＲＵＮ（Ｐ１０００，Ｈ）の実行が終了する。こうして、タイマＶの経過時間がＶＭを超えた後、実行中のすべてのプログラムイメージの実行が終了したとき、リクエストキューＧの実行が終了する。

図１１は、リクエストキューＧの実行が終了したときの探索木Ｔの例を示している。葉ノードＯＫ（５．２，０．９８）及び葉ノードＯＫ（１０．７，０．９０）は、実行の成功を示す葉ノードである。葉ノードＯＫ（５．２，０．９８）の高速化率ｕは５．２であり、精度ｒは０．９８である。一方、葉ノードＯＫ（１０．７，０．９０）の高速化率ｕは１０．７であり、精度ｒは０．９０である。

したがって、葉ノードＯＫ（１０．７，０．９０）が示す処理結果の方が、葉ノードＯＫ（５．２，０．９８）が示す処理結果よりも、高速化の効果が高い。一方、葉ノードＯＫ（５．２，０．９８）が示す処理結果の方が、葉ノードＯＫ（１０．７，０．９０）が示す処理結果よりも、演算精度の劣化が小さい。

この場合、選択部３１４は、高速化の効果が最も高い葉ノードＯＫ（１０．７，０．９０）を選択する。次に、選択部３１４は、その葉ノードから根ノードＢＯＴまでノードを順に辿ることで、３つ組ｐ１、ｐ２、及びｐ３が示すＡＣ技術のパラメータ値として、“１６”、“２”、及び“３２”をそれぞれ取得する。そして、選択部３１４は、３つ組ｐ１、ｐ２、及びｐ３が示すＡＣ技術と、取得されたパラメータ値との組み合わせを、ＡＣ技術及びパラメータ値の最適な組み合わせに決定する。

次に、選択部３１４は、ＡＣ技術及びパラメータ値の最適な組み合わせを調整用プログラムに適用することで、ＡＣ適用プログラム３２７を生成する。

図１２は、図８の調整用プログラムから生成されたＡＣ適用プログラム３２７の例を示している。図１２のＡＣ適用プログラム３２７では、図８のプラグマ８０１～プラグマ８０３が、プラグマ１２０１～プラグマ１２０３に置き換えられている。

プラグマ１２０１は、第５行のＡＣ並列化のパラメータ値が“１６”であることを示し、プラグマ１２０２は、第１１行のループパーフォレーションのパラメータ値が“２”であることを示す。プラグマ１２０３は、第２１行のビット数削減のパラメータ値が“３２”であることを示す。

そして、選択部３１４は、図１１の探索木Ｔの各ノードから、実行に成功したパラメータ値及び実行に失敗したパラメータ値の情報を抽出して、学習用データ３２５に記録する。学習用データ３２５は、プログラム３２１とは別のプログラムにＡＣ技術を適用する際に、判定器を生成する学習処理の入力データとして用いられる。探索木Ｔに含まれるパラメータ値及び実行の成否を学習することで、実行の成功率を向上させる判定器を生成することが可能になる。

図１３は、運用モードにおいて、図３の情報処理装置３０１が行うＡＣ適用処理の例を示すフローチャートである。まず、実行部３１３は、入力ファイル３２６を用いて、ＡＣ適用プログラム３２７のプログラムイメージを実行し（ステップ１３０１）、実行位置がＡＣ技術の適用点に到達したか否かをチェックする（ステップ１３０２）。ＡＣ技術の適用点は、ＡＣ技術を適用することを示すプラグマが記述された位置を表す。

実行位置がＡＣ技術の適用点に到達した場合（ステップ１３０２，ＹＥＳ）、実行部３１３は、実行中のプログラムイメージをコピーして、バックアッププロセスのプログラムイメージを生成する（ステップ１３０３）。そして、実行部３１３は、バックアッププロセスを休止状態にする。

次に、実行部３１３は、到達した適用点が新たなＡＣ技術の適用点であるか否かをチェックする（ステップ１３０４）。新たなＡＣ技術の適用点は、ＡＣ適用プログラム３２７の実行開始後に１度も適用されていないＡＣ技術の適用点を表す。

到達した適用点が新たなＡＣ技術の適用点である場合（ステップ１３０４，ＹＥＳ）、実行部３１３は、ＡＣ適用プログラム３２７に記述されたパラメータ値を用いて、その適用点におけるＡＣ技術をプログラムイメージに適用する。そして、実行部３１３は、プログラムイメージの実行を継続する。

選択部３１４は、次のＡＣ技術の適用点に到達する前に、１つ又は複数のチェックポイントの変数の値の精度を評価し（ステップ１３０６）、精度が許容範囲内であるか否かを判定する（ステップ１３０７）。精度が許容範囲内である場合（ステップ１３０７，ＹＥＳ）、情報処理装置３０１は、チェックポイントの位置以降の命令について、ステップ１３０１以降の処理を繰り返す。

一方、精度が許容範囲外である場合（ステップ１３０７，ＮＯ）、実行部３１３は、実行中のプログラムイメージの実行を中止し、バックアッププロセスを休止状態から実行可能状態に移行させる（ステップ１３０８）。

そして、選択部３１４は、探索木３２４に含まれるノードのうち、直前の適用点の３つ組ｐに対応するノードを参照して、より保守的なパラメータ値が存在するか否かをチェックする（ステップ１３０９）。より保守的なパラメータ値とは、直前の適用点において使用されたパラメータ値よりも、ＡＣ技術が適用される度合いが小さいパラメータ値を表す。

参照されたいずれかのノードに、より保守的なパラメータ値が存在する場合（ステップ１３０９，ＹＥＳ）、選択部３１４は、そのノードからパラメータ値を取得して、変数ｓに設定する（ステップ１３１０）。そして、情報処理装置３０１は、直前の適用点に戻って、ステップ１３０３以降の処理を繰り返す。

この場合、適用点は新たなＡＣ技術の適用点ではないと判定され（ステップ１３０４，ＮＯ）、実行部３１３は、変数ｓに設定されたパラメータ値を用いて、その適用点におけるＡＣ技術をプログラムイメージに適用する（ステップ１３１２）。ただし、変数ｓに設定されたパラメータ値がＡＣ技術を適用しないことを示している場合、実行部３１３は、その適用点におけるＡＣ技術をプログラムイメージに適用しない。そして、情報処理装置３０１は、ステップ１３０６以降の処理を行う。

実行位置がＡＣ技術の適用点に到達していない場合（ステップ１３０２，ＮＯ）、実行部３１３は、実行位置がＡＣ適用プログラム３２７の終了点に到達したか否かをチェックする（ステップ１３１１）。実行位置が終了点に到達していない場合（ステップ１３１１，ＮＯ）、情報処理装置３０１は、ステップ１３０１以降の処理を繰り返し、実行位置が終了点に到達した場合（ステップ１３１１，ＹＥＳ）、処理を終了する。

より保守的なパラメータ値が存在しない場合（ステップ１３０９，ＮＯ）、選択部３１４は、ＡＣ適用プログラム３２７の実行が失敗したと判定し（ステップ１３１３）、情報処理装置３０１は、処理を終了する。

例えば、入力ファイル３２６に含まれる処理対象データによっては、図１２のプラグマ７０４の位置において、チェックポイントｃ４の変数ｒｅｓｕｌｔの値の精度が許容範囲外になることがある。この場合、図１１の探索木Ｔに含まれるノードのうち、プラグマ１２０３が示す適用点の３つ組ｐ３に対応するノード（ｐ３，６４）が参照され、プラグマ１２０３に記述されたパラメータ値“３２”よりも保守的なパラメータ値“６４”が取得される。

ノード（ｐ３，６４）は、葉ノードＯＫ（５．２，０．９８）に到達する辺を持つため、パラメータ値“６４”を用いることで、実行が成功する可能性がある。パラメータ値“６４”はＡＣ技術を適用しないことを示しているため、プラグマ１２０３が示すビット数削減を適用することなく、プラグマ１２０３の位置からＡＣ適用プログラム３２７が再実行される。

このように、調整モードにおいて生成された探索木Ｔを利用して、より保守的なパラメータ値を選択することで、運用モードにおける処理対象データに対して許容範囲外の精度が得られた場合であっても、実行が失敗する確率を低減することができる。

図１の情報処理装置１０１及び図３の情報処理装置３０１の構成は一例に過ぎず、情報処理装置の用途又は条件に応じて一部の構成要素を省略又は変更してもよい。例えば、図３の情報処理装置３０１が運用モードの動作を行わない場合は、出力部３１５を省略することができる。

図２、図４、図９Ａ、図９Ｂ、図１０、及び図１３のフローチャートは一例に過ぎず、情報処理装置の構成又は条件に応じて一部の処理を省略又は変更してもよい。例えば、図３の情報処理装置３０１が運用モードの動作を行わない場合は、図１３のＡＣ適用処理を省略することができる。

図９Ｂのステップ９１０において、生成部３１２は、判定器を用いることなく、集合Ｅから最初の部分集合Ｅ′を生成することも可能である。例えば、生成部３１２は、集合Ｅに含まれるパラメータ値ｅのうち、最小値、最大値、及び中央のパラメータ値からなる部分集合Ｅ′を生成してもよい。

図５、図７、図８、及び図１２に示したプログラムは一例に過ぎず、プログラムは、情報処理装置３０１の用途又は条件に応じて変化する。図６に示した許容精度情報３２３と図１１に示した探索木Ｔは一例に過ぎず、許容精度情報３２３及び探索木Ｔは、プログラムに応じて変化する。

図１４は、図１の情報処理装置１０１及び図３の情報処理装置３０１のハードウェア構成例を示している。図１４の情報処理装置は、ＣＰＵ（Central Processing Unit）１４０１、メモリ１４０２、入力装置１４０３、出力装置１４０４、補助記憶装置１４０５、媒体駆動装置１４０６、及びネットワーク接続装置１４０７を含む。これらの構成要素はハードウェアであり、バス１４０８により互いに接続されている。

メモリ１４０２は、例えば、ＲＯＭ（Read Only Memory）、ＲＡＭ（Random Access Memory）、フラッシュメモリ等の半導体メモリであり、処理に用いられるプログラム及びデータを格納する。メモリ１４０２は、図１の記憶部１１１又は図３の記憶部３１１として用いることができる。

ＣＰＵ１４０１（プロセッサ）は、例えば、メモリ１４０２を利用してプログラムを実行することにより、図１の生成部１１２、実行部１１３、及び選択部１１４として動作する。ＣＰＵ１４０１は、メモリ１４０２を利用してプログラムを実行することにより、図３の生成部３１２、実行部３１３、及び選択部３１４としても動作する。

入力装置１４０３は、例えば、キーボード、ポインティングデバイス等であり、オペレータ又はユーザからの指示又は情報の入力に用いられる。出力装置１４０４は、例えば、表示装置、プリンタ、スピーカ等であり、オペレータ又はユーザへの問い合わせ又は指示、及び処理結果の出力に用いられる。処理結果は、ＡＣ適用プログラム３２７又は処理結果３２８であってもよい。出力装置１４０４は、図３の出力部３１５として用いることができる。

補助記憶装置１４０５は、例えば、磁気ディスク装置、光ディスク装置、光磁気ディスク装置、テープ装置等である。補助記憶装置１４０５は、ハードディスクドライブ又はフラッシュメモリであってもよい。情報処理装置は、補助記憶装置１４０５にプログラム及びデータを格納しておき、それらをメモリ１４０２にロードして使用することができる。補助記憶装置１４０５は、図１の記憶部１１１又は図３の記憶部３１１として用いることができる。

媒体駆動装置１４０６は、可搬型記録媒体１４０９を駆動し、その記録内容にアクセスする。可搬型記録媒体１４０９は、メモリデバイス、フレキシブルディスク、光ディスク、光磁気ディスク等である。可搬型記録媒体１４０９は、ＣＤ－ＲＯＭ（Compact Disk Read Only Memory）、ＤＶＤ（Digital Versatile Disk）、ＵＳＢ（Universal Serial Bus）メモリ等であってもよい。オペレータ又はユーザは、この可搬型記録媒体１４０９にプログラム及びデータを格納しておき、それらをメモリ１４０２にロードして使用することができる。

このように、画像処理に用いられるプログラム及びデータを格納するコンピュータ読み取り可能な記録媒体は、メモリ１４０２、補助記憶装置１４０５、又は可搬型記録媒体１４０９のような、物理的な（非一時的な）記録媒体である。

ネットワーク接続装置１４０７は、ＬＡＮ（Local Area Network）、ＷＡＮ（Wide Area Network）等の通信ネットワークに接続され、通信に伴うデータ変換を行う通信インタフェース回路である。情報処理装置は、プログラム及びデータを外部の装置からネットワーク接続装置１４０７を介して受信し、それらをメモリ１４０２にロードして使用することができる。ネットワーク接続装置１４０７は、図３の出力部３１５として用いることができる。

なお、情報処理装置が図１４のすべての構成要素を含む必要はなく、用途又は条件に応じて一部の構成要素を省略することも可能である。例えば、オペレータ又はユーザとのインタフェースが不要な場合は、入力装置１４０３及び出力装置１４０４を省略してもよい。可搬型記録媒体１４０９又は通信ネットワークを使用しない場合は、媒体駆動装置１４０６又はネットワーク接続装置１４０７を省略してもよい。

開示の実施形態とその利点について詳しく説明したが、当業者は、特許請求の範囲に明確に記載した本発明の範囲から逸脱することなく、様々な変更、追加、省略をすることができるであろう。

図１乃至図１４を参照しながら説明した実施形態に関し、さらに以下の付記を開示する。
（付記１）
プログラムを記憶する記憶部と、前記プログラムを実行するプロセッサとを有する情報処理装置であって、
前記プロセッサは、
前記プログラム中の第１位置において前記プログラムを簡略化して実行する、第１簡略化処理が適用される度合いを示すパラメータに対する候補値の第１集合と、前記第１位置よりも後の第２位置において前記プログラムを簡略化して実行する、第２簡略化処理が適用される度合いを示すパラメータに対する候補値の第２集合とを生成し、
前記第１位置において前記第１集合に含まれる複数の候補値それぞれに基づいて前記プログラムを簡略化して実行することで、複数の実行結果を生成し、
前記第１位置において生成された複数の実行結果に対する評価結果に基づいて、前記第１集合に含まれる複数の候補値のうち第１候補値を選択し、
前記第１位置において前記第１候補値に基づいて前記プログラムを簡略化して実行することで生成された実行結果を用いて、前記第２位置において前記第２集合に含まれる複数の候補値それぞれに基づいて前記プログラムを簡略化して実行することで、複数の実行結果を生成し、
前記第２位置において生成された複数の実行結果に対する評価結果に基づいて、前記第２集合に含まれる複数の候補値のうち第２候補値を選択する、
ことを特徴とする情報処理装置。
（付記２）
前記プロセッサは、前記第１集合に含まれる複数の候補値のうち、前記第１位置において生成された実行結果の精度が許容範囲内であることを示す評価結果を有する候補値を、前記第１候補値として選択することを特徴とする付記１記載の情報処理装置。
（付記３）
前記第１集合に含まれる複数の候補値のうち、前記第１候補値以外の第３候補値の評価結果が、前記第１位置において前記第３候補値に基づいて前記プログラムを簡略化して実行することで生成された実行結果の精度が許容範囲外であることを示す場合、前記プロセッサは、前記第１位置において前記第３候補値に基づいて前記プログラムを簡略化して実行することで生成された実行結果を用いて、前記第２位置において前記プログラムを簡略化して実行することを、抑止することを特徴とする付記２記載の情報処理装置。
（付記４）
前記記憶部は、前記プログラム中の複数の位置それぞれにおいて前記プログラムを簡略化して実行する、簡略化処理が適用される度合いを示すパラメータとして用いられた候補値を示すノードと、前記プログラムの高速化率を示す葉ノードとを含む探索木を、さらに記憶し、
前記プロセッサは、前記第１集合に含まれる複数の候補値のうち、前記探索木の第１葉ノードよりも高い高速化率を示す第２葉ノードに到達する辺を持つノードから派生する候補値を、前記第１葉ノードに到達する辺を持つノードから派生する候補値よりも優先的に用いることを特徴とする付記２又は３記載の情報処理装置。
（付記５）
前記探索木に含まれる葉ノードは、前記プログラムの処理結果の精度をさらに示し、
前記プロセッサは、前記第１集合に含まれる複数の候補値のうち、前記探索木の第３葉ノードよりも高い精度を示す第４葉ノードに到達する辺を持つノードから派生する候補値を、前記第３葉ノードに到達する辺を持つノードから派生する候補値よりも優先的に用いることを特徴とする付記４記載の情報処理装置。
（付記６）
前記プロセッサは、
前記第１集合に含まれる複数の候補値のうち、前記第１位置において生成された実行結果の精度が許容範囲内であることを示す評価結果を有する候補値の集合を、候補値の第３集合として前記記憶部に記憶させ、前記第１簡略化処理のパラメータに前記第１候補値を設定し、前記第２簡略化処理のパラメータに前記第２候補値を設定することで、簡略化された第１プログラムを生成し、
処理対象データを用いて前記第１プログラムを実行し、
前記第１位置において前記第１候補値に基づいて生成された実行結果の精度が許容範囲外である場合、前記第３集合に含まれる複数の候補値のうち、前記第１候補値以外の第４候補値を選択し、前記第１簡略化処理のパラメータに前記第４候補値を設定し、前記第２簡略化処理のパラメータに前記第２候補値を設定することで、簡略化された第２プログラムを生成し、
前記処理対象データを用いて前記第２プログラムを実行する、
ことを特徴とする付記２乃至５のいずれか１項に記載の情報処理装置。
（付記７）
前記第１簡略化処理及び前記第２簡略化処理の各々は、並列に実行される複数の処理の待ち合わせを途中で打ち切る処理、ループ処理の繰り返しの一部をスキップする処理、プログラムコードの一部をスキップする処理、又は変数のビット数を削減する処理であることを特徴とする付記１乃至６のいずれか１項に記載の情報処理装置。
（付記８）
対象プログラム中の第１位置において前記対象プログラムを簡略化して実行する、第１簡略化処理が適用される度合いを示すパラメータに対する候補値の第１集合と、前記第１位置よりも後の第２位置において前記対象プログラムを簡略化して実行する、第２簡略化処理が適用される度合いを示すパラメータに対する候補値の第２集合とを生成し、
前記第１位置において前記第１集合に含まれる複数の候補値それぞれに基づいて前記対象プログラムを簡略化して実行することで、複数の実行結果を生成し、
前記第１位置において生成された複数の実行結果に対する評価結果に基づいて、前記第１集合に含まれる複数の候補値のうち第１候補値を選択し、
前記第１位置において前記第１候補値に基づいて前記対象プログラムを簡略化して実行することで生成された実行結果を用いて、前記第２位置において前記第２集合に含まれる複数の候補値それぞれに基づいて前記対象プログラムを簡略化して実行することで、複数の実行結果を生成し、
前記第２位置において生成された複数の実行結果に対する評価結果に基づいて、前記第２集合に含まれる複数の候補値のうち第２候補値を選択する、
処理をコンピュータに実行させるための情報処理プログラム。
（付記９）
前記コンピュータは、前記第１集合に含まれる複数の候補値のうち、前記第１位置において生成された実行結果の精度が許容範囲内であることを示す評価結果を有する候補値を、前記第１候補値として選択することを特徴とする付記８記載の情報処理プログラム。
（付記１０）
前記情報処理プログラムは、
前記第１集合に含まれる複数の候補値のうち、前記第１候補値以外の第３候補値の評価結果が、前記第１位置において前記第３候補値に基づいて前記対象プログラムを簡略化して実行することで生成された実行結果の精度が許容範囲外であることを示す場合、前記第１位置において前記第３候補値に基づいて前記対象プログラムを簡略化して実行することで生成された実行結果を用いて、前記第２位置において前記対象プログラムを簡略化して実行することを、抑止する処理を、
前記コンピュータにさらに実行させることを特徴とする付記９記載の情報処理プログラム。
（付記１１）
前記情報処理プログラムは、
前記対象プログラム中の複数の位置それぞれにおいて前記対象プログラムを簡略化して実行する、簡略化処理が適用される度合いを示すパラメータとして用いられた候補値を示すノードと、前記プログラムの高速化率を示す葉ノードとを含む探索木を生成し、
前記第１集合に含まれる複数の候補値のうち、前記探索木の第１葉ノードよりも高い高速化率を示す第２葉ノードに到達する辺を持つノードから派生する候補値を、前記第１葉ノードに到達する辺を持つノードから派生する候補値よりも優先的に用いる処理を、
前記コンピュータにさらに実行させることを特徴とする付記９又は１０記載の情報処理プログラム。
（付記１２）
コンピュータによって実行される情報処理方法であって、
前記コンピュータが、
対象プログラム中の第１位置において前記対象プログラムを簡略化して実行する、第１簡略化処理が適用される度合いを示すパラメータに対する候補値の第１集合と、前記第１位置よりも後の第２位置において前記対象プログラムを簡略化して実行する、第２簡略化処理が適用される度合いを示すパラメータに対する候補値の第２集合とを生成し、
前記第１位置において前記第１集合に含まれる複数の候補値それぞれに基づいて前記対象プログラムを簡略化して実行することで、複数の実行結果を生成し、
前記第１位置において生成された複数の実行結果に対する評価結果に基づいて、前記第１集合に含まれる複数の候補値のうち第１候補値を選択し、
前記第１位置において前記第１候補値に基づいて前記対象プログラムを簡略化して実行することで生成された実行結果を用いて、前記第２位置において前記第２集合に含まれる複数の候補値それぞれに基づいて前記対象プログラムを簡略化して実行することで、複数の実行結果を生成し、
前記第２位置において生成された複数の実行結果に対する評価結果に基づいて、前記第２集合に含まれる複数の候補値のうち第２候補値を選択する、
ことを特徴とする情報処理方法。
（付記１３）
前記コンピュータは、前記第１集合に含まれる複数の候補値のうち、前記第１位置において生成された実行結果の精度が許容範囲内であることを示す評価結果を有する候補値を、前記第１候補値として選択することを特徴とする付記１２記載の情報処理方法。
（付記１４）
前記コンピュータは、前記第１集合に含まれる複数の候補値のうち、前記第１候補値以外の第３候補値の評価結果が、前記第１位置において前記第３候補値に基づいて前記対象プログラムを簡略化して実行することで生成された実行結果の精度が許容範囲外であることを示す場合、前記第１位置において前記第３候補値に基づいて前記対象プログラムを簡略化して実行することで生成された実行結果を用いて、前記第２位置において前記対象プログラムを簡略化して実行することを、抑止することを特徴とする付記１３記載の情報処理方法。
（付記１５）
前記コンピュータは、
前記対象プログラム中の複数の位置それぞれにおいて前記対象プログラムを簡略化して実行する、簡略化処理が適用される度合いを示すパラメータとして用いられた候補値を示すノードと、前記プログラムの高速化率を示す葉ノードとを含む探索木を生成し、
前記第１集合に含まれる複数の候補値のうち、前記探索木の第１葉ノードよりも高い高速化率を示す第２葉ノードに到達する辺を持つノードから派生する候補値を、前記第１葉ノードに到達する辺を持つノードから派生する候補値よりも優先的に用いることを特徴とする付記１２又は１３記載の情報処理方法。

１０１、３０１ 情報処理装置
１１１、３１１ 記憶部
１１２、３１２ 生成部
１１３、３１３ 実行部
１１４、３１４ 選択部
３１５ 出力部
１２１、３２１ プログラム
３２２、３２６ 入力ファイル
３２３ 許容精度情報
３２４ 探索木
３２５ 学習用データ
３２７ ＡＣ適用プログラム
３２８ 処理結果
５０１、５０２ 宣言文
５０３～５０７ 実行文
７０１～７０４、８０１～８０３、１２０１～１２０３ プラグマ
１４０１ ＣＰＵ
１４０２ メモリ
１４０３ 入力装置
１４０４ 出力装置
１４０５ 補助記憶装置
１４０６ 媒体駆動装置
１４０７ ネットワーク接続装置
１４０８ バス
１４０９ 可搬型記録媒体

Claims (8)

1. プログラムを記憶する記憶部と、前記プログラムを実行するプロセッサとを有する情報処理装置であって、
   前記プロセッサは、
   前記プログラム中の第１位置において前記プログラムを簡略化して実行する、第１簡略化処理が適用される度合いを示すパラメータに対する候補値の第１集合と、前記第１位置よりも後の第２位置において前記プログラムを簡略化して実行する、第２簡略化処理が適用される度合いを示すパラメータに対する候補値の第２集合とを生成し、
   前記第１位置において前記第１集合に含まれる複数の候補値それぞれに基づいて前記プログラムを簡略化して実行することで、複数の実行結果を生成し、
   前記第１位置において生成された複数の実行結果に対する評価結果に基づいて、前記第１集合に含まれる複数の候補値のうち第１候補値を選択し、
   前記第１位置において前記第１候補値に基づいて前記プログラムを簡略化して実行することで生成された実行結果を用いて、前記第２位置において前記第２集合に含まれる複数の候補値それぞれに基づいて前記プログラムを簡略化して実行することで、複数の実行結果を生成し、
   前記第２位置において生成された複数の実行結果に対する評価結果に基づいて、前記第２集合に含まれる複数の候補値のうち第２候補値を選択する、
   ことを特徴とする情報処理装置。
2. 前記プロセッサは、前記第１集合に含まれる複数の候補値のうち、前記第１位置において生成された実行結果の精度が許容範囲内であることを示す評価結果を有する候補値を、前記第１候補値として選択することを特徴とする請求項１記載の情報処理装置。
3. 前記第１集合に含まれる複数の候補値のうち、前記第１候補値以外の第３候補値の評価結果が、前記第１位置において前記第３候補値に基づいて前記プログラムを簡略化して実行することで生成された実行結果の精度が許容範囲外であることを示す場合、前記プロセッサは、前記第１位置において前記第３候補値に基づいて前記プログラムを簡略化して実行することで生成された実行結果を用いて、前記第２位置において前記プログラムを簡略化して実行することを、抑止することを特徴とする請求項２記載の情報処理装置。
4. 前記記憶部は、前記プログラム中の複数の位置それぞれにおいて前記プログラムを簡略化して実行する、簡略化処理が適用される度合いを示すパラメータとして用いられた候補値を示すノードと、前記プログラムの高速化率を示す葉ノードとを含む探索木を、さらに記憶し、
   前記プロセッサは、前記第１集合に含まれる複数の候補値のうち、前記探索木の第１葉ノードよりも高い高速化率を示す第２葉ノードに到達する辺を持つノードから派生する候補値を、前記第１葉ノードに到達する辺を持つノードから派生する候補値よりも優先的に用いることを特徴とする請求項２又は３記載の情報処理装置。
5. 前記探索木に含まれる葉ノードは、前記プログラムの処理結果の精度をさらに示し、
   前記プロセッサは、前記第１集合に含まれる複数の候補値のうち、前記探索木の第３葉ノードよりも高い精度を示す第４葉ノードに到達する辺を持つノードから派生する候補値を、前記第３葉ノードに到達する辺を持つノードから派生する候補値よりも優先的に用いることを特徴とする請求項４記載の情報処理装置。
6. 前記プロセッサは、
   前記第１集合に含まれる複数の候補値のうち、前記第１位置において生成された実行結果の精度が許容範囲内であることを示す評価結果を有する候補値の集合を、候補値の第３集合として前記記憶部に記憶させ、前記第１簡略化処理のパラメータに前記第１候補値を設定し、前記第２簡略化処理のパラメータに前記第２候補値を設定することで、簡略化された第１プログラムを生成し、
   処理対象データを用いて前記第１プログラムを実行し、
   前記第１位置において前記第１候補値に基づいて生成された実行結果の精度が許容範囲外である場合、前記第３集合に含まれる複数の候補値のうち、前記第１候補値以外の第４候補値を選択し、前記第１簡略化処理のパラメータに前記第４候補値を設定し、前記第２簡略化処理のパラメータに前記第２候補値を設定することで、簡略化された第２プログラムを生成し、
   前記処理対象データを用いて前記第２プログラムを実行する、
   ことを特徴とする請求項２乃至５のいずれか１項に記載の情報処理装置。
7. 対象プログラム中の第１位置において前記対象プログラムを簡略化して実行する、第１簡略化処理が適用される度合いを示すパラメータに対する候補値の第１集合と、前記第１位置よりも後の第２位置において前記対象プログラムを簡略化して実行する、第２簡略化処理が適用される度合いを示すパラメータに対する候補値の第２集合とを生成し、
   前記第１位置において前記第１集合に含まれる複数の候補値それぞれに基づいて前記対象プログラムを簡略化して実行することで、複数の実行結果を生成し、
   前記第１位置において生成された複数の実行結果に対する評価結果に基づいて、前記第１集合に含まれる複数の候補値のうち第１候補値を選択し、
   前記第１位置において前記第１候補値に基づいて前記対象プログラムを簡略化して実行することで生成された実行結果を用いて、前記第２位置において前記第２集合に含まれる複数の候補値それぞれに基づいて前記対象プログラムを簡略化して実行することで、複数の実行結果を生成し、
   前記第２位置において生成された複数の実行結果に対する評価結果に基づいて、前記第２集合に含まれる複数の候補値のうち第２候補値を選択する、
   処理をコンピュータに実行させるための情報処理プログラム。
8. コンピュータによって実行される情報処理方法であって、
   前記コンピュータが、
   プログラム中の第１位置において前記プログラムを簡略化して実行する、第１簡略化処理が適用される度合いを示すパラメータに対する候補値の第１集合と、前記第１位置よりも後の第２位置において前記プログラムを簡略化して実行する、第２簡略化処理が適用される度合いを示すパラメータに対する候補値の第２集合とを生成し、
   前記第１位置において前記第１集合に含まれる複数の候補値それぞれに基づいて前記プログラムを簡略化して実行することで、複数の実行結果を生成し、
   前記第１位置において生成された複数の実行結果に対する評価結果に基づいて、前記第１集合に含まれる複数の候補値のうち第１候補値を選択し、
   前記第１位置において前記第１候補値に基づいて前記プログラムを簡略化して実行することで生成された実行結果を用いて、前記第２位置において前記第２集合に含まれる複数の候補値それぞれに基づいて前記プログラムを簡略化して実行することで、複数の実行結果を生成し、
   前記第２位置において生成された複数の実行結果に対する評価結果に基づいて、前記第２集合に含まれる複数の候補値のうち第２候補値を選択する、
   ことを特徴とする情報処理方法。
   

Images