あと厳密解法で求めてるの?