代数学における距離構造.