>>467
やっぱ微小量がいいなあ
nonstandard解析で