正直、数値解より解析解のほうに興味がある