2017-05-13 うわー これは一般化は厳しそう。 N=1で論文になってるものをいきなり一般のNにするのはそりゃ難しいか。 一応定義は一般のNで書いてみたものの、2とか3とかでちょっと様子を見て ヤバめだったら、ギリギリN=2でも行けました、みたいなものを目指せないかなぁ。