反ループ化 - 雑多な感じ

反ループ化

delooping

ループ化の逆操作

Ref.icon delooping in nLab