计数一阶相关免疫布尔函数的可计算公式 - 张建州 (Tongxin xuebao)