原始再帰的関数の等価性問題