第48章 公式化与反公式化