6. The computer-readable, non-transitory medium according to claim 5 , wherein the computer program further causes the computer to execute: extracting, from the source code, a second character string corresponding to a context element associated with at least one of the first and second variables, replacing the at least one of the first and second variables with the second character string to which the label name corresponding to the at least one of the first and second variables is attached; and outputting the formula with the at least one of the first and second variables that is replaced with the second character string to which the label name corresponding to the at least one of the first and second variables is attached.
6. The computer-readable, non-transitory medium according to claim 5 , wherein the computer program further causes the computer to execute: extracting, from the source code, a second character string corresponding to a context element associated with at least one of the first and second variables, replacing the at least one of the first and second variables with the second character string to which the label name corresponding to the at least one of the first and second variables is attached; and outputting the formula with the at least one of the first and second variables that is replaced with the second character string to which the label name corresponding to the at least one of the first and second variables is attached. 7. The computer-readable, non-transitory medium according to claim 6 , wherein the computer program further causes the computer to execute: outputting the formula with the operator that is replaced with the character string.