貪欲法の最適性を示すために、貪欲法の動作の特徴を戦略の形式表現に反映する