現代数学の表現形式で書かれた本格的教科書