>>682は超準解析はおけ?