お茶の水関係者で、竹内という女性数学者はだれ?