(57)【特許請求の範囲】
【請求項１】
図形を表示部に表示させる図形表示手段と、
この図形表示手段により表示された図形に含まれる図形要素をユーザ操作に応じて選択する図形要素選択手段と、
この図形要素選択手段により選択された図形要素に対して、ユーザ操作に応じて新たな状態を設定する状態設定手段と、
この状態設定手段により前記選択された図形要素に対し設定された状態に応じて、前記図形表示手段により表示された図形を更新して表示させる図形更新表示手段と、
前記図形要素選択手段により選択された図形要素に対して前記状態設定手段により設定された状態に応じた文字情報に、ユーザによる設定状態であることを付記して書き出す図形対応文字書き出し手段と、
を備えたことを特徴とする図形情報表示装置。
【請求項２】
前記図形表示手段は、図形を当該図形を構成する特徴点を表す文字を付記して表示部に表示させ、
前記図形対応文字書き出し手段は、前記図形要素選択手段により選択された図形要素に設定された状態に応じた文字情報を同図形要素に付記された文字の配列順序に応じた文字列情報として書き出す、
ことを特徴とする請求項１に記載の図形情報表示装置。
【請求項３】
前記図形要素選択手段によりユーザ操作に応じて選択された図形要素について、当該ユーザ操作の方向が入力されたか否かを判断する方向入力判断手段を備え、
前記図形対応文字書き出し手段は、前記図形要素選択手段により選択された図形要素について、前記方向入力判断手段によりユーザ操作の方向が入力されたと判断された場合は、当該図形要素に設定された状態に応じた文字情報を同図形要素に付記された文字の前記ユーザ操作の方向に応じた順序の文字列情報として書き出す、
ことを特徴とする請求項２に記載の図形情報表示装置。
【請求項４】
前記図形表示手段により表示される図形は、当該図形に含まれる図形要素の状態が予め設定された証明問題の図形として与えられ、
前記図形対応文字書き出し手段は、前記図形要素選択手段により選択された図形要素に設定された状態に応じた文字情報を前記証明問題の解として書き出す、
ことを特徴とする請求項３に記載の図形情報表示装置。
【請求項５】
表示部を備えた電子式計算機のコンピュータを制御するためのプログラムであって、
前記コンピュータを、
図形を表示部に表示させる図形表示手段、
この図形表示手段により表示された図形に含まれる図形要素をユーザ操作に応じて選択する図形要素選択手段、
この図形要素選択手段により選択された図形要素に対して、ユーザ操作に応じて新たな状態を設定する状態設定手段、
この状態設定手段により前記選択された図形要素に対し設定された状態に応じて、前記図形表示手段により表示された図形を更新して表示させる図形更新表示手段、
前記図形要素選択手段により選択された図形要素に対して前記状態設定手段により設定された状態に応じた文字情報に、ユーザによる設定状態であることを付記して書き出す図形対応文字書き出し手段、
として機能させるためのプログラム。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、図形の状態を文字にして表示させるための図形情報表示装置およびその制御プログラムに関する。
【背景技術】
【０００２】
従来のグラフ関数電卓などでは、幾何機能を用いて図形を描画することができ、またその図形の辺や角などの図形要素に対して任意の関係性（長さや角度が等しい、平行、垂直など）やその値などの状態（条件）を設定することができた。
【０００３】
さらに、従来のグラフ関数電卓において、表示された幾何図形（ｎ次関数のグラフ）を指定すると、当該指定されたグラフの計算式（ｎ次関数式）に変換して表示することができる図形表示制御装置が考えられている（例えば、特許文献１参照。）。
【先行技術文献】
【特許文献】
【０００４】
【特許文献１】特開２００４−１２６６７９号公報
【発明の概要】
【発明が解決しようとする課題】
【０００５】
前記従来のグラフ関数電卓においては、表示された関数式を当該関数式に対応するグラフに変換して表示させたり、表示されたグラフを当該グラフに対応する関数式に変換して表示させたりすることができる。
【０００６】
しかしながら、関数式で表されるグラフとその関数式とを変換して表示させるのではなく、図形の辺や角などの図形要素に対して任意の関係性（長さや角度が等しい、平行、垂直など）の状態（条件）を設定した上で、当該図形中から選択した図形要素の状態を文字情報に変換して表示させることはできなかった。
【０００７】
つまり、例えば図形中から選択した図形要素である辺や角などの関係性を表す証明式を、当該図形要素の選択から簡単に変換して表示させることはできず、図形の学習を効果的に行えない問題があった。
【０００８】
本発明は、このような課題に鑑みなされたもので、図形に設定された状態を文字情報として簡単に書き出すことが可能になる図形情報表示装置およびその制御プログラムを提供することを目的とする。
【課題を解決するための手段】
【０００９】
本発明に係る図形情報表示装置は、図形を表示部に表示させる図形表示手段と、この図形表示手段により表示された図形に含まれる図形要素をユーザ操作に応じて選択する図形要素選択手段と、この図形要素選択手段により選択された図形要素に対して、ユーザ操作に応じて新たな状態を設定する状態設定手段と、この状態設定手段により前記選択された図形要素に対し設定された状態に応じて、前記図形表示手段により表示された図形を更新して表示させる図形更新表示手段と、前記図形要素選択手段により選択された図形要素に対して前記状態設定手段により設定された状態に応じた文字情報に、ユーザによる設定状態であることを付記して書き出す図形対応文字書き出し手段と、を備えたことを特徴としている。
【００１０】
本発明に係るプログラムは、表示部を備えた電子式計算機のコンピュータを制御するためのプログラムであって、前記コンピュータを、図形を表示部に表示させる図形表示手段、この図形表示手段により表示された図形に含まれる図形要素をユーザ操作に応じて選択する図形要素選択手段、この図形要素選択手段により選択された図形要素に対して、ユーザ操作に応じて新たな状態を設定する状態設定手段、この状態設定手段により前記選択された図形要素に対し設定された状態に応じて、前記図形表示手段により表示された図形を更新して表示させる図形更新表示手段、前記図形要素選択手段により選択された図形要素に対して前記状態設定手段により設定された状態に応じた文字情報に、ユーザによる設定状態であることを付記して書き出す図形対応文字書き出し手段、として機能させることを特徴としている。
【発明の効果】
【００１１】
本発明によれば、図形に設定された状態を文字情報として簡単に書き出すことが可能になる図形情報表示装置およびその制御プログラムを提供できる。
【図面の簡単な説明】
【００１２】
【図１】本発明の図形情報表示装置の実施形態に係るグラフ関数電卓１０の外観構成を示す正面図。
【図２】前記グラフ関数電卓１０の電子回路の構成を示すブロック図。
【図３】前記グラフ関数電卓１０の図形証明問題回答モードに係る全体の処理を示すフローチャート。
【図４】前記グラフ関数電卓１０の図形証明問題回答モードでの全体処理に伴う図形要素選択処理を示すフローチャート。
【図５】前記グラフ関数電卓１０の図形証明問題回答モードでの全体処理に伴う状態設定処理を示すフローチャート。
【図６】前記グラフ関数電卓１０の図形証明問題回答モードでの全体処理に伴う設定状態書き出し処理を示すフローチャート。
【図７】前記グラフ関数電卓１０の図形証明問題回答モードでの全体処理に伴う図形表示動作（その１）を示す図。
【図８】前記グラフ関数電卓１０の図形証明問題回答モードでの全体処理に伴う図形表示動作（その２）を示す図。
【発明を実施するための形態】
【００１３】
以下図面により本発明の実施の形態について説明する。
【００１４】
図１は、本発明の図形情報表示装置の実施形態に係るグラフ関数電卓１０の外観構成を示す正面図である。
【００１５】
この関数電卓１０は、その携帯性の必要からユーザが片手で十分把持し片手で操作可能な小型サイズからなり、この関数電卓１０の本体正面にはキー入力部１１およびカラー表示部１６が設けられる。
【００１６】
キー入力部１１には、数字や数式を入力したり計算の実行を指示したりするための数字・演算記号キー群１２、各種の関数を入力するための関数機能キー群１３、各種動作モードのメニュー画面を表示させたり動作モードの設定を指示したりするためのモード設定キー群１４、カラー表示部１６に表示されたカーソルの移動操作やデータ項目の選択操作などを行うためのカーソルキー１５、カラー表示部１６の下端に沿ってメニュー表示される各種の機能を選択的に指定するためのファンクションキーＦ１〜Ｆ６が備えられる。
【００１７】
前記数字・演算記号キー群１２としては、「０」〜「９」（数字）キーおよび「＋」「−」「×」「÷」（演算記号）キー、「ＡＣ」（クリア）キー、「ＥＸＥ」（実行）キー１２ａなどが配列される。
【００１８】
前記関数機能キー群１３としては、「log」（対数）キー、「sin」（サイン）キー、「ａb/c」（分数）キーなどが配列される。
【００１９】
前記モード設定キー群１４としては、「Menu」（メニュー）キー、「SHIFT」（シフト）キー、「OPTN」（オプション）キーなどが配列される。
【００２０】
なお、前記数字・演算記号キー群１２に配列された各キーおよび前記関数機能キー群１３に配列された各キーは、当該各キー上側の本体面の表記に応じて各種の文字（記号）、演算子等を入力するキーとしても機能する。
【００２１】
前記カラー表示部１６は、ドットマトリクス型のカラー液晶表示ユニットからなり、その表示画面上には、当該画面のタッチ位置を検出するための透明タブレットのタッチパネル１６Ｔが重ねて設けられる。このタッチパネル１６Ｔへの手書き入力に伴う軌跡は、そのカラー表示部１６にエコーバックして表示される。
【００２２】
同図１において、カラー表示部１６には、図形証明問題回答モードでの図形表示領域１６ａと文字・式表示領域１６ｂとからなる証明問題表示画面が表示されている。
【００２３】
この証明問題表示画面において、等記号ｅ１，ｅ２が付加された辺ＡＢと辺ＡＣとがユーザによりタッチされて選択されると、選択された辺ＡＢと辺ＡＣとが強調されて識別表示ｈ１，ｈ２されると共に、等記号ｅ１，ｅ２に対応した証明式ＡＢ＝ＡＣが表示される。
【００２４】
この際、前記証明式ＡＢ＝ＡＣには、前記辺ＡＢと辺ＡＣとの長さが等しいとの状態（条件）をユーザによって設定したことを示す識別子（仮定）が付加されて表示される。
【００２５】
図２は、前記グラフ関数電卓１０の電子回路の構成を示すブロック図である。
【００２６】
この関数電卓１０は、処理部（ＣＰＵ）２１を備えている。
【００２７】
処理部（ＣＰＵ）２１は、記憶部２２に予め記憶されているシステムプログラム、あるいはメモリカードなどの外部記憶媒体２３から記憶媒体読み取り部２４により記憶部２２に読み込まれた電卓制御プログラム、あるいはインターネットなど、通信ネットワークＮ上のＷｅｂサーバ（プログラムサーバ）３０から通信制御部２５を介してダウンロードされ前記記憶部２２に読み込まれた電卓制御プログラムに従い、同記憶部２２に種々のデータを記憶させ、また読み出しながら回路各部の動作を制御する。
【００２８】
そして、前記記憶部２２に予め記憶されたシステムプログラムや電卓制御プログラムは、入力部２６であるキー入力部１１からのキー入力信号やタッチパネル１６Ｔからのタッチ位置検出信号に応じて起動される。
【００２９】
このように、前記処理部（ＣＰＵ）２１には、前記記憶部２２、記憶媒体読み取り部２４、通信制御部２５、入力部２６が接続される他に、カラー表示部（ＬＣＤ）１６が接続される。
【００３０】
前記カラー表示部１６は、図形証明問題回答モードにおいて、図形が表示される図形表示領域１６ａと当該図形中で選択された図形要素がその表記名や証明式に変換されて表示される文字・式表示領域１６ｂとからなる証明問題表示画面（図１参照）として表示される。
【００３１】
前記記憶部２２に記憶される電卓制御プログラムとしては、入力部２６によりユーザ入力される任意の数式に応じた演算処理を実行するための演算処理プログラム、同ユーザ入力される任意の数式に応じたグラフ描画処理を実行するためのグラフ描画処理プログラムなど、各種の処理プログラム２２ａが記憶される。
【００３２】
また、前記各種の処理プログラム２２ａとしては、図形証明問題回答モードの設定に伴い実行され、予め記憶された図形証明問題を呼び出して表示させ、同図形中で選択された図形要素をその設定状態（条件）に応じた表記名の文字列に変換して表示させたり、証明式に変換して表示させたりするための図形証明問題学習プログラムも記憶される。
【００３３】
そして、前記記憶部２２には、さらに、各種の図形証明問題をそれぞれその描画データとして記憶している描画図形記憶部２２ｂが備えられ、この描画図形記憶部２２ｂには、命題状態情報記憶部２２ｂ１、ユーザ設定状態情報記憶部２２ｂ２、図形要素記憶部２２ｂ３、図形要素名称記憶部２２ｂ４が備えられる。
【００３４】
命題状態情報記憶部２２ｂ１には、描画図形記憶部２２ｂに予め記憶された各種の図形証明問題の各図形に設定されている状態情報（辺の長さ、角度、平行、垂直など）が記憶される。
【００３５】
ユーザ設定状態情報記憶部２２ｂ２には、描画図形記憶部２２ｂに予め記憶された各種の図形証明問題の各図形について、ユーザ操作に応じて設定された状態情報（辺の長さ、角度、平行、垂直など）が記憶される。
【００３６】
図形要素記憶部２２ｂ３には、ユーザ操作に応じて描画図形記憶部２２ｂから読み出されて図形表示領域１６ａに表示された図形について、ユーザのタッチ操作に応じて選択されたところの図形要素が記憶される。
【００３７】
図形要素名称記憶部２２ｂ４には、前記図形要素記憶部２２ｂ３に記憶された図形要素についての前記命題状態情報記憶部２２ｂ１やユーザ設定状態情報記憶部２２ｂ２に記憶された設定状態に応じた表記名や証明式が記憶される。
【００３８】
このように構成されたグラフ関数電卓１０は、処理部（ＣＰＵ）２１が前記各種処理プログラム２２ａ（前記演算処理プログラム、グラフ描画処理プログラム、図形証明問題学習プログラムなどを含む）に記述された命令に従い回路各部の動作を制御し、ソフトウエアとハードウエアとが協働して動作することにより、以下の動作説明で述べる機能を実現する。
【００３９】
次に、前記構成によるグラフ関数電卓１０の図形証明問題回答モードに係る動作について説明する。
【００４０】
図３は、前記グラフ関数電卓１０の図形証明問題回答モードに係る全体の処理を示すフローチャートである。
【００４１】
図４は、前記グラフ関数電卓１０の図形証明問題回答モードでの全体処理に伴う図形要素選択処理を示すフローチャートである。
【００４２】
図５は、前記グラフ関数電卓１０の図形証明問題回答モードでの全体処理に伴う状態設定処理を示すフローチャートである。
【００４３】
図６は、前記グラフ関数電卓１０の図形証明問題回答モードでの全体処理に伴う設定状態書き出し処理を示すフローチャートである。
【００４４】
図７は、前記グラフ関数電卓１０の図形証明問題回答モードでの全体処理に伴う図形表示動作（その１）を示す図である。
【００４５】
ユーザ操作に応じてカラー表示部１６に表示される動作モードのメニュー選択画面（図示せず）に従って、証明問題回答モードが選択されて決定されると（ステップＳ１）、描画図形記憶部２２ｂに記憶された各種の図形証明問題を選択するための図形選択メニュー（図示せず）が表示される。
【００４６】
この図形選択メニューに従い、ユーザ任意の図形証明問題が選択されると、選択された図形証明問題の描画データが読み出され、例えば図７（Ａ）に示すように、直線ｌ上に直角の頂点Ａを置いた直角三角形ＡＢＣと当該三角形ＡＢＣの他の２頂点Ｂ，Ｃから前記直線ｌ上に各垂線ＢＰ，ＣＱを下ろしてなる証明問題の図形が、当該図形を構成する特徴点（Ａ，Ｂ，Ｃ等）を表す文字を付記してカラー表示部１６（証明問題表示画面）の図形表示領域１６ａに表示される（ステップＳ２）。
【００４７】
この図７（Ａ）で示す証明問題の図形において、当該図形に設定された辺や角度等の状態は命題状態情報記憶部２２ｂ１に記憶されており、これに基づき前記直角三角形ＡＢＣ、垂線ＢＰ，ＣＱそれぞれの直角記号が付加されて表示される。
【００４８】
こうして、ユーザ任意の証明問題の図形が選択されて表示されると、図４における図形要素選択処理へ移行される（ステップＳＡ）。
【００４９】
この図形要素選択処理に移行された状態で、図７（Ｂ）に示すように、表示されている図形の中の直角三角形ＡＢＣにおける辺ＡＢがペンタッチＴされて選択されると（ステップＡ１（Ｙｅｓ））、当該選択された図形要素の辺ＡＢが強調されて識別表示ｈされると共に、図形要素記憶部２２ｂ３に記憶される（ステップＡ２）。
【００５０】
すると、前記ペンタッチＴされた図形要素の辺ＡＢ上で、当該ペンタッチＴの移動方向が入力されたか否か判断される（ステップＡ３）。
【００５１】
ここで、前記辺ＡＢ上でのペンタッチＴの移動方向なしと判断された場合は（ステップＡ３（Ｎｏ））、選択された辺ＡＢの表記名が、当該辺ＡＢに対応付けられた文字「Ａ」「Ｂ」の配列順序（アルファベット順）に応じた並びの表記名「ＡＢ」として図形要素名称記憶部２２ｂ４に記憶される（ステップＡ４ｂ）。
【００５２】
一方、前記ペンタッチＴされた図形要素の辺ＡＢ上で、図７（Ｃ）の矢印ｘで示すように、点Ｂ側から点Ａ側へ向けたペンタッチＴの移動方向「Ｂ→Ａ」が入力されたと判断された場合は（ステップＡ３（Ｙｅｓ））、選択された辺ＡＢの表記名が、当該辺ＡＢに対して入力された方向に応じた順序の表記名「ＢＡ」として図形要素名称記憶部２２ｂ４に記憶される（ステップＡ４ａ）。
【００５３】
そして、図７（Ｄ）に示すように、カラー表示部１６（証明問題表示画面）において<<証明用スペース>>と表記された文字・式表示領域１６ｂがペンタッチＴされることにより書き出し操作されたと判断されると（ステップＡ５（Ｙｅｓ））、前記図形要素名称記憶部２２ｂ４に一時記憶された前記図形要素（辺ＡＢ）の表記名「ＢＡ」が読み出され、図７（Ｅ）に示すように、前記<<証明用スペース>>である文字・式表示領域１６ｂに表示される（ステップＡ６）。
【００５４】
この後、前記カラー表示部１６（証明問題表示画面）に表示中の図形において、他の図形要素が選択されたと判断された場合は（ステップＡ７（Ｙｅｓ））、前記ステップＡ２以降の処理に戻り、当該選択された図形要素が識別表示ｈされる（ステップＡ２）。
【００５５】
したがって、前記構成のグラフ関数電卓１０の図形証明問題回答モードにおける図形要素選択機能によれば、カラー表示部１６（証明問題表示画面）に表示されたユーザ任意の図形において、同図形の中の任意の図形要素がペンタッチＴされて選択され識別表示ｈされると、当該選択された図形要素の表記名が、同図形要素に付記された各文字の文字種に従った所定の配列順序か又はペンタッチＴに伴う移動方向に応じた各文字の順序で前記図形と共に表示される。
【００５６】
これにより、表示中の図形の各図形要素に対し、直接ペンタッチＴして選択するだけで、選択された図形要素をその選択の仕方に応じた表記名の文字列に直ちに変換して表示させることができる。
【００５７】
図８は、前記グラフ関数電卓１０の図形証明問題回答モードでの全体処理に伴う図形表示動作（その２）を示す図である。
【００５８】
図８（Ａ）に示すように、描画図形記憶部２２ｂから呼び出したユーザ任意の証明問題の図形（図７（Ａ）と同じ）を、カラー表示部１６の図形表示領域１６ａに表示させ（ステップＳ１，Ｓ２）、図４における図形要素選択処理（ステップＳＡ）に従い、図８（Ｂ）に示すように、直角三角形ＡＢＣの辺ＡＢと辺ＡＣとをペンタッチＴ１，Ｔ２して識別表示ｈ１，ｈ２させる（ステップＡ１，Ａ２）。
【００５９】
ここで、前記直角三角形ＡＢＣの辺ＡＢと辺ＡＣに沿った各ペンタッチＴ１，Ｔ２の方向の入力が判断されない場合は（ステップＡ３（Ｎｏ））、選択された図形要素である辺ＡＢと辺ＡＣの表記名は、当該各辺に付記された文字種に応じた配列順序通りの「ＡＢ」「ＡＣ」として図形要素名称記憶部２２ｂ４に記憶される（ステップＡ４ｂ）。
【００６０】
この後、前記選択された図形要素の表記名の書き出し操作および他の図形要素の選択操作を行うことなく（ステップＡ５（Ｎｏ）→Ａ７（Ｎｏ））、図５における状態設定処理へ移行されると（ステップＳＢ）、前記選択された図形要素として識別表示ｈ１，ｈ２されている直角三角形ＡＢＣの辺「ＡＢ」と辺「ＡＣ」とについて、図８（Ｃ）に示すように、当該２辺の関係を設定するための状態設定ウインドウＷＪが図形表示領域１６ａ上に重ねて表示される（ステップＢ１）。
【００６１】
この状態設定ウインドウ（２辺の関係）ＷＪにおいて、例えば項目「長さが等しい」が選択されてカーソルＣｕにより指示されると（ステップＢ１（Ｙｅｓ））、当該選択項目にて設定された２辺の状態（条件）「長さが等しい」が、前記識別表示ｈ１，ｈ２された図形要素の２つの辺「ＡＢ」「ＡＣ」に対応付けられてユーザ設定状態情報記憶部２２ｂ２に記憶される。そして、図８（Ｄ）に示すように、前記識別表示ｈ１，ｈ２されている２つの辺「ＡＢ」「ＡＣ」に対して、前記設定状態（条件）「長さが等しい」が反映され、等記号ｅ１，ｅ２が付加されて表示が更新される（ステップＢ２）。
【００６２】
この後、図６における設定状態書き出し処理に移行されると（ステップＳＣ）、図８（Ｅ）に示すように、前記設定状態（条件）「長さが等しい」が等記号ｅ１，ｅ２により反映されて識別表示ｈ１，ｈ２されている図形要素（辺「ＡＢ」「ＡＣ」）の証明式（解）を書き出すための証明吐出しウインドウＷＤが、図形表示領域１６ａ上に重ねて表示される（ステップＣ１）。
【００６３】
この証明吐出しウインドウＷＤにおいて、証明式（解）の書き出しを指示する項目「Ｙｅｓ」が選択されてカーソルＣｕにより指示されると（ステップＣ１（Ｙｅｓ））、前記図形要素名称記憶部２２ｂ４に記憶された図形要素（辺「ＡＢ」「ＡＣ」）の表記名「ＡＢ」「ＡＣ」に対して、当該図形要素（辺「ＡＢ」「ＡＣ」）に対応付けられて前記ユーザ設定状態情報記憶部２２ｂ２に記憶された設定状態（条件）「長さが等しい」を反映させた証明式（解）「ＡＢ＝ＡＣ」が生成される。そして、図８（Ｆ）に示すように、カラー表示部１６（証明問題表示画面）において<<証明用スペース>>と表記された文字・式表示領域１６ｂに前記生成された証明式（解）「ＡＢ＝ＡＣ」が表示される（ステップＣ２）。
【００６４】
この際、前記証明式（解）「ＡＢ＝ＡＣ」に反映させた設定状態（条件）「長さが等しい」がユーザによる設定である、つまり、前記ユーザ設定状態情報記憶部２２ｂ２に記憶された設定状態（条件）であると判断された場合は（ステップＣ３（Ｙｅｓ））、当該証明式（解）「ＡＢ＝ＡＣ」に、ユーザ設定であることを表記するメッセージ（仮定）が付記されて表示される（ステップＣ４）。
【００６５】
一方、前記証明式（解）「ＡＢ＝ＡＣ」に反映させた設定状態（条件）「長さが等しい」がユーザによる設定ではない、つまり、前記ユーザ設定状態情報記憶部２２ｂ２に記憶された設定状態（条件）でではなく、前記命題状態情報記憶部２２ｂ１に現在表示中の証明問題の図形に対応付けられて予め記憶された設定状態（条件）であると判断された場合は（ステップＣ３（Ｎｏ））、前記ユーザ設定であることを表記するメッセージ（仮定）は付記されない（ＲＥＴＵＲＮ）。
【００６６】
したがって、前記構成のグラフ関数電卓１０の図形証明問題回答モードにおける図形要素選択機能、状態設定機能、設定状態書き出し機能によれば、カラー表示部１６（証明問題表示画面）に表示されたユーザ任意の図形において、同図形の中の任意の図形要素（辺「ＡＢ」「ＡＣ」）をペンタッチＴ１，Ｔ２により選択して識別表示ｈ１，ｈ２させ、当該選択された図形要素（辺「ＡＢ」「ＡＣ」）の状態（条件）を、状態設定ウインドウ（２辺の関係）ＷＪに基づくユーザ操作に応じて例えば［長さが等しい］として設定できる。すると、前記表示中の図形の選択された図形要素（辺「ＡＢ」「ＡＣ」）に設定された状態（条件）［長さが等しい］を反映させた等記号ｅ１，ｅ２が付記表示され、さらにその証明式（解）「ＡＢ＝ＡＣ」が書き出されて表示される。
【００６７】
そして、前記選択された図形要素（辺「ＡＢ」「ＡＣ」）に設定された状態（条件）［長さが等しい］がユーザにより設定された状態（条件）である場合は、前記証明式（解）「ＡＢ＝ＡＣ」にその旨を表記するメッセージ（仮定）が付記表示される。
【００６８】
これにより、表示中の図形の各図形要素に対し、直接ペンタッチＴして選択するだけで、選択された図形要素について、辺の長さや角度等に関するユーザ任意の状態（条件）を簡単に設定して表示更新できるばかりか、当該図形要素に設定された状態（条件）を反映させた同図形要素の表記名や証明式等の文字列に直ちに変換して表示させることもできる。
【００６９】
よって、図形に設定された状態（条件）を文字情報として簡単に書き出すことが可能になり、図形の学習をより効果的に実施することができる。
【００７０】
なお、前記実施形態では、選択された図形要素に設定される状態として、辺の長さや角度等に関し、例えば２辺の長さが等しい状態（「ＡＢ＝ＡＣ」）を設定して説明したが、角度が等しい、図形の合同・相似等、他の設定状態に関しても同様に機能する事は言うまでもない。
【００７１】
なお、前記各実施形態において記載したグラフ関数電卓１０の動作手法、すなわち、図３のフローチャートに示す図形証明問題回答モードに係る全体の処理、および図４、図５、図６のフローチャートに示す前記全体の処理に伴う図形要素選択処理、状態設定処理、設定状態書き出し処理などの各手法は、コンピュータに実行させることができるプログラムとして、メモリカード（ＲＯＭカード、ＲＡＭカード等）、磁気ディスク（フロッピディスク、ハードディスク等）、光ディスク（ＣＤ−ＲＯＭ、ＤＶＤ等）、半導体メモリ等の外部記憶媒体（２３）に格納して配布することができる。そして、電子式計算機（１０）のコンピュータ（２１）は、この外部記憶媒体（２３）に記憶されたプログラムを記憶装置（２２）に読み込み、この読み込んだプログラムによって動作が制御されることにより、前記各実施形態において説明した表示中の図形における図形要素の選択／状態設定／設定状態書き出し機能を実現し、前述した手法による同様の処理を実行することができる。
【００７２】
また、前記手法を実現するためのプログラムのデータは、プログラムコードの形態として通信ネットワーク（公衆回線）Ｎ上を伝送させることができ、この通信ネットワークＮに接続された通信装置（２５）によって、前記プログラムデータを、電子式計算機（１０）のコンピュータ（２１）に取り込み、前述した表示中の図形における図形要素の選択／状態設定／設定状態書き出し機能を実現することもできる。
【００７３】
なお、本願発明は、前記各実施形態に限定されるものではなく、実施段階ではその要旨を逸脱しない範囲で種々に変形することが可能である。さらに、前記各実施形態には種々の段階の発明が含まれており、開示される複数の構成要件における適宜な組み合わせにより種々の発明が抽出され得る。例えば、各実施形態に示される全構成要件から幾つかの構成要件が削除されたり、幾つかの構成要件が異なる形態にして組み合わされても、発明が解決しようとする課題の欄で述べた課題が解決でき、発明の効果の欄で述べられている効果が得られる場合には、この構成要件が削除されたり組み合わされた構成が発明として抽出され得るものである。
【００７４】
以下に、本願出願の当初の特許請求の範囲に記載された発明を付記する。
【００７５】
［１］
図形を表示部に表示させる図形表示手段と、
この図形表示手段により表示された図形に含まれる図形要素をユーザ操作に応じて選択する図形要素選択手段と、
この図形要素選択手段により選択された図形要素に設定された状態に応じた文字情報を書き出す図形対応文字書き出し手段と、
を備えたことを特徴とする図形情報表示装置。
【００７６】
［２］
前記図形要素選択手段により選択された図形要素に対して、ユーザ操作に応じて新たな状態を設定する状態設定手段と、
この状態設定手段により前記選択された図形要素に対し設定された状態に応じて、前記図形表示手段により表示された図形を更新して表示させる図形更新表示手段とを備え、
前記図形対応文字書き出し手段は、前記図形要素選択手段により選択された図形要素に設定された状態が前記状態設定手段によりユーザ操作に応じて設定された状態である場合は、同図形要素に設定された状態に応じた文字情報にユーザによる設定状態であることを付記して書き出す、
ことを特徴とする［１］に記載の図形情報表示装置。
【００７７】
［３］
前記図形表示手段は、図形を当該図形を構成する特徴点を表す文字を付記して表示部に表示させ、
前記図形対応文字書き出し手段は、前記図形要素選択手段により選択された図形要素に設定された状態に応じた文字情報を同図形要素に付記された文字の配列順序に応じた文字列情報として書き出す、
ことを特徴とする［１］又は［２］に記載の図形情報表示装置。
【００７８】
［４］
前記図形要素選択手段によりユーザ操作に応じて選択された図形要素について、当該ユーザ操作の方向が入力されたか否かを判断する方向入力判断手段を備え、
前記図形対応文字書き出し手段は、前記図形要素選択手段により選択された図形要素について、前記方向入力判断手段によりユーザ操作の方向が入力されたと判断された場合は、当該図形要素に設定された状態に応じた文字情報を同図形要素に付記された文字の前記ユーザ操作の方向に応じた順序の文字列情報として書き出す、
ことを特徴とする［３］に記載の図形情報表示装置。
【００７９】
［５］
前記図形表示手段により表示される図形は、当該図形に含まれる図形要素の状態が予め設定された証明問題の図形として与えられ、
前記図形対応文字書き出し手段は、前記図形要素選択手段により選択された図形要素に設定された状態に応じた文字情報を前記証明問題の解として書き出す、
ことを特徴とする［４］に記載の図形情報表示装置。
【００８０】
［６］
表示部を備えた電子式計算機のコンピュータを制御するためのプログラムであって、
前記コンピュータを、
図形を前記表示部に表示させる図形表示手段、
この図形表示手段により表示された図形に含まれる図形要素をユーザ操作に応じて選択する図形要素選択手段、
この図形要素選択手段により選択された図形要素に設定された状態に応じた文字情報を書き出す図形対応文字書き出し手段、
として機能させるためのプログラム。
【符号の説明】
【００８１】
１０  …グラフ関数電卓
１１  …キー入力部
１２  …数字・演算記号キー群
１３  …関数機能キー群
１４  …モード設定キー群
１５  …カーソルキー
１６  …カラー表示部
１６ａ…図形表示領域
１６ｂ…文字・式表示領域
１６Ｔ…タッチパネル
２１  …処理部（ＣＰＵ）
２２  …記憶部
２２ａ…各種処理プログラム
２２ｂ…描画図形記憶部
２２ｂ１…命題状態情報記憶部
２２ｂ２…ユーザ設定状態情報記憶部
２２ｂ３…図形要素記憶部
２２ｂ４…図形要素名称記憶部
２３  …外部記憶媒体
２４  …記憶媒体読み取り部
２５  …通信制御部
２６  …入力部
３０  …Ｗｅｂサーバ
Ｎ  …通信ネットワーク
Ｔ１，Ｔ２…ペンタッチ
ｈ１，ｈ２…識別表示
ｅ１，ｅ２…等記号
ＷＪ  …状態設定ウインドウ
ＷＤ  …証明吐出しウインドウ
【図１】
0005760686.tif 000002
【図２】
0005760686.tif 000003
【図３】
0005760686.tif 000004
【図４】
0005760686.tif 000005
【図５】
0005760686.tif 000006
【図６】
0005760686.tif 000007
【図７】
0005760686.tif 000008
【図８】
0005760686.tif 000009