量化的程序