数学的帰納法的日文

例句与用法

更多例句：  下一页
1. （証明の概略）正例の記号列の数｜ＳＰ｜に関する数学的帰納法によって証明する．
   （证明的概要）关于正例的符号串的数量｜ＳＰ｜通过数学归纳法证明。
2. 証明１ノードの高さに関する数学的帰納法により証明する．
   证明１用关于节点的高度的数学归纳法来证明。
3. （証明の概略）規則集合Ｐ１の大きさ｜Ｐ１｜に関する数学的帰納法によって証明する．
   （证明的概要）对规则集合Ｐ１的大小｜Ｐ１｜使用数学归纳法进行证明。
4. 任意のｉについてＡＫｂの結論がＫｂからの論理的帰結であることを，議論の長さｉについての数学的帰納法で示す．
   对于任意的ｉ，用关于讨论长度ｉ的数学归纳法来表示ＡＫｂ的结论是从Ｋｂ中得出的逻辑推论。
5. 数学的帰納法により一般に，図形Ｇの任意個数の内点の凸結合で表される任意の点は，図形Ｇ∞の内点であることが示される．
   由数学归纳法可以显示一般以图形Ｇ的任意个数内点的凸结合表示的任意点是图形Ｇ∞的内点。
6. 《証明》任意のｉについて命題４の＠ｅｑｕａｔｉｏｎ＿０＠が無衝突であることをＦの反復回数ｉについての数学的帰納法で示す．
   《证明》用关于Ｆ循环次数ｉ的数学归纳法来表示对于任意的ｉ，命题４的＠ｅｑｕａｔｉｏｎ＿０＠是无冲突的。
7. 以下，すべての奇数のｉについて，Ａｒｇを根に持ち高さがｉの正当化された対話木が存在するとき＠ｅｑｕａｔｉｏｎ＿０＠であることを，ｉについての数学的帰納法を用いて示す．
   以下，对所有的奇数ｉ，用关于ｉ的数学归纳法来说明存在根为Ａｒｇ且高度为ｉ的合理化后的对话树时＠ｅｑｕａｔｉｏｎ＿０＠。
8. このときすべてのｉ（＠ｅｑｕａｔｉｏｎ＿０＠）に対し，＠ｅｑｕａｔｉｏｎ＿１＠であればＡｒｇを根にもち高さが＠ｅｑｕａｔｉｏｎ＿２＠以下の正当化された対話木Ｔｉが存在することを，Ｆの反復回数ｉについての数学的帰納法で証明する．
   这时对所有的ｉ（＠ｅｑｕａｔｉｏｎ＿０＠），如果是＠ｅｑｕａｔｉｏｎ＿１＠的话，用关于Ｆ循环次数ｉ的数学归纳法来证明存在底部为Ａｒｇ高度在＠ｅｑｕａｔｉｏｎ＿２＠之下的合理化的对话树Ｔｉ。
9. このアプローチは先に述べた完備性については問題がないが，数学的帰納法やフレーム問題に対するｃｉｒｃｕｍｓｃｒｉｐｔｉｏｎなど，離散的なａｃｔｉｏｎｔｈｅｏｒｙの良い性質がそのままでは殆ど成立しない可能性があることから，あまり研究されていない．
   这种研究方法在之前论述的完备性方面没有问题，但是因为存在对数学归纳法和框架问题的ｃｉｒｃｕｍｓｃｒｉｐｔｉｏｎ等、离散的ａｃｔｉｏｎｔｈｅｏｒｙ的良好性质几乎不会照原样成立的这种可能性，所以没有被研究。
10. すなわち定数Ｔ，ｇおよびＨｏｌｄｓ，ｄｏはそのまま用いる．＠ｅｑｕａｔｉｏｎ＿０＠その結果得られた上記ｎの式及びＮＳＣｎの公理（ＳＳＣを持ち上げたもの及び超実数の計算規則）を＊Ｌとする．ＮＳＣに於いてもアクションａｎの繰り返しに対する数学的帰納法を用いることができるので（移行原理），以下のように解くことができる．
    也就是说照原样使用常量Ｔ，ｇ和Ｈｏｌｄ，ｄｏ。将＠ｅｑｕａｔｉｏｎ＿０＠结果得到的上述ｎ的式子和ＮＳＣｎ的公理（提出ＳＳＣ的东西和超实数的计算规则）定为＊Ｌ。在ＮＳＣ里，因为可以使用针对行动ａｎ的反复的数学归纳法（转移原理），所以可以解决如下。