検索結果- 英語 - 英語

検索内容:

Backus normal form

名詞
廃用
日本語の意味
バックウス・ナウア形式―プログラミング言語の文法を記述するための形式(BNFとしても知られる) / バックウス・ノール形式―旧称、バックウス・ナウア形式を指す用語
このボタンはなに?

研究者たちは、バックナウア記法が初期のプログラミング言語の変化する構文を十分に表現しているかどうかを議論しました。

Backus-Naur form

IPA(発音記号)
名詞
可算名詞 不可算名詞
日本語の意味
コンピュータサイエンスにおいて、文脈自由文法を記述するための正式な記法
このボタンはなに?

コンパイラのパーサは一貫した構文処理を確保するためにバックウス=ナウア形式で定義されていた。

関連語

plural

first fundamental form

名詞
不可算名詞
日本語の意味
微分幾何学において、曲面の局所的な内部曲率や計量情報を与えるリーマン計量の一形態。具体的には、正則なパラメトリゼーション x(u,v) を持つ曲面に対して、3つの関数 {E, F, G} により構成され、局所的な計量(第一基本形式)として扱われる。
このボタンはなに?

微分幾何学では、正則なパラメータ表示 x(u,v) を持つ曲面の第一基本形式(曲面のリーマン計量)は、局所的な内的曲率を決定する E(u,v)、F(u,v)、G(u,v) の三つの関数によって与えられます。

prenex normal form

名詞
不可算名詞
日本語の意味
述語論理において、論理式を前束(量化子部分)と行列(量化子のかかる部分)に分け、前束を先頭に置く形で表現する方法。
このボタンはなに?

証明を簡潔にするために、各述語論理の式を全ての量化子が行列の前に出る形(前束標準形)に変換してから解消法を適用します。

Chomsky Normal Form

名詞
不可算名詞
日本語の意味
ショムスキー正規形:計算理論における文脈自由文法の一形式であり、各生成規則の右辺が単一の終端記号または二つの非終端記号のみで構成されるもの
このボタンはなに?

解析アルゴリズムを簡略化するために、まず文法を各生成規則の右辺が一つの終端記号または二つの非終端記号であるような文脈自由文法の形式(チョムスキー正規形)に変換してからパーサを実行します。

explosively formed penetrators

名詞
活用形 複数形
日本語の意味
これは「explosively formed penetrator」の複数形です。つまり、爆発で形成された貫通体(単一の対象)の複数形、つまり複数の爆発形成型貫通体を指します。
このボタンはなに?

法医学チームは戦場の破片を分析し、装甲車両に対して爆発成形貫通体が使用されたと結論づけた。

in anyway, shape, or form

前置詞句
別表記 誤綴り
日本語の意味
どのような方法、形態においても / いかなる手段でも / 全く~ない(否定文で用いられる表現)
このボタンはなに?

レビューの過程で私のフィードバックがいかなる形・方法でも無視されていないことを願っています。

関連語

canonical

canonical

canonical

best form lens

名詞
日本語の意味
球面収差を最小限に抑える目的で設計された光学レンズ
このボタンはなに?

望遠鏡に選んだ、球面収差を最小限に抑えるよう設計されたレンズは歪みを減らし、星像を格段に鮮明にしました。

関連語

plural

best form lenses

名詞
活用形 複数形
日本語の意味
「best form lenses」は「best form lens」の複数形です。
このボタンはなに?

博物館の保存修復担当者は、復元されたアンティークの望遠鏡に使われた最適形状のレンズの比類なき鮮明さを称賛した。

algebraic normal form

名詞
不可算名詞
日本語の意味
環の加法(リングサム)を用いて表現した正規形式。論理や代数学において、論理式や代数式を和(特に排他的論理和、XOR)形式で標準化した形を指す。 / 論理関数や代数式を、環の構造―特に和(XOR)演算―に基づいて均一な形に表したもの。
このボタンはなに?

暗号を解析するために、暗号学者は線形性と次数を調べるために各ブール関数をリング和正規形(代数正規形)に変換した。

loading!

Loading...

全て読み込みました。

Error

Webで検索する

ログイン / 新規登録

 

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

DiQt(ディクト)

無料

★★★★★★★★★★