数学におけるロストテクノロジーというのはどうなっているんだろうか。