未完成的日文

• ただし，ページ順番送信が終了していない時点で発表が開始された場合は，発表ページ送信により発表中のページと，ページ順番送信の途中のページを交互に送信する．
  但是，在页面顺序发送未完成时已经开始发布的情况下，通过发布页面发送的方式交互发送发表中的页面和页面顺序发送途中的页面。
• そして，あるモデル拡張がゴールに関連していないことが判明すると，そのモデル拡張に関わる未完了の（部分）証明を行わないことによって，探索空間の刈り込みを行う．
  然后，如果判断出某个模型扩张与目的无关的话、通过不能证明与此模型扩张有关的未完成的（部分）证明，进行搜索空间的删减。
• 証明１３ある時点で，最小の時刻印ＴＳｍｉｎを持つ未完了イベントＴは，それよりも小さな時刻印を持つ未完了イベントが存在しないので，必ずいつかは処理を完了できる．
  证明１３由于在拥有最小时间标记Ｔｓｍｉｎ的未完成事件Ｔ中，不存在拥有更小时间标记的未完成事件，因此必然能够完成处理。
• 証明１３ある時点で，最小の時刻印ＴＳｍｉｎを持つ未完了イベントＴは，それよりも小さな時刻印を持つ未完了イベントが存在しないので，必ずいつかは処理を完了できる．
  证明１３由于在拥有最小时间标记Ｔｓｍｉｎ的未完成事件Ｔ中，不存在拥有更小时间标记的未完成事件，因此必然能够完成处理。
• キューのリンクポインタと完了フラグを利用することで，キューに未完了のディスクリプタがある場合に限り，システムコールの発行を省略してユーザレベル通信を行う方式を考案し実装した（図６）．
  研究并实现了利用队列的链表指针和完成标志，仅在队列中有未完成描述符时省略发出系统调用进行用户层通信的方式（图６）。
• ただし以下の手続きにおいて推論図とは求める証明図の候補となりうる未完成の証明図のことであり，各ｉに対しＧｉはｉ．１回の推論規則の適用を持つ推論図の有限集合である．
  但是，在以下步骤中，推理图是指可以成为所要求的证明图候补的未完成的证明图，针对各ｉ，Ｇｉ是具有ｉ．１次推理规则适用的推理图的有限集合。
• ただし以下の手続きにおいて推論図とは求める証明図の候補となりうる未完成の証明図のことであり，各ｉに対しＧｉはｉ．１回の推論規則の適用を持つ推論図の有限集合である．
  但是，在以下步骤中，推理图是指可以成为所要求的证明图候补的未完成的证明图，针对各ｉ，Ｇｉ是具有ｉ．１次推理规则适用的推理图的有限集合。
• また，２―２のアドバイスを生成するためには，プランニングによって正しい操作プランを導き，認識されたプランがそのどれにあたり，どの部分がまだなされていないのかを特定する必要がある．
  另外，为生成２－２中的建议，需要依据计划制定来引导出正确操作，同时需要特别指出被认识的计划对应哪个部分以及哪一部分还未完成。
• さらに，「第１レベルプロセッサが正しいＧＶＴを保持する」とは，第１レベルプロセッサが保持しているＧＶＴが，システム内の未完了イベントの時刻印の最小値よりも小さいか等しいことを意味する．
  所谓“第１级处理器保持正确的ＧＶＴ”，指的是第１级处理器保持的ＧＶＴ比系统内未完成事件的时间标记的最小值更小或与其相等。
• また，「第１レベルプロセッサが正しいＧＶＴを決定する」とは，第１レベルプロセッサが，システム内の未完了イベントの時刻印の最小値よりも小さいか等しい値をＧＶＴとして決定することを意味する．
  所谓“第１级处理器决定正确的ＧＶＴ”，指的是第１级处理器将比系统内未完成事件的时间标记的最小值更小的值或相等的值定为ＧＶＴ。