原始再帰的関数の到達可能性問題