反ループ化
delooping
ループ化
の逆操作
reference.icon
delooping in nLab