ブログの新しい投稿です! BDDT論文のアルゴリズム6のRust実装を、SVOとEq-Polyの最適化を単一の動作するプロバにまとめたものを解説します。