単一化に基づく形式化