スケーリング相補誤差関数() "erfcx"も定義される