解くための必要条件、式の数=未知数の数、も満たしている。これを記号的に解く気にはなれない。コンピュータに頼るしかない。記号が入っていない、変数以外は実際の数値ならば、EXCElで簡単に解くことができるが、ここでは係数などが記号のままとかなければならないのである。数式を記号のまま処理して、連立方程式を解けるシステム、まず、頭に浮かんだのはMathematicaで、かつてライセンスを取っていた。ほとんど使わなかったが、今更、アップグレードやら何やらの手続きも面倒だ。トライアル期間を利用して解くという手もあるかと思ったが、そもそも使い方がよくわからない。そこで、Maximaというのが無料で、よく使われているということを知って、これをMacにインストールした(サイト)。式が少し間違っていると、答えを出さなかったり、とんでもなく長い答えを出してくるので、正確に式を入れなければならない。s12]]上半分に、solveというコマンドで解くための式を定式化している。答えが書き出されている。簡略化が、不完全なので、ぱっと見よくわからないが、整理すると次のようになる。2次元の場合の自然な拡張になっていることも直ちに読み取ることができる。(pp.256-268)がある(サイト)。そこに、私のものと同じように、2次の場合と3次の場合の式が書かれている。3次の場合の式の並びと、ここでの式の並びは対応していない。それを適切に対応させれば、両者が一致していることを確認できるだろう。必要になることは、この論文に教えてもらった。ここまでくると、一般的な多数のベルヌーイ変数がある場合の同時確率が予想できる。その一般形を書いた式は、私は見つけていない。いや、書き方が大変なことは予測できる。上記のTeugels氏は、クロネッカー積というものを使わざるを得なかったのだろうと思う。共分散を考慮したベルヌーイ分布を使って、一般的な(Naiveではない)ベイズ分類器を作る場合、必ずしも一般式は必要ではないというか、一般的な式のまま計算はできないと思う。どのように使うかは、次以降の記事で書きたい。