loop invariant
(computer science) an invariant that should be true on entry into a loop and is guaranteed to remain true on every iteration of the loop
past participle of blow one's top
(algebra) An element of an algebraic structure, generally denoted 1, which is an identity for a multiplicative operation (generally denoted × or *, or by concatenation).
(not comparable, of a horse) Not wearing blinkers. / (figuratively) Not blinkered; having full vision or awareness.
アルゴリズムを検証するために、彼女はループ開始時に成り立ち各反復で保持される性質を表すループ不変式を定式化した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
