全域的な再帰的関数の定義可能性