ループ不変条件

ウィキペディア

ループ不変条件

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/01 09:21 UTC 版)

ループ不変条件（英: Loop invariant）とは、計算機科学において、ループの不変条件のこと。ループとは、繰り返し実行されるコードのこと。ループの不変条件とは、ループ実行前にも、反復を実行するたびにも成立する条件のこと。これは、論理アサーションであり、アサーションを使ってコードが書かれることもある。不変条件を知ることは、ループの意味を知るのに重要である。