数学ホモセシー:プロパティ、タイプ、例 - 数学 - 2025