ユニファイ造句

• これは，Ｆｌｅｎｇにおける＝がユニファイを表すためである．
  这是因为Ｆｌｅｎｇ中＝表示统一。
• 仮説推論のノード展開は述語のユニファイや変数の束縛情報の伝搬などをともなうＳＬＤ導出による．
  假说推理的节点展开源于伴随谓语的统一和变量的束缚信息的传播等的ＳＬＤ的导出。
• 目的手段知識は一般的に記述されているが，マッチングの際に学習者の具体的操作にユニファイされ，プラン木は具体化された動詞フレームで構築される（図７の※１で具体化が行われる）．
  目的手段知识虽被一般性记录，但匹配的时候，要与学习者的具体操作相一致，计划树通过具体化了的动词框架来构造（图７的※１中实行具体化）。
• １プロセッサあたり，３２ＫＢの命令，データＬ１キャッシュと，１ＭＢのユニファイドＬ２キャッシュを持ち，共有主メモリは１ＧＢであり，メモリへのストア順序はＩＢＭ　ＸＬ　Ｆｏｒｔｒａｎ　Ｃｏｍｐｉｌｅｒを用いることで守られる．
  每个处理器拥有３２ＫＢ的命令，数据Ｌ１缓存和１ＭＢ的统一Ｌ２缓存，共享主内存为１ＧＢ，通过使用ＩＢＭ　ＸＬ　Ｆｏｒｔｒａｎ　Ｃｏｍｐｉｌｅｒ遵守向内存的存储器顺序。