頂点分割可能単項理想のCohen–Macaulay性 | Synapse