(57)【特許請求の範囲】
【請求項１】
左辺、等号または不等号、右辺の順に表記される数式を入力する入力手段と、
前記入力手段から入力された数式をディスプレイ上に表示させる表示制御手段と、
前記入力された数式を検証し、真または偽の検証結果を出力する検証手段と、
前記検証手段による前記数式の検証結果が真である場合に、検証された前記数式の右辺を新たな数式の左辺として表示させ、ユーザに右辺の入力を行わせる入力制御手段と、
を備えることを特徴とする電子機器。
【請求項２】
前記入力制御手段は、検証された前記数式に含まれる等号または不等号を、表示させた前記新たな数式の前記左辺の右側に追加して表示させて、ユーザに右辺の入力を行わせることを特徴とする請求項１に記載の電子機器。
【請求項３】
前記入力制御手段は、前記検証手段による前記数式の検証結果が真である場合、かつ、ユーザによる所定の操作があった場合に、検証された前記数式の前記右辺を新たな数式の左辺に表示させることを特徴とする請求項１または請求項２に記載の電子機器。
【請求項４】
前記検証手段は、前記数式に複数の等号または不等号が含まれている場合には、最も右側に表記されている等号または不等号に関する数式の部分を対象として検証を行うことを特徴とする請求項１から請求項３のいずれか一項に記載の電子機器。
【請求項５】
前記検証手段により真であると検証された前記数式の履歴を記憶する記憶手段と、
ユーザにより所定の操作が行われた場合に、前記記憶手段に記憶された、真であると検証された前記数式の履歴を１つの数式の形で表示する履歴表示手段と、
を備えることを特徴とする請求項１から請求項４のいずれか一項に記載の電子機器。
【請求項６】
ディスプレイを備えたコンピュータを、
左辺、等号または不等号、右辺の順に表記される数式を入力する入力手段と、
前記入力手段から入力された数式をディスプレイ上に表示させる表示制御手段と、
前記入力された数式を検証し、真または偽の検証結果を出力する検証手段と、
前記検証手段による前記数式の検証結果が真である場合に、検証された前記数式の右辺を新たな数式の左辺として表示させ、ユーザに右辺の入力を行わせる入力制御手段、
として機能させるためのプログラム。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、電子機器およびプログラムに係り、特にＶｅｒｉｆｙ機能を有する関数電卓等の電子機器およびプログラムに関する。
【背景技術】
【０００２】
従来から、関数電卓等の電子機器として、Ｖｅｒｉｆｙ（検証）機能を有する電子機器が知られている。例えば特許文献１には、演算式を入力し、ユーザ自身の計算による解を入力した上で検証を行わせるキー操作を行うと、ユーザの解と、演算式から算出される複数の解とを比較して真偽（正解や不正解等）を表示する演算表示装置等が記載されている。
【０００３】
また、例えば特許文献２には、入力された方程式と、入力された変形式の解が一致するか否かを判別するＶｅｒｉｆｙ機能を備え、ユーザが入力した置換式で方程式を記述した置換方程式が入力された場合でもＶｅｒｉｆｙ処理を行うことが可能な電子機器等が記載されている。
【先行技術文献】
【特許文献】
【０００４】
【特許文献１】特開２０００−２９８４２３号公報
【特許文献２】特開２０１１−２３２４６８号公報
【発明の概要】
【発明が解決しようとする課題】
【０００５】
ところで、従来のＶｅｒｉｆｙ機能を有する関数電卓等の電子機器では、等号（＝）や不等号（＞、＜、≧、≦）の左辺と右辺とを比較し、等号や不等号が成立しているか否か、すなわち真偽を判定するように構成されていた。そのため、例えば、ユーザがノート等で式の展開を行う場合には、通常、
（ｘ＋１）（ｘ＋５）＝ｘ２＋ｘ＋５ｘ＋５    …（１）
＝ｘ２＋６ｘ＋５    …（２）
のように数式を記載して式を展開するが、従来の電子機器では、少なくとも上記の（２）の数式については左辺が記載されていないため、Ｖｅｒｉｆｙ機能が働かず真偽を判定することができなかった。
【０００６】
そして、従来の電子機器では、上記のように式を展開する場合、Ｖｅｒｉｆｙ機能で上記の（１）の数式が真と判定されると、
（ｘ＋１）（ｘ＋５）＝ｘ２＋ｘ＋５ｘ＋５    …（１）
ｘ２＋ｘ＋５ｘ＋５＝…
のように、ユーザが、真と判定された上記（１）の数式の右辺をもう一度左辺に入力し直して、式の展開を行わなければならなかった。
【０００７】
そして、同様の問題が、例えば、因数分解を行うような場合や不等号を用いた数式の場合等にも生じていた。そこで、Ｖｅｒｉｆｙ機能を有する電子機器を使用する際に、ユーザがより容易に式の計算や数の比較等を行うことができるようにし、電子機器をより使い勝手が良いものとすることが求められている。
【０００８】
本発明は、上記の問題点を鑑みてなされたものであり、式の計算や数の比較等を容易に行うことができ、使い勝手が良い電子機器およびプログラムを提供することを目的とする。
【課題を解決するための手段】
【０００９】
以上の課題を解決するため、本発明の電子機器は、
左辺、等号または不等号、右辺の順に表記される数式を入力する入力手段と、
前記入力手段から入力された数式をディスプレイ上に表示させる表示制御手段と、
前記入力された数式を検証し、真または偽の検証結果を出力する検証手段と、
前記検証手段による前記数式の検証結果が真である場合に、検証された前記数式の右辺を新たな数式の左辺として表示させ、ユーザに右辺の入力を行わせる入力制御手段と、
を備えることを特徴とする。
【発明の効果】
【００１０】
本発明によれば、電子機器を、式の計算や数の比較等を容易に行うことができ、ユーザにとって使い勝手が良いものとすることが可能となる。
【図面の簡単な説明】
【００１１】
【図１】電子機器の一例としての関数電卓の概観を示す平面図である。
【図２】関数電卓の内部構成を示すブロック図である。
【図３】Ｖｅｒｉｆｙモードにおける電子機器のＣＰＵの動作を説明するフローチャートである。
【図４】（Ａ）〜（Ｃ）ディスプレイ上に表示される表示例等を表す図である。
【図５】（Ａ）〜（Ｅ）ディスプレイ上に表示される表示例等を表す図である。
【図６】（Ａ）〜（Ｅ）ディスプレイ上に表示される表示例等を表す図である。
【図７】履歴表示処理における電子機器のＣＰＵの動作を説明するフローチャートである。
【図８】（Ａ）、（Ｂ）ディスプレイ上に表示される表示例等を表す図である。
【発明を実施するための形態】
【００１２】
以下、本発明に係る電子機器の実施の形態について、図面を参照して説明する。なお、以下では、電子機器が関数電卓である場合について説明するが、本発明は、電子機器が関数電卓である場合に限定されず、例えばスマートフォンや携帯情報端末等で式の計算や数の比較等を行う場合のように、式の計算や数の比較等を行うことが可能な電子機器であればどのような電子機器にも適用される。また、発明の範囲は、図示例に限定されない。
【００１３】
図１は、本実施形態に係る電子機器の例としての関数電卓の平面図である。図１に示すように、関数電卓１は、各種キー群を有する入力キー群２と、ディスプレイ１０とを備えている。
【００１４】
入力キー群２は、ユーザから数値や計算記号等の数式構成要素の入力操作を受けたり、各種処理の指示操作を受けたりするためのキー群であり、それぞれ固有の機能を割り当てられた複数のキーを備えている。本実施形態においては、入力キー群２は、テンキー２０やカーソルキー２１、MENUキー２２、EXEキー２３、VERIFYキー２４等を備えている。
【００１５】
このうち、テンキー２０は数値の入力操作を受けるキーである。また、カーソルキー２１は、ディスプレイ１０内で編集対象位置や選択対象位置を示すカーソルを所定の方向に移動させる場合等に押下されるキーであり、本実施形態では、上下左右の４方向について入力可能に構成されている。
【００１６】
MENUキー２２は、ユーザが種々の機能を設定したり選択したりする際に押下されるキーであり、EXEキー２３は、所定の処理を実行させるために押下するキーである。VERIFYキー２４は、関数電卓１をＶｅｒｉｆｙモードに設定し、後述するＣＰＵ１１に検証（Ｖｅｒｉｆｙ）処理を実行させるために押下するキーである。
【００１７】
また、ディスプレイ１０は、液晶ディスプレイ（Liquid Crystal Display）等により構成されており、入力キー群２などの操作に応じた数や文字、符号、等号或いは不等号等からなる数式や、Ｖｅｒｉｆｙモードでの検証結果等の各種データを、複数のドットにより表示するようになっている。なお、ディスプレイ１０に、タッチパネルを、例えば表示画面全面に亘って一体的に設けることも可能であり、ユーザがタッチパネルにタッチすることにより入力を行うこともできるように構成することも可能である。
【００１８】
［内部構成］
次に、関数電卓１の内部構造について説明する。図２は、関数電卓１の内部構成を示すブロック図である。図２に示すように、関数電卓１は、ＣＰＵ（Central Processing Unit）１１と、表示駆動部１２と、キー入力部１３と、通信部１４と、記録媒体読取部１５と、記憶部１６と、ＲＡＭ（Random Access Memory）１７とを備えて構成されている。
【００１９】
表示駆動部１２は、ＣＰＵ１１からの制御に従って、前述したディスプレイ１０上に各種情報を表示するように駆動制御するようになっている。
【００２０】
キー入力部１３は、前述した入力キー群２（前述したようにタッチパネルを設ける場合には入力キー群２とタッチパネル）を備えており、ユーザ操作により入力されたキーに対応するキー入力信号をＣＰＵ１１に出力する。そして、ＣＰＵ１１は、ユーザが入力キー群２に対して操作を行って数や文字、符号、等号或いは不等号等を入力して数式を入力し、キー入力部１３から数式のデータが入力されると、表示駆動部１２に、入力された数式をディスプレイ１０上に表示させたり、演算を実行したり、検証処理を実行したり、或いは種々の処理を行う。
【００２１】
通信部１４は、関数電卓１を例えば図示しないネットワークに接続した場合等に、これを介してネットワーク等に接続される外部機器（例えばサーバやコンピュータ等）との間で通信を行う。
【００２２】
記録媒体読取部１５は、着脱自在に装着されるＵＳＢメモリ等の外部情報記録媒体１５Ａから情報を読み取るようになっている。なお、後述する本発明に係るプログラムを外部情報記録媒体１５Ａから記録媒体読取部１５経由で読み込むように構成することも可能であり、また、本発明に係るプログラムを関数電卓１から外部情報記録媒体１５Ａに読み出すことができるように構成することも可能である。
【００２３】
記憶部１６は、本発明に係るプログラムを含む各種のプログラムを記憶する記憶領域１６０を備えており、その他、必要なデータや情報等を記憶している。
【００２４】
ＲＡＭ１７は、ＣＰＵ１１が各種の処理を行う際の作業領域とされるとともに、少なくとも、上記のように入力キー群２が操作されて入力された入力データを一時的に記憶する記憶領域１７０や、ディスプレイ１０上に表示させる表示データを一時的に記憶する記憶領域１７１、後述する連続入力を行うために必要なデータ（すなわち連続入力用データ）を一時的に記憶する記憶領域１７２、後述する真であると検証された数式の履歴のデータ（すなわち履歴データ）を一時的に記憶する記憶領域１７３等を備えている。
【００２５】
ＣＰＵ１１は、関数電卓１の各部を中央制御する。具体的には、ＣＰＵ１１は、記憶部１６の記憶領域１６０に記憶されているシステムプログラムや各種アプリケーションプログラムの中から指定されたプログラムを読み出してＲＡＭ１７の作業領域に展開し、ＲＡＭ１７に展開されたプログラムとの協働で、各種処理を実行する。また、ＣＰＵ１１は、表示駆動部１２を制御して、ディスプレイ１０上に必要な表示を行わせるようになっている。
【００２６】
［動作］
次に、本実施形態に係る電子機器である関数電卓１における動作について、各図面に示すフローチャートに基づいて説明する。また、本実施形態に係る電子機器である関数電卓１の作用についてもあわせて説明する。なお、以下で説明する関数電卓１の動作は、前述した本発明に係るプログラムに従って行われるため、以下の説明は、本発明に係るプログラムについての説明にもなっている。
【００２７】
［Ｖｅｒｉｆｙモードにおける動作について］
関数電卓１のＣＰＵ１１は、ユーザによりVERIFYキー２４（図１参照）が押下されるとＶｅｒｉｆｙモードに移行し、以下で説明するように、入力された数式を検証し、真または偽の検証結果を出力する検証（Ｖｅｒｉｆｙ）処理を実行するようになっている。以下、ＶｅｒｉｆｙモードにおけるＣＰＵ１１の動作等について、図３のフローチャートに基づいて説明する。
【００２８】
ＣＰＵ１１は、検証すべき数式がユーザのキー操作により入力されると、入力された数式をディスプレイ１０上に表示する（ステップＳ１）。そして、EXEキー２３が押下されると（ステップＳ２；Ｙｅｓ。後述する図４（Ｂ）や図５（Ｂ）参照）、検証処理を実行する。その際、ＣＰＵ１１は、図４（Ａ）に示すように、入力された数式に複数の等号（或いは不等号）が含まれているか判断し（ステップＳ３）、複数含まれている場合には（ステップＳ３；Ｙｅｓ）、最も右側に表記されている等号（或いは不等号）に関する式（図４（Ａ）の場合は４−２＝２×１）を検証処理の対象とする（ステップＳ４）。
【００２９】
なお、図５（Ａ）に示すように、数式に複数の等号（或いは不等号）が含まれていない場合には（ステップＳ３；Ｎｏ）、ＣＰＵ１１は、ステップＳ４の処理を飛ばしてステップＳ５の処理に移る。また、以下では、等号や不等号のことをまとめて記号という。
【００３０】
ＣＰＵ１１は、続いて、検証の対象である数式に含まれる記号が等号であるか判断し（ステップＳ５）、等号である場合には（ステップＳ５；Ｙｅｓ）、等号の左辺と右辺とが等しいか否かの検証（Ｖｅｒｉｆｙ）を行う（ステップＳ６）。そして、検証の結果、等号の左辺と右辺とが等しい場合には（ステップＳ６；Ｙｅｓ）、図４（Ｂ）や図５（Ｂ）に示すように、ディスプレイ１０上に表示された数式の近傍に「ＴＲＵＥ」の文字を表示させて（ステップＳ７）、入力された数式が正解であること（すなわち検証結果が真であること）をユーザに知らせる。
【００３１】
そして、この状態で、ユーザによりEXEキー２３が押下されると（ステップＳ８；Ｙｅｓ。すなわち数式の検証結果が真であり、ユーザによる所定の操作があった場合）、ＣＰＵ１１は、検証した数式の右辺を、図４（Ｃ）や図５（Ｃ）に示すように、新たな数式の左辺に移して表示させて（ステップＳ９）、さらに等号を、新たに表示させた左辺の右側に追加して表示させるとともに、その右側にカーソルＣｕを表示させて（ステップＳ１０）、ユーザに右辺の入力を行わせる。
【００３２】
すなわち、以上の各処理を図２に示した電子機器１の内部構成に基づいて説明すると、ＣＰＵ１１は、ユーザが数や文字、符号、等号或いは不等号等を入力するごとに（ステップＳ１）、入力されたデータをＲＡＭ１７（図２参照）の入力データを一時的に記憶する記憶領域１７０に記憶させていき、ディスプレイ１０上に表示させるための数式等のデータを表示データとして記憶領域１７１に一時的に記憶させる。
【００３３】
そして、上記のように、検証結果が真であり、検証した数式の右辺を新たな数式の左辺に移して表示させる際には（ステップＳ９）、記憶領域１７１に記憶されている表示データの中から、検証した数式の右辺（或いは最も右側の等号の右辺）のデータ（例えば図５（Ｂ）の場合にはｘ２＋ｘ＋５ｘ＋５）を、連続して数式を入力するために必要なデータすなわち連続入力用データとして抽出して、記憶領域１７２に記憶させる。そして、その連続入力用データを表示駆動部１２に送信して、図５（Ｃ）に示したように、新たな数式の左辺に移し、等号とカーソルＣｕを追加して表示させるように構成される。
【００３４】
なお、図４（Ｃ）や図５（Ｃ）では、ユーザが最初に入力した数式がディスプレイ１０上から消され、新たな数式のみが表示される場合が示されているが、ディスプレイ１０の表示スペースが広い場合には、例えば、新たな数式の上側に、ＣＰＵ１１が真偽を検証した数式の表示を残すように構成することも可能である。
【００３５】
そして、図５（Ｃ）に示した状態で、例えばユーザがさらに右辺を入力して（ステップＳ１。図５（Ｄ）参照）、EXEキー２３を押下すると（ステップＳ２；Ｙｅｓ）、ＣＰＵ１１は、上記と同様に、記号が等号であり（ステップＳ５；Ｙｅｓ）、検証の結果、左辺と右辺とが等しければ（ステップＳ６；Ｙｅｓ）、図５（Ｅ）に示すように、ディスプレイ１０上に表示された数式の近傍に「ＴＲＵＥ」の文字を表示させる（ステップＳ７）。
【００３６】
そして、図示を省略するが、図５（Ｅ）に示した状態でさらにEXEキー２３が押下されると、ＣＰＵ１１は、検証した数式の右辺（この場合はｘ２＋６ｘ＋５）を新たな数式の左辺に表示させて（ステップＳ９）、新たに表示させた左辺の右側に等号を追加して表示させ、その右側にカーソルＣｕを表示させて（ステップＳ１０）、ユーザに右辺の入力を行わせる、という処理を続行する。
【００３７】
また、図示を省略するが、ＣＰＵ１１は、検証の結果、検証の対象である数式の等号の左辺と右辺とが等しくないと判定した場合には（ステップＳ６；Ｎｏ）、ディスプレイ１０上に表示された数式の近傍に「ＦＡＬＳＥ」の文字を表示させて（ステップＳ１１）、入力された数式が不正解であること（すなわち検証結果が偽であること）をユーザに知らせる。
【００３８】
そして、ユーザが誤りを修正するためにカーソルキー２１のうち「↑」や「←」、「→」キーを押下するか、あるいは新たな数式を入力するためのキー操作をすると、ＣＰＵ１１は、新たな入力が行われると判断して（ステップＳ１２；Ｙｅｓ）、指定された方向にカーソルを移動させて表示中の数式を訂正させるか新たな数式を入力させる処理（ステップＳ１）に戻る。なお、ユーザがカーソルキー２１のうち「↓」キーを押下した場合にはＣＰＵ１１は別の処理を行うが、それについては後で説明する。
【００３９】
一方、ＣＰＵ１１は、検証の対象である数式に含まれる記号が等号でなかった場合には（ステップＳ５；Ｎｏ）、数式に含まれる記号が不等号であるか判断する（ステップＳ１３）。そして、数式に含まれる記号が不等号である場合には（ステップＳ１３；Ｙｅｓ。図６（Ａ）参照）、不等号の大小関係（以上や以下の場合も含む。）が正しいか否かの検証（Ｖｅｒｉｆｙ）を行う（ステップＳ１４）。そして、検証の結果、大小関係が正しい場合には（ステップＳ１４；Ｙｅｓ）、図６（Ｂ）に示すように、ディスプレイ１０上に表示された数式の近傍に「ＴＲＵＥ」の文字を表示させて（ステップＳ１５）、入力された数式が正解であること（すなわち検証結果が真であること）をユーザに知らせる。
【００４０】
そして、この状態で、ユーザによりEXEキー２３が押下されると（ステップＳ１６；Ｙｅｓ。すなわち数式の検証結果が真であり、ユーザによる所定の操作があった場合）、ＣＰＵ１１は、検証した数式の右辺を、図６（Ｃ）に示すように、新たな数式の左辺に表示させて（ステップＳ１７）、さらに不等号を、新たに表示させた左辺の右側に追加して表示させるとともに、その右側にカーソルＣｕを表示させて（ステップＳ１８）、ユーザに右辺の入力を行わせる。
【００４１】
なお、その際の電子機器１の内部構成におけるデータの処理については、上記の等号の場合（ステップＳ８以下参照）と同様であるので、説明を省略する。また、図６（Ｃ）の場合に、新たな数式の上側に、ＣＰＵ１１が真偽を検証した数式の表示を残すように構成することが可能であることも、等号の場合と同様である。
【００４２】
そして、図６（Ｃ）に示した状態で、例えばユーザがさらに右辺を入力して（ステップＳ１。図６（Ｄ）参照）、EXEキー２３を押下すると（ステップＳ２；Ｙｅｓ）、ＣＰＵ１１は、上記と同様に、記号が不等号であり（ステップＳ１３；Ｙｅｓ）、検証の結果、大小関係が正しければ（ステップＳ１４；Ｙｅｓ）、図６（Ｅ）に示すように、ディスプレイ１０上に表示された数式の近傍に「ＴＲＵＥ」の文字を表示させる（ステップＳ１５）。
【００４３】
そして、図示を省略するが、図６（Ｅ）に示した状態でさらにEXEキー２３が押下されると、ＣＰＵ１１は、検証した数式の右辺（この場合は１．２）を新たな数式の左辺に表示させて（ステップＳ１７）、新たに表示させた左辺の右側に不等号を追加して表示させ、その右側にカーソルＣｕを表示させて（ステップＳ１８）、ユーザに右辺の入力を行わせる、という処理を続行する。
【００４４】
また、図示を省略するが、ＣＰＵ１１は、検証の結果、検証の対象である数式の不等号の大小関係が正しくないと判定した場合には（ステップＳ１４；Ｎｏ）、ディスプレイ１０上に表示された数式の近傍に「ＦＡＬＳＥ」の文字を表示させて（ステップＳ１９）、入力された数式が不正解であること（すなわち検証結果が偽であること）をユーザに知らせる。
【００４５】
そして、ユーザが上記同様、誤りを修正するためのキー操作かあるいは新規の数式を入力するキー操作が行われると、ＣＰＵ１１は、新たな入力が行われると判断して（ステップＳ１２；Ｙｅｓ）、表示中の数式を訂正させるか新規の数式を入力させる処理（ステップＳ１）に戻る。
なお、ＣＰＵ１１は、ユーザによりEXEキー２３が押下されたが（ステップＳ２；Ｙｅｓ）、検証の対象である数式に等号や不等号の記号が含まれていない場合には（ステップＳ５；Ｎｏ、ステップＳ１３；Ｎｏ）、検証の処理を何もしない（ＮＯＰ（no operation）参照）。
【００４６】
［履歴を表示させる処理について］
一方、ＣＰＵ１１は、上記のように、ステップＳ６やステップＳ１４の検証（Ｖｅｒｉｆｙ）処理で、検証結果が真であった場合、ディスプレイ１０上に表示された数式の近傍に「ＴＲＵＥ」の文字を表示させるとともに（ステップＳ７、Ｓ１５。図４（Ｂ）、図５（Ｂ）、図６（Ｂ）等参照）とともに、上記のように、ＲＡＭ１７の記憶領域１７１に記憶されている表示データの中から、検証した数式の右辺（或いは最も右側の等号の右辺）のデータ（例えば図５（Ｂ）の場合にはｘ２＋ｘ＋５ｘ＋５）を連続入力用データとして記憶領域１７２に記憶させる。
【００４７】
その際、ＣＰＵ１１は、連続入力用データを、履歴データとして、ＲＡＭ１７の記憶領域１７３に記憶させていくようになっている。そして、連続入力用データは、例えば図５（Ｃ）に示したように新たな数式の左辺に移して表示された後、ＲＡＭ１７の記憶領域１７２から消去されたり新たな連続入力用データで上書きされたりするが、それを履歴データとして記憶領域１７３に記憶すると、履歴データは消去されない。
【００４８】
そのため、本実施形態では、一連の検証処理で真であると検証された全ての数式（履歴データすなわち上記の検証した数式の右辺）がＲＡＭ１７の記憶領域１７３に記憶されて残される。このようにして、ＲＡＭ１７の記憶領域１７３には、検証の結果、真であると検証された数式の履歴が記憶されるようになっている。
【００４９】
そして、ＣＰＵ１１は、ユーザにより所定の操作が行われた場合に、上記のＲＡＭ１７の記憶領域１７３に記憶されている、真であると検証された数式の履歴を１つの数式の形で表示するようになっている。以下、図７のフローチャート等に基づいて具体的に説明する。
【００５０】
ＣＰＵ１１は、Ｖｅｒｉｆｙモードで、ユーザによりカーソルキー２１のうち「↓」キーが押下された場合（ステップＳ３１；Ｙｅｓ）、図８（Ａ）に示すように、ディスプレイ１０上に検証結果である「ＴＲＵＥ」の文字を表示中であれば（ステップＳ３２；Ｙｅｓ）、以下のようにして履歴表示処理を行うが、検証結果を表示中でない場合には（ステップＳ３２；Ｎｏ）、通常の処理の中で「↓」キーが押下されたと判断して、その状態に応じた処理（すなわちカーソルを下方に移動させて表示させる処理等）を行わせる（ステップＳ３３）。
【００５１】
また、ＣＰＵ１１は、ディスプレイ１０上に検証結果である「ＴＲＵＥ」の文字を表示中であれば（ステップＳ３２；Ｙｅｓ）、ＲＡＭ１７の記憶領域１７３を参照して、履歴データが記憶されているか否かを判断する（ステップＳ３４）。そして、履歴データが記憶されている場合には（ステップＳ３４；Ｙｅｓ）、記憶領域１７３から履歴データを読み出し、それらの履歴データを等号或いは不等号でつないで、図８（Ｂ）に示すように、一連の検証処理で真であると検証された一連の数式（すなわち数式の履歴）を１つの数式の形で表示する（ステップＳ３５）。なお、図８（Ｂ）では、図６（Ａ）〜（Ｅ）に示したように検証処理が進められた場合が示されている。
【００５２】
このように構成すれば、仮に電子機器１のディスプレイ１０の表示スペースがさほど広くなく、図６（Ｂ）や図６（Ｅ）に示したように、検証処理の対象となる不等式（等式の場合も同様）を個別にしか表示できない場合であっても、図８（Ｂ）に示すように、一連の検証結果で真であると検証された一連の数式をディスプレイ１０上にまとめて表示することが可能となる。
【００５３】
そのため、例えば、1.2、0.8、3/5、7/4、1、1/2を小さい順に並べる問題が出題されたような場合に、ディスプレイ１０上に
1/2＜3/5＜0.8＜1＜1.2＜7/4
と正解を表示させることが可能となり、ユーザが正解を一目で見ることが可能となる。そのため、電子機器１がユーザにとって使い勝手が良いものとなる。
【００５４】
なお、上記の構成例では、ユーザにより所定の操作（「↓」キーの押下）が行われ（ステップＳ３１；Ｙｅｓ）、ディスプレイ１０上に検証結果である「ＴＲＵＥ」の文字を表示中である場合に（ステップＳ３２；Ｙｅｓ）、履歴表示処理を行う場合について説明したが、例えば、ディスプレイ１０上に検証結果である「ＦＡＬＳＥ」の文字を表示中である場合にも、履歴表示処理を行うように構成することも可能である。
【００５５】
［効果］
以上のように、本実施形態に係る電子機器１およびプログラムによれば、例えば、前述したように、（ｘ＋１）（ｘ＋５）の式の展開を行うような場合、ユーザが、
（ｘ＋１）（ｘ＋５）＝ｘ２＋ｘ＋５ｘ＋５    …（１）
と入力して、EXEキー２３を押下すると「ＴＲＵＥ」が表示され、右辺が新たな数式の左辺に自動的に移されて、
ｘ２＋ｘ＋５ｘ＋５＝
と表示される。そのため、ユーザは、検証結果が真であった（１）式の右辺「ｘ２＋ｘ＋５ｘ＋５」を改めて新たな数式の左辺に入力しなくて済むため、式の展開等を楽に行うことが可能となる。
【００５６】
そして、ユーザは続けて、
ｘ２＋ｘ＋５ｘ＋５＝ｘ２＋６ｘ＋５    …（３）
と入力すればよい。そして、ユーザが入力するのは、右辺の「ｘ２＋６ｘ＋５」だけであるため、例えば自分のノート等で式の展開を行う場合に、
（ｘ＋１）（ｘ＋５）＝ｘ２＋ｘ＋５ｘ＋５    …（１）
＝ｘ２＋６ｘ＋５    …（２）
の記載するのと同じ感覚で式を展開することが可能となる。
【００５７】
そのため、本実施形態に係る電子機器１やプログラムによれば、ユーザが式の計算や数の比較等を容易に行うことが可能となり、電子機器１がユーザにとって使い勝手が良いものとなる。また、電子機器１のＣＰＵ１１は、上記（２）式のように左辺が記載されていないと検証（Ｖｅｒｉｆｙ）処理を行うことができないが、本実施形態の場合には、上記（３）式のように新たな数式の左辺に必ず数式が記載されるため、検証処理を確実に行うことが可能となる。なお、これは上記のような等式の場合だけでなく不等式の場合も同様である。
また、上記実施形態では、検証された式の右辺を新たな左辺に移動する際に、等号あるいは不等号の記号を追加したが、この記号を追加表示しないで、ユーザに記号を含めて新たな右辺を入力させるようにしても良い。
【００５８】
以上、本発明の実施形態を説明したが、本発明の範囲は、上述の実施形態等に限定するものではなく、特許請求の範囲に記載された発明の範囲とその均等の範囲を含む。
以下に、この出願の願書に最初に添付した特許請求の範囲に記載した発明を付記する。付記に記載した請求項の項番は、この出願の願書に最初に添付した特許請求の範囲の通りである。
〔付記〕
＜請求項１＞
左辺、等号または不等号、右辺の順に表記される数式を入力する入力手段と、
前記入力手段から入力された数式をディスプレイ上に表示させる表示制御手段と、
前記入力された数式を検証し、真または偽の検証結果を出力する検証手段と、
前記検証手段による前記数式の検証結果が真である場合に、検証された前記数式の右辺を新たな数式の左辺として表示させ、ユーザに右辺の入力を行わせる入力制御手段と、
を備えることを特徴とする電子機器。
＜請求項２＞
前記入力制御手段は、検証された前記数式に含まれる等号または不等号を、表示させた前記新たな数式の前記左辺の右側に追加して表示させて、ユーザに右辺の入力を行わせることを特徴とする請求項１に記載の電子機器。
＜請求項３＞
前記入力制御手段は、前記検証手段による前記数式の検証結果が真である場合、かつ、ユーザによる所定の操作があった場合に、検証された前記数式の前記右辺を新たな数式の左辺に表示させることを特徴とする請求項１または請求項２に記載の電子機器。
＜請求項４＞
前記検証手段は、前記数式に複数の等号または不等号が含まれている場合には、最も右側に表記されている等号または不等号に関する数式の部分を対象として検証を行うことを特徴とする請求項１から請求項３のいずれか一項に記載の電子機器。
＜請求項５＞
前記検証手段により真であると検証された前記数式の履歴を記憶する記憶手段と、
ユーザにより所定の操作が行われた場合に、前記記憶手段に記憶された、真であると検証された前記数式の履歴を１つの数式の形で表示する履歴表示手段と、
を備えることを特徴とする請求項１から請求項４のいずれか一項に記載の電子機器。
＜請求項６＞
ディスプレイを備えたコンピュータを、
左辺、等号または不等号、右辺の順に表記される数式を入力する入力手段と、
前記入力手段から入力された数式をディスプレイ上に表示させる表示制御手段と、
前記入力された数式を検証し、真または偽の検証結果を出力する検証手段と、
前記検証手段による前記数式の検証結果が真である場合に、検証された前記数式の右辺を新たな数式の左辺として表示させ、ユーザに右辺の入力を行わせる入力制御手段、
として機能させるためのプログラム。
【符号の説明】
【００５９】
１    関数電卓（電子機器）
２  キー群（入力手段）
１０  ディスプレイ
１１  ＣＰＵ（表示制御手段、検証手段、入力制御手段、履歴表示手段）
１７  ＲＡＭ（記憶手段）
【図１】
0005979212.tif 000002
【図２】
0005979212.tif 000003
【図３】
0005979212.tif 000004
【図４】
0005979212.tif 000005
【図５】
0005979212.tif 000006
【図６】
0005979212.tif 000007
【図７】
0005979212.tif 000008
【図８】
0005979212.tif 000009