MDPによる強化学習：環境モデル、動的計画法、状態遷移確率、利得、ポリシー、価値関数