本文へスキップ
ログインすると広告が減り、学習に集中できます。
広告

検索結果- 英語 - 多言語

検索内容:

Bates numberings

名詞
活用形 複数形

plural of Bates numbering

原形: Bates numbering
日本語の意味
「Bates numbering」(Batesナンバリング)の複数形です。つまり、文書などに個別の番号を付与する方法に用いられる「Bates numbering」の複数形を指します。
英語の意味
plural of Bates numbering
このボタンはなに?

法務書記はベイツ番号の連番に不一致を見つけ、書類を精査のために報告しました。

Bates numbering

名詞
可算名詞 不可算名詞

A sequence of Bates numbers in a particular set of documents. / The action of creating or assigning such a sequence for identification.

日本語の意味
特定の文書群における一連のベイツ番号 / 文書の識別のためにその番号の列を作成または割り当てる行為
英語の意味
A sequence of Bates numbers in a particular set of documents. / The action of creating or assigning such a sequence for identification.
このボタンはなに?

法務チームは、一貫した記録を維持するために、各ページのベイツ番号の連番を確認した。

関連語

plural

Bates numbering

動詞
活用形 分詞 現在形

present participle of Bates number

原形: Bates number
日本語の意味
「Bates numbering」は「Bates number」の現在分詞形であり、動詞の進行形(英語のpresent participle)です。
英語の意味
present participle of Bates number
このボタンはなに?

法務チームは今後のレビューに備えて文書にベーツ番号を付与しています。

Gödel numberings

名詞
活用形 複数形

plural of Gödel numbering

原形: Gödel numbering
日本語の意味
(複数形)「ゲーデル番号」:数学的論理学などで、計算可能性や形式化の検証のために、文やプログラムの各要素を一意の数に対応付ける方法。
英語の意味
plural of Gödel numbering
このボタンはなに?

異なる形式体系に割り当てられたゲーデル数化は、それらの表現力の微妙な違いを明らかにすることがある。

Gödel numbering

名詞

(logic) A function assigning a Gödel number to each well-formed formula of some formal language.

日本語の意味
形式言語の各正則な式(well-formed formula)に一意のゴーデル番号を割り当てるための関数。
英語の意味
(logic) A function assigning a Gödel number to each well-formed formula of some formal language.
このボタンはなに?

教科書では、形式言語の各文法的に正しい式に一意の自然数を割り当てる関数(ゲーデル数付け)が導入されている。

関連語

plural

triangular number

名詞

(mathematics) Any integer that is the sum of n natural numbers from 1 to n.

日本語の意味
1からnまでの自然数の総和として表現される整数、すなわち数学で定義される三角数のこと
英語の意味
(mathematics) Any integer that is the sum of n natural numbers from 1 to n.
このボタンはなに?

5番目の三角数を求めるには、1から5までの整数を足して15を得ます。

関連語

plural

figurate numbers

名詞
活用形 複数形

plural of figurate number

原形: figurate number
日本語の意味
図形数。すなわち、図形や形状によって表現される数のこと(「figurate number」の複数形として用いられる)。
英語の意味
plural of figurate number
このボタンはなに?

数学者たちは、単純な数え方から生じる幾何学的なパターンを理解するために、長年図形数を研究してきた。

regnal number

名詞

An ordinal number that distinguishes a monarch from others of the same name.

日本語の意味
同じ名前の複数の君主を区別するために用いられる序数番号 / 例として、エリザベス2世などのように、どの君主かを示すための王位番号
英語の意味
An ordinal number that distinguishes a monarch from others of the same name.
このボタンはなに?

女王エリザベス2世に付けられた在位の序数は、歴史家が彼女の治世を以前のエリザベスたちのものと区別するのに役立つ。

関連語

plural

Gödel number

名詞

(logic) A number uniquely assigned to each symbol, and to each well-formed formula of some formal language.

日本語の意味
論理学において、各記号や整形式(well-formed formula)に一意に割り当てられる数。
英語の意味
(logic) A number uniquely assigned to each symbol, and to each well-formed formula of some formal language.
このボタンはなに?

論理学者は、その整形式のゲーデル数(形式言語の各記号や各整形式に一意に割り当てられる数)を計算して、構文表現が算術的に符号化できることを示した。

関連語

plural

Proth number

名詞

(number theory) Any number of the form k·2ⁿ + 1, where k is odd, n is a positive integer, and 2ⁿ > k.

日本語の意味
数論におけるプロト数とは、奇数 k と正の整数 n を用い、2ⁿ > k の条件を満たすときに k·2ⁿ + 1 の形で表される数のことです。
英語の意味
(number theory) Any number of the form k·2ⁿ + 1, where k is odd, n is a positive integer, and 2ⁿ > k.
このボタンはなに?

コンピュータは、その大きな k·2^n + 1 の形をした数(kは奇数、nは正の整数、2^n > k)が素数かどうかを特殊なアルゴリズムで検査した。

関連語

plural

loading!

Loading...

全て読み込みました。

Error

Webで検索する

ログイン / 新規登録

 

アプリをダウンロード!
DiQt

DiQt(ディクト)

無料

★★★★★★★★★★