優秀な数学者で超準解析に深入りする人ってあまりいないよね。