第7回数学史シンポジウム