20数年前かな、なんか日本で流行ってた気がするんだけど、今の数学における立場はどうなのかな。 っていうメモ。