原始再帰関数
primitive recursive function
再帰定義
（
recursive definition
）
PR
μ再帰関数
https://ja.wikipedia.org/wiki/原始再帰関数