構成主義にすれば数学がスリムになるって、いったいどういう
理解の仕方をしてるんだか。