バックワードインダクションによる解