LSMツリーにおけるコンパクションポリシーの再考 | Synapse