お姉さん問題で有名な、北大の湊教授のZDD を使えないの?

本も出てる