>>484
純粋な関数型ならば、逆関数を一々生成していけば、
完全なリバースだって可能だろうけれど。
そういうコードレベルではなくて? っというような意味だけど。