閉じた局所モジュラー制約を持つ色数 | Synapse