離散変分幾何に対する微分代数的閉包フレームワーク:統一的構成アプローチ | Synapse