「recursion theorem」を含む例文一覧(1)

  • The primitive recursion theorem can be used to justify any definition of a function on the natural numbers by primitive recursion.
    原始帰納定理は自然数についての関数の原始帰納によるどのような定義をも正当化するのに使われ得る。 - コンピューター用語辞典

例文データの著作権について

  • コンピューター用語辞典
    Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.