smvで使うアルゴリズムは、celpの一種であるex-celp()を用いる。