その節中文是什么意思

• 各内部節点ｌに対し，ｌがプレイヤｉの手番であれば，プレイヤｉに関する評価値が最大になるマックスＮ値を持つ子節点ｍを選択し，その節点ｍのマックスＮ値を節点ｌのマックスＮ値とする．
  对于各内部节点ｌ，ｌ如果为玩家ｉ的回合，则选择具有与玩家相关的评价值最大的极大Ｎ值的子节点ｍ，将该节点ｍ的极大Ｎ值作为节点ｌ的极大Ｎ值。
• ３．３節で述べたように，辞書定義文を，部分木をラベルとする節点を含む構造木によって表現する場合には，その節点に係っている辺の実際の係り先に関する情報と，共通変数に代入される値の２つの付加情報が必要である．
  如３．３节所述，用以子树为节点的结构树来表现词典定义句时，需要连接该节点的边的实际连接点信息和置换共同变量值的２个附加信息。
• 節点から出る枝のコストを，その節点の祖先節点が持っている値を使って初期化した擬似乱数によって決定することで，最初に与える初期値が同じであれば，生成されるゲーム木は完全に同じゲーム木となる．
  通过使用该节点的前代节点所具有的值初始化过的伪随机数，来决定从节点出来的树枝的成本，如果最初赋予的初始值相同，那么生成的游戏树就为完全相同的游戏树。
• そして，前向き推論に用いられた違反節の頭部アトムが実際の推論に貢献しないとき，その違反節が証明に必要でないと判断し，その節に関する残りの処理をカットすることによって効率化する方法を提案する．
  并且，提出了下述方案，即在被用于正向推理的违反子句的头部原子对实际的推理没有贡献时，判断该违反子句对于证明来说并非必需，通过删除关于该子句的剩余处理来提高效率。
• また，本稿で提案したアルゴリズムの実装では，与えられた節集合に含まれるリテラルの数およびその節集合のサブエルブランの数が多い場合，サブエルブラン領域の特定の計算だけで３００秒を超える場合がある．
  另外，本文所提出的算法的安装中，已知节集合所包含常量的数量以及其节结合的Ｓｕｂ―Ｈｅｒｂｒａｎｄ域的数量较多时，有只在Ｓｕｂ―Ｈｅｒｂｒａｎｄ的特定计算上需要超过３００秒情况。
• 図７において，ｘ３の値を表現するＥＶＧ節ｖは，ｘへの代入文がＣＦＧ節＠ｅｑｕａｔｉｏｎ＿０＠に降下する前は＠ｅｑｕａｔｉｏｎ＿１＠の構造を持ち，その節に降下した後は，＠ｅｑｕａｔｉｏｎ＿２＠の構造を持つことを意味する．
  在图７中，表现ｘ３的值的ＥＶＧ段落ｖ，意味着面向ｘ的赋值语句降下到ＣＦＧ段落＜＜＠ｅｑｕａｔｉｏｎ＿０＠＞＞前持有＜＜＠ｅｑｕａｔｉｏｎ＿１＠＞＞的结构，降下到这个段落之后，持有＜＜＠ｅｑｕａｔｉｏｎ＿２＠　＞＞的结构。
• いったん得られたある節点の評価値は，その節点が主節点となってから少なくともＮ段深く読み進み，その節点と同一プレイヤに関連した節点が生成されるまでは変化しないので，テンポ効果により兄弟節点間で行きつ戻りつを繰り返す最良優先マックスＮ探索より深く読むことが期待できる．
  得到的某个节点的评价值，从该节点变为主节点开始至少要读进Ｎ段，与该节点相同的玩家相关联的节点生成节点为止都不会变化，因此可以根据节奏效果比同类节点之间的来回重复的最优极大Ｎ检索读得更深。
• いったん得られたある節点の評価値は，その節点が主節点となってから少なくともＮ段深く読み進み，その節点と同一プレイヤに関連した節点が生成されるまでは変化しないので，テンポ効果により兄弟節点間で行きつ戻りつを繰り返す最良優先マックスＮ探索より深く読むことが期待できる．
  得到的某个节点的评价值，从该节点变为主节点开始至少要读进Ｎ段，与该节点相同的玩家相关联的节点生成节点为止都不会变化，因此可以根据节奏效果比同类节点之间的来回重复的最优极大Ｎ检索读得更深。