三上义夫 三上义夫日语三上 義夫年年日本数学史家