2008-06-15 Pairing 実装できた!! ビットカウントが違ってた。 それに依存して計算してた割り算が違った。 昨日までに乗法のアルゴリズムまでを変えて、 超楕円Pairingだけあってたけど、これでModifiedTateも動いた。 EtaTを再検証してTateを直して有限体演算を高速化すれば論文書ける。 がんばりましょう!!