(57)【特許請求の範囲】
【請求項１】
表示手段と、
三角関数式をユーザに入力させ、入力された三角関数式を前記表示手段に表示させる入力手段と、
三角関数の公式に関する右辺と左辺のデータを予め記憶している公式記憶手段と、
前記表示手段に表示された三角関数式の中から、単項又は複数項からなる変換元をユーザに選択させる選択手段と、
前記公式記憶手段が記憶している右辺及び左辺のデータから、前記選択手段によって選択された変換元に対応するデータを検索し、検索された全ての右辺または左辺のデータについて、対となる左辺または右辺のデータと等号で接続して公式として前記表示手段に表示する検索表示手段と、
前記検索表示手段によって表示された公式の中から変換する公式をユーザに選択させる公式選択手段と、
前記公式選択手段によって選択された公式に含まれる前記対となる左辺または右辺のデータを、前記三角関数式の中で選択された変換元に代入して前記表示手段に表示する変換手段と、
を備えることを特徴とする演算処理装置。
【請求項２】
請求項１記載の演算処理装置において、更に、
公式の証明に関する情報を記憶する証明記憶手段と、
前記公式選択手段によって選択された公式の証明を前記証明記憶手段から読み出して表示する証明表示手段と、
を備えることを特徴とする演算処理装置。
【請求項３】
請求項１又は２記載の演算装置において、更に、
公式の説明を記憶する説明記憶手段と、
前記公式選択手段によって選択された公式の説明を前記説明記憶手段から読み出して表示する説明表示手段と、
を備えることを特徴とする演算処理装置。
【請求項４】
表示手段と接続されたコンピュータを、
三角関数式をユーザに入力させ、入力された三角関数式を前記表示手段に表示させる入力手段、
三角関数の公式に関する右辺と左辺のデータを予め記憶している公式記憶手段、
前記表示手段に表示された三角関数式の中から、単項又は複数項からなる変換元をユーザに選択させる選択手段、
前記公式記憶手段が記憶している右辺及び左辺のデータから、前記選択手段によって選択された変換元に対応するデータを検索し、検索された全ての右辺または左辺のデータについて、対となる左辺または右辺のデータと等号で接続して公式として前記表示手段に表示する検索表示手段、
前記検索表示手段によって表示された公式の中から変換する公式をユーザに選択させる公式選択手段、
前記公式選択手段によって選択された公式に含まれる前記対となる左辺または右辺のデータを、前記三角関数式の中で選択された変換元に代入して前記表示手段に表示する変換手段、
として機能させるプログラム。
【発明の詳細な説明】
【０００１】
【発明の属する技術分野】
本発明は、ユーザが、公式に基づいて任意に三角関数式を選択・変換可能な演算処理装置及びプログラムに関する。
【０００２】
【従来の技術】
従来、電卓やパソコンなどの演算処理装置は、例えば、１＋ｘ＋ｓｉｎ(ｘ)ｃｏｓ(ｙ)＋ｃｏｓ(ｘ)ｓｉｎ(ｙ) といった三角関数式を入力し、変数の具体的な数値にもとづいて三角関数式を数値演算し、数値解を表示する機能を備えている。
【０００３】
具体的には、例えば、演算処理装置には、ｓｉｎ、ｃｏｓ、ｔａｎなどの三角関数、及びｘやｙなどの変数を入力する入力キーが備えられ、ユーザが該当する入力キーを押下することで三角関数式を入力する。或いは、演算処理装置の表示画面上に、数式の入力画面が表示され、ユーザが入力画面上に描かれた三角関数や変数のボタンを選択することで三角関数式を入力する。
【０００４】
次いで、演算処理装置には、例えば、数字キーやテン・キーから三角関数式の変数に具体的な数値が入力される。そして、ＥＮＴＥＲキーなどを押下されると、演算処理装置は、演算を実行して該入力値による計算結果を表示する。
【０００５】
こうした演算処理装置は、演算の元となる三角関数式を入力するところから数値解の表示までを一連の流れとして表示できることから、ノート上での手書き計算に代わる教材として、数学教育の現場で重要な位置を占めつつある。
【０００６】
【発明が解決しようとする課題】
しかしながら、従来の演算処理装置では、入力された三角関数式は入力されたままである。そのため、例えば複数項からなる演算式の同類項をまとめ、公式や定理に基づく変換をほどこして演算式を簡略化するといった、式の変形・変換作業は相変わらず教科書を参照しながらノートに手書で作業しなければならない。演算処理装置を、数学を学ぶ教材としての観点から見るならば、そうした演算式の変形・変換といった重要な要素をサポートするのが望まれる。
【０００７】
本発明は、上記の課題に鑑みてなされたものであり、その目的は、演算処理装置において、入力された三角関数式を、該関数式に対応する定理・公式に基づいて変形・変換することである。
【０００８】
【課題を解決するための手段】
以上の課題を解決するために、請求項１記載の発明に係る演算処理装置は、表示手段と、三角関数式をユーザに入力させ、入力された三角関数式を前記表示手段に表示させる入力手段と、三角関数の公式に関する右辺と左辺のデータを予め記憶している公式記憶手段と、前記表示手段に表示された三角関数式の中から、単項又は複数項からなる変換元をユーザに選択させる選択手段と、前記公式記憶手段が記憶している右辺及び左辺のデータから、前記選択手段によって選択された変換元に対応するデータを検索し、検索された全ての右辺または左辺のデータについて、対となる左辺または右辺のデータと等号で接続して公式として前記表示手段に表示する検索表示手段と、前記検索表示手段によって表示された公式の中から変換する公式をユーザに選択させる公式選択手段と、前記公式選択手段によって選択された公式に含まれる前記対となる左辺または右辺のデータを、前記三角関数式の中で選択された変換元に代入して前記表示手段に表示する変換手段と、を備えることを特徴とする。
【００１８】
【発明の実施の形態】
以下、図１〜図１０を参照して、本発明を適用した演算処理装置の実施の形態を詳細に説明する。ここでは、本発明を所謂関数電卓に適用した場合を例とするが発明の適用がこれに限定されるものではなく、例えばパソコン、ＰＤＡ、多機能携帯電話機など、その他の演算処理機能を備えた種々の電子装置に適用可能である。
【００１９】
図１は、本発明を適用した関数電卓の外観の一例を示した図である。同図に示すように、関数電卓１２００は、演算処理を行う演算部（図示略）と、数値や所定の関数及び演算操作の入力を行う操作入力キー１２０２と、画面のスクロールや選択操作を行う十字キー１２０４と、入力された数値や関数式及び演算結果を表示する表示画面１２０６と、内蔵電池や太陽電池等の電源（図示省略）を備え、金属や樹脂によって、例えばカード形状にケーシングされている。
また、関数電卓１２００は、記憶媒体１２１０用のスロット１２１２と、通信回線や周辺機器とのデータの送受信が可能な信号ケーブル１２１４と接続する接続端子１２１６とを備える。
【００２０】
操作入力キー１２０２は、数字、四則演算記号、数式記号（括弧など）、関数、機能選択、実行指示を入力する手段であって、従来と同様に、例えばキースイッチなどによって実現される。
【００２１】
表示画面１２０６は、ドットによって文字や図形の描画や画像を表示可能な、例えばＬＣＤやＥＬＤなどの素子であって、単数又は複数の素子の組み合わせによって構成される。表示画面内には、機能表示エリア１２０６ａと、数式表示エリア１２０６ｂと、公式表示エリア１２０６ｃと、スクロールバー１２０６ｄと、を備える。
【００２２】
機能表示エリア１２０６ａには、現在機能している処理の詳細を、テキスト又はアイコンなどのグラフィックで表示してユーザに知らせ、例えば、操作入力を促す働きをする。或いは、ｘやｙなどの変数に数値を入力する場合に、同エリアを利用しても良い。図１の例では、三角関数式の複数項を変換元として処理中であり、ユーザに公式を選択するよう促す表示がされている。
【００２３】
数式表示エリア１２０６ｂには、例えば、演算させる三角関数式、変換元、変数の具体的な数値、演算結果の数値などが表示される。表示が所定の行数を超えるとスクロールする。図１の例では、下線表示されている部分が変換元に当る。
【００２４】
公式表示エリア１２０６ｃには、変換元に対応した定理や公式が表示され、例えばスクロールバー１２０６ｄによって表示がスクロールする。図１の例では、下線表示されている部分が選択されている状態を意味している。
【００２５】
表示画面１２０６の画面レイアウトは、図１の例に限定されず、適宜各エリアの配置場所や大きさを変更し、共用化しても構わない。また、表示画面１２０６が小さい場合は、操作入力キー１２０４から所定の入力によって各エリアを切り換える構成としても良い。
【００２６】
記憶媒体１２１０は、例えば、ＩＣメモリカード、ＭＯ、ＤＶＤ−ＲＡＭ、ハードディスクなどの情報記憶媒体である。
スロット１２１２は、記憶媒体１２１０に対して着脱自在にデータの読み書きができる装置であって、記憶媒体１２１０の種類に応じて適宜選択される。記憶媒体１２１０が外付けハードディスクの場合は、スロット１２１２はＵＳＢ（Universal Serial Bus）やＩＥＥＥ１３９４（Institute of Electronic and Electronic Engineers 1394）などの接続ケーブル用の端子であってもよい。
【００２７】
接続端子１２１６は、通信回線や周辺機器（例えば、計測器、データ収集器、プリンタ、モデム、携帯電話、パソコンなど）とを繋ぐ信号ケーブル１２１４に接続可能な端子である。例えば、ＢＮＣ（Bionet Connecter）、ＵＳＢ、ＩＥＥＥ１３９４などの種々の形式が適宜選択される。
図１の例では有線接続の例を示しているがこれに限らず、例えば、赤外線等の無線を利用してデータの送受を実現しても良い。この場合には、接続端子１２１６は無線の送受信モジュール及び無線送受信端子に該当する。
【００２８】
次に、機能の構成を説明する。
図２は、本実施の形態の機能構成を示すブロック図である。同図において、関数電卓１２００は、ＣＰＵ（Central  Processing  Unit）１１０と、ＲＡＭ（Random  Access  Memory）１２０と、ＲＯＭ（Read  Only  Memory）１３０と、入力部１４０と、表示部１５０と、通信制御部１６０と、記憶媒体読取部１７０と、当該各構成要素間をデータ送受信できるように接続するバス１８０と、を備える。
【００２９】
ＣＰＵ１１０は、各構成要素の制御及び電卓としての演算処理を実行し、関数電卓１２００の制御を統一的に司る。
従来の関数電卓と同様に、ＲＯＭ１３０内に記憶される各種のプログラムを実行することによって、演算機能や周辺機器とのデータの送受信を実現することは勿論であるが、本実施の形態では特に、変換処理プログラム１３４を実行することで三角関数式の変換処理を実行する。
【００３０】
ＲＡＭ１２０は、ＣＰＵ１１０の作業領域としてプログラムや数値の一時的な記憶をする手段である。ＲＡＭ１２０には、プログラム展開や作業データの記憶がされるワーク領域が含まれるほか、特に、表示部１５０に表示された内容（数値・数式など）を記憶する表示履歴情報１２２と、入力された三角関数式を記憶する入力式情報１２４と、該三角関数式に含まれる単項又は複数項からなる変換元の内容を記憶する変換元情報１２６と、が記憶される。
【００３１】
表示履歴情報１２２は、表示画面１２０６に表示された内容を記憶する。表示履歴情報１２２をたどることで、過去に表示された内容を再び表示させることは勿論のこと、例えば、過去の表示内容から文字列や関数式などを検索することができる。
入力式情報１２４は、入力部１４０から入力された数値や三角関数式などの情報を格納する。
変換元情報１２６は、前記入力された前記三角関数式に含まれる単項又は複数項の情報を変換元として格納する。
【００３２】
ＲＯＭ１３０は、関数電卓の制御や演算処理及び周辺機器とのデータの送受に必要なプログラムやデータを記憶する手段であって、システムプログラム１３２と、変換処理プログラム１３４と、公式辞書データ１３６と、を記憶している。
【００３３】
システムプログラム１３２は、ＣＰＵ１１０に関数電卓１２００の基本的な機能を実現させるためのプログラムであって、このプログラムによってＣＰＵ１１０は、例えば、入力部１４０より入力された信号を数値や三角関数式として識別しＲＡＭ１２０に記憶させる処理、ＲＡＭ１２０内に記憶されたデータを別の格納位置に記憶する処理、数値演算処理、該三角関数式や数値を種々の表示形態で画面表示させる処理、通信回線を介して他の装置とデータを送受する処理などを行う。
【００３４】
変換処理プログラム１３４は、入力された三角関数式を定理や公式に基づいて変換する処理をＣＰＵ１１０に実行させる本実施の形態の根幹に係るプログラム及びデータである。
【００３５】
公式辞書データ１３６は、三角関数式を変換する公式に関する情報を格納した情報である。
図８は公式辞書データ１３６の構成の一例を示す図である。同図に示すように、例えば、公式の左辺と右辺のデータと、公式の名称と、公式の説明についての情報を記憶するファイル名やアドレスと、公式の成り立つ過程を記憶した証明データのファイル名やアドレスと、を記憶している。同図の行成分（横並びの各要素）が一つの公式に関する情報の纏まりを意味し、例えば、公式表示エリア１２０６ｃなどに公式を表示する場合は、表示する公式の左辺と右辺のデータが「＝」記号で接続されて表示される。
【００３６】
入力部１４０は、ユーザが数値や演算記号などの入力、及び選択や演算処理の実行や中断などを入力する手段であって、図１の例では操作入力キー１２０２や十字キー１２０４に相当する。そして、ユーザに押下されたキーに対応する信号がＣＰＵ１１０に出力される。
【００３７】
表示部１５０は、数値や三角関数式、及び各種の操作画面等を表示する手段であって、図１の例では表示画面１２０６に相当する。表示部１５０は、例えば、ＬＣＤやＥＬＤなどによって実現される。
【００３８】
通信制御部１６０は、通信回線１６２を介して他の装置とのデータの送受信を制御する手段であり、例えば、所定のプログラムやＬＳＩ及び接続端子などによって実現される。詳細な機能に関しては、接続する通信回線１６２の規格による。図１の接続端子１２１６はここに含まれる。
【００３９】
通信回線１６２は、有線／無線によるデータの送受信が可能な通信媒体であって、例えば、ＬＡＮ、インターネット、ＰＨＳ網、携帯電話網、及び周辺機器との直接的なケーブル接続などがこれに該当する。
【００４０】
記憶媒体読取部１７０は、図１のスロット１２１２に相当し、例えば、ＩＣメモリカード、ＭＯ、ＤＶＤ−ＲＡＭ、ＦＤ（登録商標）、ハードディスクなどの記憶媒体１２１０にデータを読み書きする手段である。
【００４１】
尚、ＲＡＭ１２０及びＲＯＭ１３０に記憶されたプログラムやデータ等は、その一部若しくは全部を、サーバやクライアント等の外部機器から、通信回線１６２を介して通信制御部１６０から受信して記憶媒体１２１０に記憶する構成にしても良い。
また、上記プログラムを、通信回線１６２を介してサーバやクライアントから受信してインストールする、或いは記憶媒体１２１０からインストールする構成にしても良い。
【００４２】
次に、関数電卓１２００の動作について説明する。尚、所謂関数電卓としての機能の選択、数式や数値の表示、四則演算等の処理に関する動作は公知であるので、ここでの詳細な説明は省略し、本発明に係る三角関数式の変換処理についてのみ説明する。
【００４３】
図３及び図４は、三角関数式の変換処理の流れを説明するためのフローチャートであって、ＣＰＵ１１０が変換処理プログラム１３４を実行することで機能する。変換処理プログラム１３４の実行は、例えば、所定のファンクションキー（図１の「Ｆ１」〜「Ｆ６」キー）を押下することで実行される。
【００４４】
三角関数の変換処理では、ＣＰＵ１１０は、先ず従来と同様にして、ユーザに三角関数式を入力させる(ステップＳ１０２）。そして、入力された三角関数式を、入力式情報１２４に格納させるとともに、数式表示エリア１２０６ｂに表示させる。
【００４５】
次に、ＣＰＵ１１０は、該三角関数式の変換対象とする項（変換元）をユーザに選択させ、選択された項を変換元情報１２６に記憶させる(ステップＳ１０４）。
具体的には、例えば、機能表示エリア１２０６ａに「変換する項を選択」と表示してユーザに選択操作を促す。選択方法は、従来の関数電卓におけるメニュー選択などの操作が適用可能である。例えば、十字キー１２０４の左右方向を押下すると、三角関数式を構成する項が順次選択対象となり、上方向を押下すると選択決定、下方向を押下すると選択解除、そして、ＥＸＥキーで選択終了となる。選択された項は、変換元となったことを示すために表示形態の変更が行われる。図１の例では、該当する項に下線が表示されている。
【００４６】
次に、ＣＰＵ１１０は、変換元に対応する公式や定理の情報を検索する公式検索処理を実行する(ステップＳ１０６）。
【００４７】
図４は、公式検索処理の流れを説明するためのフローチャートである。同図に示すように、ＣＰＵ１１０は、先ず変換元情報１２６に含まれる項が単項であるか複数項であるかを判定する(ステップＳ２０２）。
【００４８】
単項である場合には(ステップＳ２０２のＹＥＳ）、ＣＰＵ１１０は、変換元の三角関数が、例えばｓｉｎ（）、ｃｏｓ（）、ｔａｎ（）の何れに該当するか判別し(ステップＳ２０４）、公式辞書データ１３６から同種の関数で単項からなる左辺又は右辺を含む公式を検索する(ステップＳ２０６）。
【００４９】
一方、変換元が複数項である場合には(ステップＳ２０２のＮＯ）、ＣＰＵ１１０は、変換元の書式パターンを判別し(ステップＳ２０８）、公式辞書データ１３６から、同じ書式パターンを有する左辺又は右辺を含む公式を検索する(ステップＳ２１０）。
【００５０】
書式パターンとは、三角関数式の種類の組み合わせであって、例えば、変換元がｓｉｎ(ｘ)ｃｏｓ(ｙ)＋ｃｏｓ(ｘ)ｓｉｎ(ｙ)の場合は、「ｓｉｎ(ｘ)ｃｏｓ(ｙ)」と「ｃｏｓ(ｘ)ｓｉｎ(ｙ)」の組み合わせで各種類１つずつ存在するパターンと判別される。ｃｏｓ(ｘ)ｃｏｓ(ｙ)−ｓｉｎ(ｘ)ｓｉｎ(ｙ)の場合は、「ｃｏｓ(ｘ)ｃｏｓ(ｙ)」と「−ｓｉｎ(ｘ)ｃｏｓ(ｙ)」の組み合わせで、それぞれ各種類１つずつ存在するパターンと判別される。
ＣＰＵ１１０は、同様にして公式辞書データ１３６の左辺及び右辺を書式パターンで判別し検索する。公式が検索されたならば、図３のフローに戻る。
【００５１】
図３において、検索の結果、変換元に対応する公式が無い場合は(ステップＳ１０８のＮＯ）、変換元を変更して再度変換を試みることができる(ステップＳ１２０のＹＥＳ）。
検索の結果対応する公式が有る場合は(ステップＳ１０８のＹＥＳ）、ＣＰＵ１１０は、検索された全ての公式の数式（左辺と右辺を等式記号で連結した式）を公式表示エリア１２０６ｂに表示させる(ステップＳ１１０）。この際、適宜公式の名称を表示させるとしても良い。
【００５２】
検索された公式が表示されたならば、次にＣＰＵ１１０は、ユーザに表示された公式の中から変換する公式を選択させる(ステップＳ１１２）。具体的には、例えば、機能表示エリア１２０６ａに「公式を選択」の表示をさせて、ユーザに選択操作を促す。ユーザは、十字キー１２０４を操作して公式を選択する。図１の例では、選択されている公式には下線が表示されている。
【００５３】
ここで、所定のＨＥＬＰキー又はファンクションキーが押下されると(ステップＳ１１４のＹＥＳ）、ＣＰＵ１１０は、説明表示処理を実行する(ステップＳ１１６）。
【００５４】
図５は、説明表示処理の流れを説明するためのフローチャートである。同図に示すように、ＣＰＵ１１０は、先ずユーザに「説明」と[証明」のどちらを表示させるか項目を選択させる(ステップＳ３０２）。
【００５５】
項目が選択されたならば、ＣＰＵ１１０は、公式辞書データ１３６からステップＳ１１２で選択された公式に対応する説明又は証明を検索し(ステップＳ３０４）、表示部１５０に表示させる(ステップＳ３０６）。説明又は証明の表示は、適宜前記各エリアに表示するか、別途ウィンドウ画面を開いて該ウィンドウ画面内に表示する。
【００５６】
そして、例えば、ＥＳＣキーや所定のファンクションキーなどで表示の切換要求が入力されたならば、(ステップＳ３０８のＹＥＳ）、表示を元に戻し(ステップＳ３１０）、説明表示処理を終了して図３のフローに戻る。
【００５７】
一方、図３において、例えばＥＸＥキーの押下によって選択を確定されると、ＣＰＵ１１０は選択確定された公式を変換元に代入し、代入結果、即ち変換後の三角関数式を数式表示エリア１２０６ｂに表示させる(ステップＳ１１８）。
【００５８】
追加変換する場合は(ステップＳ１２０のＹＥＳ）、ＣＰＵ１１０は、再度変換元の選択を行う(ステップＳ１０４）。追加変換をしない場合は(ステップＳ１２０のＮＯ）、従来と同様にして、ユーザに変数に代入する数値を指定させる(ステップＳ１２２）。そして、該数値に基づいて演算処理し(ステップＳ１２４）、その演算結果を数式表示エリア１２０６ｂに表示させる(ステップＳ１２６）。
【００５９】
以上によって、三角関数式の入力から、公式に基づいた三角関数式の変換処理、そして数値演算までを演算処理装置で実行することができる。
【００６０】
図６と図７は、三角関数式の変換処理における実行画面の一例を示す図であって、図６は単項処理の場合の例を示し、図７は複数項処理の場合の例を示す。
【００６１】
図６において、(ａ）は図３のステップＳ１０２における三角関数式の入力状態に相当し、数式表示エリア１２０６ｂには入力された三角関数式Ｆ１（ｓｉｎ（２ｘ）ｃｏｓ（２ｘ））が表示されている。
（ｂ）は図３のステップＳ１０４における変換元の選択状態に相当し、変換元としてｓｉｎ（２ｘ）が選択され、選択されていることを意味する下線表示がされている。
（ｃ）は図３のステップＳ１１０〜Ｓ１１２における変換する公式の選択状態に相当し、公式検索処理によって変換元に対応した公式が公式表示エリア１２０６ｃに表示されている。（ｃ）の例では、ｓｉｎ（２ａ）＝２ｓｉｎ（ａ）ｃｏｓ（ａ）が選択されている。
（ｄ）は、図３のステップＳ１２６における結果出力状態に相当し、公式で用いた変数ａを三角関数式の変数Ｘに変更してから、公式を代入した変換後の式Ｆ２（２ｓｉｎ（ｘ）ｃｏｓ（ｘ）ｃｏｓ（２ｘ））が、数式表示エリア１２０６ｂに表示されている。（ｄ）の段階では、同様にしてｃｏｓ（２ｘ）は変換可能なので、再度変換処理をすることができる。
【００６２】
図７でも同様に、(ａ）は図３のステップＳ１０２、（ｂ）は図３のステップＳ１０４、（ｃ）は図３のステップＳ１１０〜Ｓ１１２、（ｄ）は、図３のステップＳ１２６に、それぞれ相当した実行画面例である。
【００６３】
以上の説明では、三角関数の入力から変換、数値演算までを一連の動作として説明したが、公式辞書データ１３６を数値演算と切り離し、必要に応じて参照可能な構成としても良い。具体的には、例えば、公式辞書データ１３６を適宜呼び出して公式の説明や証明を参照できる公式証明処理を設け、所定のファンクションキーの押下で呼び出し実行する。
【００６４】
図９は、公式証明処理の流れを説明するためのフローチャートである。同図に示すように、ＣＰＵ１１０は、先ず公式辞書データ１３６から公式全てを読み出して表示部１５０に表示させ(ステップＳ４０２）。ユーザに目的とする公式を選択させる(ステップＳ４０４）。この際、公式を名称別や、書式パターン別にまとめて表示させても良い。
【００６５】
目的とする公式が選択されたならば、ＣＰＵ１１０は、選択された公式に対応する「説明」「証明」のデータを検索する(ステップＳ４０６）。
【００６６】
対応するデータが検索された場合は(ステップＳ４０８のＹＥＳ）、該データを表示させる(ステップＳ４１６）。
対応するデータが検索されなかった場合は(ステップＳ４０８のＮＯ）、表示履歴情報１２２から対応する式があるか検索し(ステップＳ４１０）、対応する式があれば(ステップＳ４１２のＹＥＳ）、表示させる(ステップＳ４１６）。
表示履歴情報１２２にも対応する式が無い場合には(ステップＳ４１２のＮＯ）、ＣＰＵ１１０は、該当するデータが無い旨を表示させて処理を終了する(ステップＳ４１４）。
【００６７】
図１０は、公式証明表示処理における実行画面の一例を示す図である。
同図において、(ａ）は図９のステップＳ４０２で公式一覧を表示した状態に相当する。（ｂ）は図９のステップＳ４０４の目的とする公式の選択状態に相当し、選択された公式に該当する部分には下線が表示されている。（ｃ）は図９のステップＳ４１６の証明データを表示した状態に相当する。
【００６８】
このように、公式辞書データ１３６を適宜参照可能とすることで、ユーザは一々教科書や参考書をめくることなく、必要なときに公式の証明を参照することができる。尚、公式証明表示処理は、例えば、単独のプログラムとしてＲＯＭ１３０に記憶されていても良いし、説明表示処理と共用化し三角関数式の変換処理で呼び出し可能としても良い。
【００６９】
以上、本発明を適用した一実施の形態を説明したが、本発明はこれに限定されるものではなく、細部構成、動作、及び操作入力方法等を、本発明の趣旨を逸脱しない範囲で適宜に変更可能であるのは勿論である。
【００７０】
【発明の効果】
請求項１又は４に記載の発明によれば、演算処理装置は、三角関数の公式に関する右辺と左辺のデータを予め記憶しており、ユーザによって入力され表示された三角関数式の中から、単項又は複数項からなる変換元がユーザに選択されると、記憶している右辺及び左辺のデータから、選択された変換元に対応するデータを検索し、検索された全ての右辺または左辺のデータについて、対となる左辺または右辺のデータと等号で接続して公式として表示し、この表示された公式の中から変換する公式が選択されると、選択された公式に含まれる対となる左辺または右辺のデータを、変換元に代入して表示するので、ユーザは、従来のように一々教科書をめくり、ノートに手書で三角関数式の変換する必要はなく、三角関数式を解くことに集中することができる。また、手書きの苦労に臆することなく、様々な変化を試みることも可能となり、より多くの公式や定理に触れることで学習効果を高めることができる。
【００７１】
また、請求項２記載の発明によれば、演算処理装置には、公式の証明に関する情報、例えば、所定の公式がどのような過程によって導かれたのか、式の変換を順を追って表示するための情報が記憶されている。
従って、請求項１と同様の効果を奏するとともに、演算処理装置は、前記公式選択手段によって選択された公式の証明過程を表示させることが可能となる。従って、ユーザは、変換する定理や公式の成り立ちを一々教科書や参考書を開いて調べなくてすむ。
【００７２】
また、請求項３記載の発明によれば、演算処理装置には、例えば、公式の名称や分類、定理の発見者についての情報、利用のポイントやヒント、関連する他の公式へのリンクなどの公式の説明情報が記憶されている。
従って、請求項１又は２と同様の効果を奏するとともに、演算処理装置は、前記公式選択手段によって選択された公式の説明を表示させることができる。従って、ユーザは、一々参考書や教科書を開くことなく公式に関する説明を調べることができる。
【図面の簡単な説明】
【図１】本発明を適用した関数電卓の外観一例を示す図である。
【図２】機能構成を示すブロック図である。
【図３】三角関数式の変換処理の流れを説明するためのフローチャートである。
【図４】公式検索処理の流れを説明するためのフローチャートである。
【図５】説明表示処理の流れを説明するためのフローチャートである。
【図６】三角関数式の変換処理における実行画面の一例を示す図であって、単項処理の場合の例を示す。
【図７】三角関数式の変換処理における実行画面の一例を示す図であって、複数項処理の場合の例を示す。
【図８】公式辞書データのデータ構成の一例を示す図である。
【図９】公式証明処理の流れを説明するためのフローチャートである。
【図１０】公式証明処理における実行画面の一例を示す図である。
【符号の説明】
１１０  ＣＰＵ
１２０  ＲＡＭ
１２４  入力式情報
１２６  変換元情報
１３０  ＲＯＭ
１３４  変換処理プログラム
１３６  公式辞書データ
１４０  入力部
１５０  表示部
１２００  関数電卓
１２０６ａ  機能表示エリア
１２０６ｂ  数式表示エリア
１２０６ｃ  公式表示エリア
【図１】
0003780907.tif 000002
【図２】
0003780907.tif 000003
【図３】
0003780907.tif 000004
【図４】
0003780907.tif 000005
【図５】
0003780907.tif 000006
【図６】
0003780907.tif 000007
【図７】
0003780907.tif 000008
【図８】
0003780907.tif 000009
【図９】
0003780907.tif 000010
【図１０】
0003780907.tif 000011