公式論の英語

これらの間隔についてのメビウスの反転公式は、さらなるグラフ理論的観察と共に、ふるいわけ公式の「グラフィカルな一般化」をもたらす。例文帳に追加

The Moebius inversion formula for these intervals, together with further graph-theoretic observations, yield ``graphical generalizations'' of the sieve formula.発音を聞く  - コンピューター用語辞典

相談や情報交換、討論のための事前に取り決められた会議（特に公式の議事日程を持つもの）例文帳に追加

a prearranged meeting for consultation or exchange of information or discussion (especially one with a formal agenda)発音を聞く  - 日本語WordNet

公式の UML リソースページ (http://www.uml.org/) で、UML 手法と理論に関する優れたリソースを得ることができます。例文帳に追加

A good resource for UML techniques and theory is the official UML resource page at http://www.uml.org/.発音を聞く  - NetBeans

公式の UML リソースページ (http://www.uml.org/) で、UML モデリング手法と理論に関する優れたリソースを得ることができます。例文帳に追加

A good resource for UML modeling techniques and theory is the official UML resource page at http://www.uml.org/.発音を聞く  - NetBeans

そして一般の行列式の公式や終結式の理論が発見されるのは18世紀の中ごろである。例文帳に追加

It was around the middle of the eighteenth century when the formula for general determinants and the theory of resultants were discovered.発音を聞く  - Wikipedia日英京都関連文書対訳コーパス

公式論理アドレスの各桁の文字はそれと同じキーに割り付けられている数字へ変換される。例文帳に追加

A character in each digit of the official address is converted into a number assigned to the same key for the character. - 特許庁

ルベーグは,測度理論を1901年に公式化し,翌年,リーマン積分の概念を一般化するルベーグ積分を定義づけた．例文帳に追加

Lebesgue formulated the theory of measure in 1901 and the following year he gave the definition of the Lebesgue integral that generalizes the notion of the Riemann integral.発音を聞く  - コンピューター用語辞典

第二次世界大戦後君が代の位置づけには議論があったが、法定により日本国国歌として公式に確定した。例文帳に追加

There was debate regarding the relevance of Kimigayo after the World War II but it was officially designated Japan's national anthem by law.発音を聞く  - Wikipedia日英京都関連文書対訳コーパス