Quantum generalized Langevin equation approach to gas/solid collisions