検索結果- 英語 - 英語

検索内容:

Bruijn

de Bruijn index

名詞

日本語の意味

数学における概念で、ラムダ計算の項を表現する際に、変数名を排除することを目的とした記法。

このボタンはなに？

Google翻訳 / DeepL翻訳

束縛変数に関する形式的な証明を簡素化するために、彼女は形式化において変数名を排除するラムダ計算の項表記法で名前付き変数を置き換えた。

詳細

関連語

de Bruijn indexes

（ plural ）

詳細

de Bruijn indexes

名詞

活用形複数形

plural of de Bruijn index

日本語の意味

「de Bruijn index」の複数形

このボタンはなに？

To implement the lambda calculus evaluator, she carefully tracked de Bruijn indexes for each bound variable.

Google翻訳 / DeepL翻訳

ラムダ計算の評価器を実装するために、彼女は各束縛変数についてDe Bruijnインデックスを注意深く追跡した。

詳細

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.

日本語の意味

数学における定理で、同一の大きさの長方形状のブリック（レンガ）を、大きな直方体の箱（直方体ボックス）に隙間なく詰める問題に関連する。具体的には、各辺の長さが次に小さい辺の長さの整数倍である「調和的ブリック」は、そのレンガの寸法の整数倍を持つ箱にのみ詰め込むことができる、という内容を主張する定理です。

このボタンはなに？

In the lecture, the mathematician demonstrated de Bruijn's theorem by packing harmonic bricks into a larger rectangular box to show that such a packing is possible only when the box's dimensions are integer multiples of the bricks'.

Google翻訳 / DeepL翻訳

講義でその数学者は、合同な長方形の煉瓦を大きな長方形の箱に隙間なく詰めることに関する定理を示し、各辺の長さが次に小さい辺の長さの整数倍になっている「調和ブリック」は箱の寸法がそのブリックの寸法の整数倍である場合にのみそのようにぴったり詰められることを説明した。

詳細

de Bruijn graphs

名詞

活用形複数形

plural of de Bruijn graph

日本語の意味

「de Bruijn graph」の複数形

このボタンはなに？

Many genome assembly algorithms rely on de Bruijn graphs to reconstruct DNA sequences from short reads.

Google翻訳 / DeepL翻訳

多くのゲノムアセンブリアルゴリズムは、短いリードからDNA配列を再構築するためにデ・ブリュイン・グラフを利用している。

詳細

de Bruijn torus

名詞

日本語の意味

de Bruijn torus（デ・ブリューン・トーラス）とは、組み合わせ論において、通常は0と1だけからなるアルファベットの記号によって構成された配列で、特定の m 行 n 列の行列がすべて一回ずつ現れるようなトーラス状（面が円環状に連結している）な配置を指す。

このボタンはなに？

Researchers used a de Bruijn torus to encode every possible 3-by-3 binary matrix in a compact grid.

Google翻訳 / DeepL翻訳

研究者たちは、すべての3×3二値行列をちょうど一度ずつ含む二値記号の配列を用いて、すべての3×3二値パターンをコンパクトな格子に表現した。

詳細

関連語

de Bruijn toruses

（ plural ）

de Bruijn tori

（ plural ）

詳細

de Bruijn tori

名詞

活用形複数形

plural of de Bruijn torus

日本語の意味

「de Bruijn torus」の複数形。

このボタンはなに？

The research team constructed several de Bruijn tori to test fault-tolerant pattern detection.

Google翻訳 / DeepL翻訳

研究チームは耐障害性のあるパターン検出を試験するために、複数のde Bruijnトーラスを構築した。

詳細

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文字の組み合わせ）が、サイクル状の配列中に一度だけ現れるように構成された環状列を指す。

このボタンはなに？

The researcher used a de Bruijn sequence to test every possible length-n pattern without repetition.

Google翻訳 / DeepL翻訳

研究者は、与えられたアルファベット上の長さnのすべての文字列がちょうど一度ずつ現れる巡回列を用いて、長さnのすべてのパターンを重複なく検査した。

詳細

関連語

de Bruijn sequences

（ plural ）

詳細

de Bruijn graph

名詞

(graph theory) A kind of directed graph representing overlaps between sequences of symbols.

日本語の意味

記号列（シンボルの列）の重なり（オーバーラップ）を表すための、グラフ理論における特定の種類の有向グラフ。

このボタンはなに？

A de Bruijn graph is often used in genome assembly because it compactly represents overlaps between short sequencing reads.

Google翻訳 / DeepL翻訳

記号列の重なりを表す有向グラフは、短いシーケンシングリード間の重複をコンパクトに表現できるため、ゲノムアセンブリでよく使われます。

詳細

関連語

de Bruijn graphs

（ plural ）

詳細

de Bruijn sequences

名詞

活用形複数形

plural of de Bruijn sequence

日本語の意味

「de Bruijn sequence」の複数形、つまりde Bruijn数列の複数を指す（活用形の情報であり、単一の概念の定義ではない）

このボタンはなに？

In our combinatorics seminar, we studied de Bruijn sequences and their applications in coding theory and pseudo-random number generation.

Google翻訳 / DeepL翻訳

組合せ論のセミナーで、我々はある長さのすべての部分列をちょうど一度ずつ含む巡回列と、それらの符号理論や疑似乱数生成への応用を学びました。

詳細

de Bruijn notation

名詞

不可算名詞

(mathematics) A certain syntax for terms in the lambda calculus.

日本語の意味

ラムダ計算における項を記述するための特定の記法

このボタンはなに？

When teaching lambda calculus, she often used de Bruijn notation to avoid issues with variable names.

Google翻訳 / DeepL翻訳

ラムダ計算を教えるとき、彼女は変数名の問題を避けるためにラムダ項のためのインデックス表記法をよく用いた。

詳細

Webで検索する