即将离开阿兔在线工具，请注意账号财产安全

http://csl.stanford.edu/~christos/pldi2010.fit/meijer.duality.pdf