此刻的日文

• （８）特化処理中に，元のプログラムで動的な分岐命令に出会った場合は，分岐先ラベルｌａｂｅｌ　＿とその時点での静的変数の部分状態ｓ＿からなる特化されたプログラムポイント＠ｅｑｕａｔｉｏｎ＿０＠が，　ｐｅｎｄｉｎｇ　ｌｉｓｔとｍａｒｋｅｄ　ｓｅｔに含まれているかどうかを検査し，含まれていない場合に限り，　ｐｅｎｄｉｎｇ　ｌｉｓｔに＿ｌａｂｅｌ　＿，　ｓ＿＿をプッシュする．
  （８）特化处理过程中，在原程序中碰到动态分支命令时，检查由分支去处标签ｌａｂｅｌ　＿和此刻的静态变量部分状态ｓ＿构成的被特化了程序点＠ｅｑｕａｔｉｏｎ＿０＠是否包含在ｐｅｎｄｉｎｇ　ｌｉｓｔ和ｍａｒｋｅｄ　ｓｅｔ中，只在未包含的时候，将＿ｌａｂｅｌ　＿、ｓ＿＿放入ｐｅｎｄｉｎｇ　ｌｉｓｔ中。