多項式 計算 サイト. 正規 直交 基底. 行列 ランク. 有 界.