松坂氏は一橋の教授だった人だよね。一連の入門シリーズ「線型」「解析」「代数系」「集合･位相」は
一橋での講義が元になっているのだろうか？普通はそうでしょ？
だとしたら、理系なみの講義が行われていたんだなあと。すごいね。