Induction variable とは

コンピュータサイエンスでは、誘導変数は、ループの繰り返しごとに一定量だけ増減する変数、または別の誘導変数の線形関数です。
たとえば、次のループでは、iとjは誘導変数です。