(1/√2) * {{1, i}, {i, 1}}はユニタリ行列であるが、複素直交行列ではない。