【数学】世界に1つだけの三角形の組 -抽象現代数学を駆使して素朴な定理の証明に成功 慶応大学