Discrete optimized protein energy 離散コサイン変換 離散フーリエ変換 ORDVAC