‪Recursive NN は要はfoldだと思うけど、そしたらunfoldに対応するNNは Corecursive NN と呼べるだろうか。‬