Hadamard matrix
定義より、"n"次のアダマール行列Hは以下の性質を満たす。