[發明專利]圖形顯示裝置、圖形顯示方法

在審

• 申請號: 201310163010.2
• 申請日: 2013-03-18
• 公開（公告）號: CN103366608A
• 公開（公告）日: 2013-10-23
• 發明（設計）人: 吉川裕紀;佐藤智昭
• 申請（專利權）人: 卡西歐計算機株式會社
• 主分類號: G09B5/02
• 分類號: G09B5/02;G06F3/048;G06F3/14
• 代理公司: 北京銀龍知識產權代理有限公司 11243
• 代理人: 許靜;郭鳳麟

1.一種圖形顯示裝置，其特征在于，包括：

顯示圖形的圖形顯示單元；

根據用戶操作輸入關于所述圖形的假定式的假定式輸入單元；以及

將所述圖形中的所述假定式的對應部分以與該假定式一致的方式進行變形，并在所述圖形中圖示并識別顯示該假定式表示的內容的圖形假定部分識別顯示單元。

2.根據權利要求1所述的圖形顯示裝置，其特征在于，

所述圖形是證明問題的圖形，

所述圖形顯示裝置包括：

根據用戶操作輸入關于所述圖形的證明過程式的證明過程式輸入單元；以及

在所述圖形中圖示并識別顯示所述證明過程式表示的內容的圖形證明過程部分識別顯示單元。

3.根據權利要求2所述的圖形顯示裝置，其特征在于，包括：

根據用戶操作，輸入關于所述圖形的證明結論式的結論式輸入單元；以及

在所述圖形中圖示并識別顯示所述結論式表示的內容的圖形結論部分識別顯示單元。

4.根據權利要求1～3中任一項所述的圖形顯示裝置，其特征在于，包括：

正反檢測單元，其在針對所述圖形內的全等圖形部分或相似圖形部分中的至少兩個角輸入所述式的情況下，判定在該式內用于表示這些角的符號的排列順序是否為反序；

排列順序錯誤報告單元，其通過所述正反檢測單元判定出排列順序為反序的情況下，顯示該主旨的錯誤消息和是否訂正該排列順序的詢問消息；以及

排列順序訂正單元，其根據旨在于訂正所述排列順序的用戶操作來訂正該排列順序。

5.根據權利要求1～4中任一項所述的圖形顯示裝置，其特征在于，包括：

對應錯誤報告單元，其當在所述圖形中不存在所述式的對應部分時，顯示該主旨的錯誤消息；以及

圖形訂正單元，其在通過所述對應錯誤報告單元顯示了在所述圖形中不存在所述式的對應部分的主旨的錯誤消息的情況下，根據用戶操作在該圖形中形成該式的對應部分。

6.一種圖形顯示裝置，其特征在于，包括：

顯示圖形的圖形顯示單元；

根據用戶操作輸入關于所述圖形中的部分的比例式的比例式輸入單元；以及

將所述圖形中的所述比例式的對應部分以與該比例式一致的方式進行變形，并在所述圖形中圖示該比例式表示的內容的比信息顯示單元。

7.根據權利要求6所述的圖形顯示裝置，其特征在于，包括：

比例式判定單元，其判定是否所述比例式被輸入多個，且在這些多個比例式中的至少兩個比例式中表示所述圖形中的部分的項是公共的項；

比信息更新單元，其在通過所述比例式判定單元判定出所述比例式被輸入多個，且在這些多個比例式中的至少兩個比例式中表示所述圖形中的部分的項是公共的情況下，根據用戶操作整理比的值，并更新所述比信息顯示單元的顯示內容。

8.一種圖形顯示方法，其是包括顯示單元、輸入單元的計算機的圖形顯示方法，其特征在于，

在所述顯示單元上顯示圖形，

根據用戶操作，通過所述輸入單元輸入關于所述圖形的假定式，

將所述圖形中的所述假定式的對應部分以與該假定式一致的方式進行變形，并在所述圖形中圖示并識別顯示該假定式表示的內容。

9.一種圖形顯示方法，其是包括顯示單元、輸入單元的計算機的圖形顯示方法，其特征在于，

在所述顯示單元上顯示圖形，

根據用戶操作，通過所述輸入單元輸入關于所述顯示的圖形中的部分的比例式，

將所述圖形中的所述比例式的對應部分以與該比例式一致的方式進行變形，并在所述圖形中圖示該比例式表示的內容。