matrix models with infinite dimension, soluble quantization procedure