竹内端三 竹内 端三たけのうち たんぞう年月年月日日本数学家東京出身理学博士東京帝国大学教授