全域決定性関数に対するRecコンビネータのプロファイルは： g∈Total(X, Y) h∈Total(N×Y×X, Y) --------------------------------------- RecX,Y f∈Total(N×X, Y) ここで： gは、初期値関数 g:X→Y hは、再帰ステップを推進させる関数 h:N×Y×X→Y fは、定義され…