ソート中文什么意思

例句与用法

更多例句：  上一页    下一页
1. 以下では，順序ソート論理におけるＳＯＬ―導出のもとで議論を続ける．
   下面，在顺序种类逻辑中的ＳＯＬ―导出下继续进行讨论。
2. ソート階層の宣言と節集合からの反駁例を示すために推論図を用いる．
   为了从分类阶层的宣言和子句集合来证明反例而使用推论图。
3. したがって，このように反意的に働くソートを互いに対立するソートと呼ぶ．
   因此，这种反义性质的分类可以叫做相互对立的分类。
4. したがって，このように反意的に働くソートを互いに対立するソートと呼ぶ．
   因此，这种反义性质的分类可以叫做相互对立的分类。
5. 次章では，本稿での知識表現に用いる順序ソート論理について説明する．
   在下一章中，将介绍本文知识表达中所用的顺序种类逻辑。