原始帰納的関数との関係.