完全終止の英語

この「不完全性定理」は,ヒルベルトの数学形式化プログラムに終止符を打ち,当然ながら,今世紀の数学の基礎における最も重要な成果であると見なされている．例文帳に追加

This "incompleteness theorem" ended Hilbert's program of formalizing mathematics and is rightfully regarded as the most important result in the foundations of mathematics in this century.発音を聞く  - コンピューター用語辞典

一つの曲において歌や手事は段落として切れ目はあるが、雅楽の序、破、急や、西洋音楽の楽章のように、いったん完全に終止し時間を置いてからまた始めるのではなく、連続して演奏される。例文帳に追加

The song and tegoto in one song have hiatuses as paragraphs, but unlike Jo-ha-kyu in gagaku (ancient Japanese court dance and music) or movements in Western music, sound does not stop completely and begins after a while, but the performance seamlessly continues.発音を聞く  - Wikipedia日英京都関連文書対訳コーパス

目的遺伝子、特に、完全なＣ末端領域を有するタンパク質をコードする遺伝子について、ＰＣＲを行わずに翻訳終止コドンを除去することのできる新規な方法を提供する。例文帳に追加

To provide a new method, by which a translation-terminating codon can be removed from a target gene, especially a gene encoding a protein having a perfect C-terminated region, without performing a PCR. - 特許庁