半正矢関数の公式