超積と超準解析が絶版になったから最近の人はどうやって知るんだろ