ωn = 1の原始n乗根 n乗して初めて1になる数。 n=2:-1 n=3:(-1±√(3)i)/2 n=4:±i n=5:5個 離散フーリエ変換(Discrete Fourier Transform) 入力x=(x0,x1,x2,…,xn-1) 出力y=Ax Aはn次正方行列。 単純な計算を行うとO(n^2)となる。 たたみこみ(convolution) 例：…

6.4 その他のシークェント計算 カット規則 等号に関する公理シークェント 等式論理という分野がある。 その他の規則 弱化規則 縮約規則 シークェント計算の健全性 （書けなかった） シークェント計算の完全性 =Γ⇒Δならば├Γ⇒Δ 対偶を証明する。 （全部やる…の…