>>62
田中さんの文章中に入ってるから
ググればかかると思うよ
少なくとも超準解析とか代数幾何とか計算機の説明があるんで
本文の方は結構良いと思う。