昔は K 理論とかやっていたが、今はカルタンの古い幾何を
やってるよ＞肇