略谈生活的公式化