vegeta 三角関数の定義