一方向性
一方向性関数