原始再帰的関数