ループ変数についてはその上に自然言語による定義を明確に記述した上で、実装に取り組む