ゲームとパズルの計算量 [ ロバート・A.ハーン ]