>>773
再帰関数ではあるが、原始再帰関数ではない。