プログラミング ループ コンセプト アイコンへの数学的アプローチ