定理の証明の英語

コンピュータは、完全に新しい有名な定理の証明を生んだ例文帳に追加

the computer produced a completely novel proof of a well-known theorem発音を聞く  - 日本語WordNet

公理的意味論と操作的意味論との間の整合性を示す健全性定理について述べ, 証明した.例文帳に追加

A soundness theorem, showing the consistency between the axiomatic and operational semantics is stated and proved.発音を聞く  - コンピューター用語辞典

宿題はピタゴラスの定理の証明に用いることができる作図をすることだった例文帳に追加

the assignment was to make a construction that could be used in proving the Pythagorean theorem発音を聞く  - 日本語WordNet

我々はこれらのゲームと解の構造との間の密接な関係について議論し, 完全性定理を証明する.例文帳に追加

We discuss the intimate connection between these games and the structure of proofs, and prove a full completeness theorem.発音を聞く  - コンピューター用語辞典

1時間未満で定理を証明することができると彼女が主張した時、ジョンはメアリーのはったりに挑戦した例文帳に追加

John called Mary's bluff when she claimed she could prove the theorem in under an hour発音を聞く  - 日本語WordNet

機械のオンラインマニュアルや、計算機プログラミング用ＣＡＤや、異なる言語間の翻訳作業援助や、ナレッジ・マネジメントや、デジタル・ナーバス・システムに用いるための、広い意味での定理の自動証明システムを実現する。例文帳に追加

To actualize an automatic certification system for a theorem in a broad sense which is used for an on-line manual of a machine, CAD for computer programming, translating operation assistance between different languages, knowledge management, and digital nervous system. - 特許庁