このようにある状態で実現可能な最良の目的関数の値を示す関数を価値関数(valuefunction)と呼ぶ.
このように