数学史なんてどうでもよくね