単行本(実用) 数学 プログラマのための論理パズル 難題を突破する論理思考トレーニング