グロタンディークからの抽象論よりの話は最近はちょっとやり過ぎだったよねって感じに評価されとるね