全局属性的局部推理 · HackerLangs