exp( K * j * theta ) とか(j=complex(0,1)ね)使わないか…