ADで解析学は作れるか?