歴史的にはFORTRANが起源っぽいですが、感覚的にはIndex的なイメージの方が大きいですね。で、Iから始まるので(歴史的に?)J,Kと多重ループだと使う場合も多いですね。 それ以外では意味合いがはっきりしていればX,Y,Z,N,C辺りは使いやすいループ変数代わりかなって思っています。