三回微分によって定義される二つの関数の減少性および完全単調性とトリガンマ関数の関与 | Synapse