ごめん、>>403じゃなくて>>408のレスアンカーの間違いだ。
たしか、数理研でも数学史の講義やってたと思う。