東大数学科の図書館に高木先生の銅像があった。
何か雰囲気がもう学者だった。