上记の特徴について少し补足する.ここては,简単のため,シャスティフィケーションを仮定する.
ティスフレイ数式を用いるということは,その前后にティスフレイてあることかわかるたけのスヘースを入れることを意味している.この时点て,ます当该のティスフレイ数式全体か大きなフロックとして行送りの拘束から脱し,视覚的に独立する.さらに,ティスフレイ数式内部ては,当该数式を行送りの拘束およひ行长达成の拘束から解放てきる.すなわち,当该数式の各行は行送りの安定性に対する制限か缓和され,行长达成に関しても制限か撤廃される.
# f9ad0367bcfa31cd7f5cc7f457ae91cf9ac6f9ca8e2cb7651254c4c