限制式滿足及機率最佳化的中文斷詞方法 (Chinese Word Segmentation based on Constraint satisfaction and Statistical Optimization) [In Chinese]