超現実数とかいう本が実際無人島で解析学の基礎を一から構築するような話なんだっけ?