Quantization, Birkhoff normal form, Quantum normal form, quantum KAM iteration, homological equation