抄録
近年，生物の進化過程を模倣した進化アルゴリズム（Evolutionary Algorithm：EA）が盛んに研究されている．しかしこれまで，EAに対する理論的な検証は行われておらず，シミュレーション等を行うことでしかその効果を表現することができなかった．そこで本研究では，EAの理論的な検証を目的とし，その探索性能を，それらのパラメータを用いて理論的に定量化することを試みる．すなわち，EAの探索性能を表す関数を，パラメータを変数として導出し，定式化を行う．本稿では，探索性能を表す指標として，進化的計算手法の1試行において実質的に探索した解の個数（探索可能解個数：NSS），及び解が改善された回数（解改善回数：TIS）を定義し，その導出を行う．単調増加関数に対する山登り法の適用を例に，本手法を用いて，パラメータの違いによる探索性能の優劣関係が適切に表現できることを示す．
