ことがなければ中文什么意思
除非；错非
例句与用法
- よって，仮に不完全知覚状態のＳ２，Ｓ８であっても，報酬を得るまでにこれらの状態を通過することがなければ判定の対象から除外される．
因此，即使是不完全状态Ｓ２和Ｓ８，如果在得到收益前这些状态没通过的话就被排除在判定对象之外。 - 例えば今までにボールを一度しか見たことがなければ，そのボールが丸くてゴムでできていたとしても「ボールはゴムでできた丸いものである」との確信などもてないように思われる．
例如，若至今只见过球一次，则即使那个球是圆形、橡胶制成，也不能断定“球是橡胶制成的圆形物体”。 - 補助定理４ｎ―１次ロールバック（＠ｅｑｕａｔｉｏｎ＿０＠）の‘―’ロールバック情報が第１レベルプロセッサに届くまで，第１レベルプロセッサが決定するＧＶＴがｎ―１次ロールバックでロールバックされたイベントの時刻印よりも大きくなることがなければ，このｎ―１次ロールバックが引き起こすｎ次ロールバックの‘＋’ロールバック情報が第１レベルプロセッサに届くまで，第１レベルプロセッサが決定するＧＶＴはｎ次ロールバックでロールバックされたイベントの時刻印よりも小さい．
辅助定理４ ｎ―１次重新运转（＠ｅｑｕａｔｉｏｎ＿０＠）的‘―’重新运转信息到达第１级处理器之前，如果第１级处理器决定的ＧＶＴ不会大于由ｎ―１次重新运转执行的事件的时间标记，那么在由ｎ―１次重新运转引起的ｎ次重新运转的‘＋’重新运转信息到达第１级处理器之前，第１级处理器决定的ＧＶＴ小于由ｎ次重新运转执行的事件的时间标记。 - 補助定理５ｎ―１次ロールバック（＠ｅｑｕａｔｉｏｎ＿０＠）の‘―’ロールバック情報が第１レベルプロセッサに届くまで，第１レベルプロセッサが決定するＧＶＴがｎ―１次ロールバックでロールバックされたイベントの時刻印よりも大きくなることがなければ，このｎ―１次ロールバックが引き起こすｎ次ロールバックの‘―’ロールバック情報が第１レベルプロセッサに届くまで，第１レベルプロセッサが決定するＧＶＴはｎ次ロールバックでロールバックされたイベントの時刻印よりも大きくなることはない．
辅助定理５在ｎ―１次重新运转（＠ｅｑｕａｔｉｏｎ＿０＠）的‘―’重新运转信息到达第１级处理器之前，如果第１级处理器决定的ＧＶＴ不会大于由ｎ―１次重新运转执行的事件的时间标记，则在这一ｎ―１次重新运转引起的ｎ次重新运转的‘―’重新运转信息到达第１级处理器之前，第１级处理器决定的ＧＶＴ不会大于由ｎ次重新运转执行的事件的时间标记。
