固有値計算できる、シグマ加法族定義が分かっている。
多変数の微積ができるとか個々で分かっても
全体としては意味不明とかあるよな。