原始再帰関数