数学史の研究室ってどこにあるの?