「ホモロジカルミラー対称性予想」の版間の差分