標準正規分布に従う確率変数のコサインの期待値