>>872
論文の数式見てアルゴリズム実装できりゃ
実用上十分なわけで

つうかHaskell駄本の証明は簡単だろ
解らないなら使うな以上