下命的日文

• はじめに，２つのホモトピーＨ，ＨＵのパラメータｔ，ｓの１付近での関係を調べると次の命題が成り立つ．
  最初，调查两个同伦Ｈ、ＨＵ的参数ｔ、ｓ的在１附近的关系时，有如下命题成立。
• 保存命令として，次の命令を導入する．
  作为保存命令导入以下命令。
• ここでは，以下の命題を証明する．
  此处要证明以下命题。
• よって以下の命題が得られる．
  因此可以得到以下命题。
• ＳＳＴに対する参照命令が，除去などの他の命令と不可分に実行されるように，ＳＳＴに対してロックを行う次の命令を導入する．
  对ＳＳＴ的参考命令，为了使不可分地执行去除等其他命令，导入对ＳＳＴ进行锁定的以下命令。
• 少数リーダと多数フォロワで成る社会で，リーダは全情報を捉え判断，命令しフォロワが従い近代社会は発展した。
  少数团体和多数追随者组成的社会中，团体捕捉全部信息，进行判断、下命令，追随者听从团体安排，从而促进近代社会的发展。
• コンティニュエーションをファーストクラスとして扱うため，ＳＳＴの内容のコピー（ｃｏｐｙ）と復元（ｒｅｓｔｏｒｅ）を行う次の命令を導入する．
  为了将持续作为首个目标处理，导入进行ＳＳＴ内容的复制（ｃｏｐｙ）和复原（ｒｅｓｔｏｒｅ）的以下命令。
• 表１で示した｛ｏｐｃｏｄｅ，ｓｒｃ１，ｓｒｃ２，ｍｉｓｃ｝の４つ組に対応する，あるストア命令ｑについて，ブロックｎ内の移動を妨げる命令としては次のようなものがあげられる．
  与表１所显示的｛ｏｐｃｏｄｅ，ｓｒｃ１，ｓｒｃ２，ｍｉｓｃ｝四阻相对应，作为阻碍某存储命令ｑ在程序块ｎ内移动的命令可列举为如下命令。
• 表１で示した｛ｏｐｃｏｄｅ，ｓｒｃ１，ｓｒｃ２，ｍｉｓｃ｝の４つ組に対応する，あるロード命令ｑについて，ブロックｎ内の移動を妨げる命令としては次の命令があげられる．
  与表１所表示的｛ｏｐｃｏｄｅ，ｓｒｃ１，ｓｒｃ２，ｍｉｓｃ｝四个组相对应的，对于某输入命令ｑ，作为妨碍程序块ｎ内的移动的命令可列举为如下命令。
• ．この問題は，与えられた固定的な領土を，決められたＤ型ポリオミノすべてを使って埋め尽くすＰＰＰＰとは明らかに異なっているが，ＤＰＬＰアルゴリズムは次の命題のもとで，ＰＰＰＰアルゴリズムから自然に誘導できる．
  很显然，这个问题和用给出的全部Ｄ型多联骨牌铺满给出的固定区域的ＰＰＰＰ不同，但ＤＰＬＰ算法可以根据以下命题，从ＰＰＰＰ算法中自然地推导出来。