帰納式の英語

実際に、計算帰納法は計算の長さに対する単純な帰納法の形式に基づいているのである。例文帳に追加

Actually, computational induction is based on a form of simple induction on the length of the computation.発音を聞く  - コンピューター用語辞典

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

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. - 特許庁