| 摘要 |
<P>PROBLEM TO BE SOLVED: To increase a learning effect of proof questions. <P>SOLUTION: A scientific calculator 1 includes a display unit 15, a theorem database 131 for storing mathematical theorems, an input unit 14 for inputting a proof question that includes an assumption formula and a conclusion formula on the basis of user's operation, and a CPU 11 for reading out a formula deviated from an assumption formula from the theorem database 131 to be as an establishment formula group. The input unit 14 inputs a solution of a proof question for each formula on the basis of user's operation. The CPU 11 determines whether the input formula that is input is included in the establishment formula group. Only when it is determined to be included, the input formula is displayed on the display unit 15 as a solution of the proof question. <P>COPYRIGHT: (C)2012,JPO&INPIT |
