数値半群代数上の無限自由解決の特化を通じて | Synapse