「primitive recursion」を含む例文一覧(3)
- The primitive recursion theorem can be used to justify any definition of a function on the natural numbers by primitive recursion.
原始帰納定理は自然数についての関数の原始帰納によるどのような定義をも正当化するのに使われ得る。 - コンピューター用語辞典 - A natural series of classes is also obtained down to the first level when primitive recursion is replaced by recursion on notation.
原始帰納法が表現上帰納法で置き換えられると, クラスの自然級数もまた第1レベルに至るまで求められる. - コンピューター用語辞典 - Internally, it uses the concepts of ``owning thread'' and ``recursion level'' inaddition to the locked/unlocked state used by primitive locks.
再入可能ロックの内部では、プリミティブロックの使うロック／アンロック状態に加え、 ``所有スレッド (owning thread)''と ``再帰レベル (recursion level)'' という概念を用いています。 ロック状態では何らかのスレッドがロックを所有しており、アンロック状態ではいかなるスレッドもロックを所有していません。 - Python
- Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
- 大規模オープンソース日英対訳コーパス
- この対訳コーパスは独立行政法人情報通信研究機構の研究成果であり、Creative Commons Attribution-Share Alike 3.0 Unportedでライセンスされています。
- Python
- Copyright 2001-2004 Python Software Foundation.All rights reserved.
Copyright 2000 BeOpen.com.All rights reserved.
Copyright 1995-2000 Corporation for National Research Initiatives.All rights reserved.
Copyright 1991-1995 Stichting Mathematisch Centrum.All rights reserved.
