検索結果- 英語 - 多言語
検索内容:
de Bruijn index
(mathematics) A notation for representing terms in the lambda calculus with the purpose of eliminating the names of the variables from the notation.
数学における概念で、ラムダ計算の項を表現する際に、変数名を排除することを目的とした記法。
de Bruijn indexes
plural of de Bruijn index
「de Bruijn index」の複数形
de Bruijn sequences
de Bruijn notation
de Bruijn tori
plural of de Bruijn torus
「de Bruijn torus」の複数形。
de Bruijn graphs
plural of de Bruijn graph
「de Bruijn graph」の複数形
de Bruijn graph
(graph theory) A kind of directed graph representing overlaps between sequences of symbols.
記号列（シンボルの列）の重なり（オーバーラップ）を表すための、グラフ理論における特定の種類の有向グラフ。
de Bruijn torus
(combinatorics) An array of symbols from an alphabet (often just 0 and 1) that contains every m-by-n matrix exactly once.
de Bruijn torus（デ・ブリューン・トーラス）とは、組み合わせ論において、通常は0と1だけからなるアルファベットの記号によって構成された配列で、特定の m 行 n 列の行列がすべて一回ずつ現れるようなトーラス状（面が円環状に連結している）な配置を指す。
de Bruijn's theorem
(mathematics) A theorem about packing congruent rectangular bricks into larger rectangular boxes so that no space is left over. It states that a "harmonic brick" (one in which each side length is a multiple of the next smaller side length) can only be packed into a box whose dimensions are multiples of the brick's dimensions.
数学における定理で、同一の大きさの長方形状のブリック（レンガ）を、大きな直方体の箱（直方体ボックス）に隙間なく詰める問題に関連する。具体的には、各辺の長さが次に小さい辺の長さの整数倍である「調和的ブリック」は、そのレンガの寸法の整数倍を持つ箱にのみ詰め込むことができる、という内容を主張する定理です。
de Bruijn sequence
(mathematics) A cyclic sequence (of order n on a size-k alphabet A) in which every possible length-n string on A occurs exactly once as a substring (i.e. a contiguous subsequence). Such a sequence is denoted by B(k, n).
数学における概念で、ある有限な文字集合（アルファベット）から、指定された長さnのすべての部分文字列（連続するn文字の組み合わせ）が、サイクル状の配列中に一度だけ現れるように構成された環状列を指す。
