Abstract: An electronic device includes a display unit and a processor. The processor performs an input process to receive an input of a first mathematical expression including a left side member, an equality sign or inequality sign, and a right side member expressed in this order; a first mathematical expression display process to display, on the display unit, the input first mathematical expression; a verification process to verify whether the input first mathematical expression is true or false; and a second mathematical expression display process to display, on the display unit, the right side member of the verified first mathematical expression as a left side member of a second mathematical expression to be newly verified, if the first mathematical expression is determined to be true as a result of verification by the verification process.

Abstract: An electronic device includes a display unit and a processor. The processor performs an input process to receive an input of a first mathematical expression including a left side member, an equality sign or inequality sign, and a right side member expressed in this order; a first mathematical expression display process to display, on the display unit, the input first mathematical expression; a verification process to verify whether the input first mathematical expression is true or false; and a second mathematical expression display process to display, on the display unit, the right side member of the verified first mathematical expression as a left side member of a second mathematical expression to be newly verified, if the first mathematical expression is determined to be true as a result of verification by the verification process.

Abstract: A graph display device includes a display module, a graph display control module which displays a graph corresponding to an expression on the display module, a specifying module which specifies a point on a graph displayed on the display module, a setting module which sets a tangent that contacts the graph at the specified point, an area determination module which, of two areas divided by the tangent set by the setting module, determines one area opposite to the area in which the graph lies to be a display area for coordinate values, and a coordinate value display control module which displays coordinate values of the specified point in the area determined by the area determination module.

Abstract: There is provided a graph display apparatus including a list input unit configured to input list data including a plurality of numerical data items, a color designation unit configured to designate arbitrary colors for the numerical data items of the list data input by the list input unit, a list storage unit configured to store the list data input by the list input unit and information of the colors designated for the numerical data items by the color designation unit in a state where the list data and the information are associated with each other, and a graph display unit configured to color-display graph data, based on the list data and the information of the colors designated for the numerical data items, which are stored in the list storage unit.

Abstract: A list data management device comprising a histogram display control unit which displays a histogram based on list data, an element color setting unit which designates a display element corresponding to a given class from the histogram displayed by the histogram display control unit and sets a display color of the display element, and a conditional format generating unit which generates conditional format data based on the display element and the display color set by the element color setting unit, the conditional format data causing data of the list data, which corresponds to the class of the display element, to be displayed in a display mode using the display color.

Abstract: There is provided a graph display apparatus including a list input unit configured to input list data including a plurality of numerical data items, a color designation unit configured to designate arbitrary colors for the numerical data items of the list data input by the list input unit, a list storage unit configured to store the list data input by the list input unit and information of the colors designated for the numerical data items by the color designation unit in a state where the list data and the information are associated with each other, and a graph display unit configured to color-display graph data, based on the list data and the information of the colors designated for the numerical data items, which are stored in the list storage unit.