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