証明 数学の英語

数学において,結論以外の場合が不条理となることを示してその結論の正しさを証明する方法例文帳に追加

(in mathematics) something that is proved through indirect proof発音を聞く  - EDR日英対訳辞書

本発明の課題は数学的帰納法に基いて等式又は不等式を証明する、数学的帰納法の学習に好適な計算装置、及び記憶媒体を提供することである。例文帳に追加

To provide a calculator and a storage medium suitable for the learning of mathematical induction for proving an equality or an inequality based on the mathematical induction. - 特許庁

ＣＰＵ２は、数学的帰納法の各段階における等式又は不等式（ｎ＝１、ｎ＝ｋ、ｎ＝ｋ＋１の各場合の式）を生成し、左辺及び右辺についてのグラフを同一座標系内に描画し、また、前記各式が成り立つか否かを判断することにより数学的帰納法に基く証明を行う。例文帳に追加

A CPU 2 generates equalities or inequalities (equalities in respective cases of n=1, n=k and n=k+1) in respective steps of the mathematical induction plots graphs for right and left sides on the same coordinate system and executes proof based on the mathematical induction by judging whether respective expressions described above are formed or not. - 特許庁

我々は,型制約論理プログラミングに対するプロログを実行するために,ウォレンの抽象機械の拡張に関する数学的仕様を提供し,その正確性を証明する．例文帳に追加

We provide a mathematical specification of an extension of Warren's Abstract Machine for executing Prolog to type-constraint logic programming and prove its correctness.発音を聞く  - コンピューター用語辞典

メッセージ復元型の署名方式において、Computational Diffie-Hellman問題仮定など、安全性証明において数学的に困難と広く信じられている問題にタイトに帰着可能な署名生成検証装置等を実現する。例文帳に追加

To realize signature generating and verifying devices tightly settling problems widely believed to be mathematically difficult to solve in certification of safety such as Computational Diffie-Hellman problem assumption in a message recovery type signing system. - 特許庁