generated at
原始再帰関数
primitive recursive function

再帰定義 （recursive definition）
PR
μ再帰関数

https://ja.wikipedia.org/wiki/原始再帰関数