結果 : domain of hyperbolic secant function