for-times計算可能