代数構造の変形理論とその周辺