応用を伴うモジュラー距離空間における凸収縮型写像 | Synapse