許容型写像のための不動点理論とその応用 | Synapse