>>207
え、RのC-値既約指標e^(2πix)に対応するHaar積分変換はユニタリでしょ?