Derived Algebraic Geometry (Haramura 2019)