(57)【特許請求の範囲】
【請求項１】
数式を入力する数式入力手段と、
数学の公式を表示部に表示する公式表示制御手段と、
前記表示された公式の右辺又は左辺の何れか一方の指定を受け付ける指定受付手段と、
前記指定を受け付けた公式の一方の辺が前記入力された数式と同じになるように前記表示された公式を変形し、変形された該公式を前記表示部に表示する変形式表示制御手段とを
備えた数学公式学習装置。
【請求項２】
前記表示部は、タッチパネルを備え、
前記指定受付手段は、前記タッチパネルによるタッチ操作を受け付けるようにしたことを特徴とする請求項１に記載の数学公式学習装置。
【請求項３】
前記公式表示制御手段は、前記数式入力手段により三角関数の数式が入力されてから公式の呼出が指示されることに応じて、三角関数の公式を表示することを特徴とする請求項１または２に記載の数学公式学習装置。
【請求項４】
数学公式学習装置のコンピュータを制御するためのプログラムであって、
前記コンピュータを、
数式を入力する数式入力手段と、
数学の公式を表示部に表示する公式表示制御手段と、
前記表示された公式の右辺又は左辺の何れか一方の指定を受け付ける指定受付手段と、
前記指定を受け付けた公式の一方の辺が前記入力された数式と同じになるように前記表示された公式を変形し、変形された該公式を前記表示部に表示する変形式表示制御手段、
として機能させるためのプログラム。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、数学の公式を学習するための数学公式学習装置およびその制御プログラムに関する。
【背景技術】
【０００２】
一般に、数学の公式を覚えることは学習上重要である。しかし、全ての公式を覚えることは難しい。
【０００３】
従来、数学の公式を学習するための関数電卓において、ユーザ入力された三角関数式の項が選択されると、当該項の構成に応じて同じ意味を成す左辺または右辺を有する公式が検索されて一覧表示され、そのうち任意の公式が選択されると、選択された公式が前記三角関数式に代入されて変換表示される演算処理装置が考えられている（例えば、特許文献１参照。）。
【先行技術文献】
【特許文献】
【０００４】
【特許文献１】特開２００３−１４１０９１号公報
【発明の概要】
【発明が解決しようとする課題】
【０００５】
前記従来の演算処理装置では、ユーザ入力された数式の変換に適した公式が自動で検索されるため、どの公式をどのように前記入力した数式に当てはめれば良いのかという、公式学習に最も重要な点を学ぶことができない問題がある。
【０００６】
本発明は、このような問題に鑑みなされたもので、公式を覚える煩わしさから開放しつつ、効果的に公式を学習することが可能になる数学公式学習装置およびその制御プログラムを提供することを目的とする。
【課題を解決するための手段】
【０００７】
本発明に係る数学公式学習装置は、数式を入力する数式入力手段と、数学の公式を表示部に表示する公式表示制御手段と、前記表示された公式の右辺又は左辺の何れか一方の指定を受け付ける指定受付手段と、前記指定を受け付けた公式の一方の辺が前記入力された数式と同じになるように前記表示された公式を変形し、変形された該公式を前記表示部に表示する変形式表示制御手段とを備えたことを特徴としている。
【０００８】
本発明に係るプログラムは、数学公式学習装置のコンピュータを制御するためのプログラムであって、前記コンピュータを、数式を入力する数式入力手段と、数学の公式を表示部に表示する公式表示制御手段と、前記表示された公式の右辺又は左辺の何れか一方の指定を受け付ける指定受付手段と、前記指定を受け付けた公式の一方の辺が前記入力された数式と同じになるように前記表示された公式を変形し、変形された該公式を前記表示部に表示する変形式表示制御手段、として機能させることを特徴としている。
【発明の効果】
【０００９】
本発明によれば、公式を覚える煩わしさから解放しつつ、効果的に公式を学習することが可能になる数学公式学習装置およびその制御プログラムを提供できる。
【図面の簡単な説明】
【００１０】
【図１】本発明の数学公式学習装置の実施形態に係る関数電卓１０の外観構成を示す正面図。
【図２】前記関数電卓１０の電子回路の構成を示すブロック図。
【図３】前記関数電卓１０による公式適用学習処理を示すフローチャート。
【図４】前記関数電卓１０の公式適用学習処理に伴う公式適用処理を示すフローチャート。
【図５】前記関数電卓１０の公式適用学習処理に伴う数式表示動作の具体例（その１）を示す図。
【図６】前記関数電卓１０の公式適用学習処理に伴う数式表示動作の具体例（その２）を示す図。
【図７】前記関数電卓１０の他の実施形態の公式適用学習処理に伴う数式表示動作の具体例を示す図。
【発明を実施するための形態】
【００１１】
以下図面により本発明の実施の形態について説明する。
【００１２】
図１は、本発明の数学公式学習装置の実施形態に係る関数電卓１０の外観構成を示す正面図である。
【００１３】
この関数電卓１０は、その携帯性の必要からユーザが片手で十分把持し片手で操作可能な小型サイズからなり、この関数電卓１０の本体正面にはキー入力部１１およびカラー表示部１６が設けられる。
【００１４】
キー入力部１１には、数字や数式を入力したり計算の実行を指示したりするための数字・演算記号キー群１２、各種の関数を入力するための関数機能キー群１３、各種動作モードのメニュー画面を表示させたり動作モードの設定を指示したりするためのモード設定キー群１４、カラー表示部１６に表示されたカーソルの移動操作やデータ項目の選択操作などを行うためのカーソルキー１５、カラー表示部１６の下端に沿ってメニュー表示される各種の機能を選択的に指定するためのファンクションキーＦ１〜Ｆ６が備えられる。
【００１５】
前記数字・演算記号キー群１２としては、「０」〜「９」（数字）キーおよび「＋」「−」「×」「÷」（演算記号）キー、「ＡＣ」（クリア）キー、「ＥＸＥ」（実行）キー１２ａなどが配列される。
【００１６】
前記関数機能キー群１３としては、「log」（対数）キー、「sin」（サイン）キー、「cos」（コサイン）キー、「ａb/c」（分数）キーなどが配列される。
【００１７】
前記モード設定キー群１４としては、「Menu」（メニュー）キー、「SHIFT」（シフト）キー、「OPTN」（オプション）キーなどが配列される。
【００１８】
なお、前記数字・演算記号キー群１２に配列された各キーおよび前記関数機能キー群１３に配列された各キーは、当該各キー上側の本体面の表記に応じて各種の文字（記号）、演算子等を入力するキーとしても機能する。
【００１９】
前記カラー表示部１６は、ドットマトリクス型のカラー液晶表示ユニットからなり、その表示画面上には、当該画面のタッチ位置を検出するための透明タブレットのタッチパネル１６Ｔが重ねて設けられる。
【００２０】
同図１におけるカラー表示部１６には、数学公式学習モードにおいて、数式表示画面ＧＮ上にユーザ入力された三角関数式に関して、公式一覧ウインドウＷＦＬが表示された状態を示している。この公式一覧ウインドウＷＦＬに一覧表示された各公式は、当該表示画面に対するタッチ操作またはカーソルキー１５のキー操作に応じたカーソルＣｕの移動により選択される。
【００２１】
図２は、前記関数電卓１０の電子回路の構成を示すブロック図である。
【００２２】
この関数電卓１０は、プロセッサ（ＣＰＵ）２１を備えている。
【００２３】
プロセッサ（ＣＰＵ）２１は、ＲＯＭ２２に予め記憶されているシステムプログラム、あるいはメモリカードなどの外部記憶媒体２３から記憶媒体読み書き部２４によりＲＯＭ２２に読み込まれた電卓制御プログラム、あるいはインターネットなど、通信ネットワークＮ上のＷｅｂサーバ（プログラムサーバ）３０から通信制御部２５を介してダウンロードされ前記ＲＯＭ２２に読み込まれた電卓制御プログラムに従い、ＲＡＭ２６に種々のデータを記憶させ、また読み出しながら回路各部の動作を制御する。
【００２４】
そして、前記ＲＯＭ２２に予め記憶されたシステムプログラムや電卓制御プログラムは、キー入力部１１からのキー入力信号やタッチパネル１６Ｔからのタッチ位置検出信号に応じて起動される。
【００２５】
このように、前記プロセッサ（ＣＰＵ）２１には、前記ＲＯＭ２２、記憶媒体読み書き部２４、通信制御部２５、ＲＡＭ２６、キー入力部１１、タッチパネル１６Ｔが接続される他に、カラー表示部（ＬＣＤ）１６が接続される。
【００２６】
前記ＲＯＭ２２に記憶される電卓制御プログラムとしては、キー入力部１１あるいはタッチパネル１６Ｔによりユーザ入力される任意の数式に応じた演算処理を実行するための演算処理プログラム、同ユーザ入力された数式に応じた公式の学習処理を実行するための公式適用学習処理プログラム、同ユーザ入力される任意の数式に応じたグラフ描画処理を実行するためのグラフ描画処理プログラムなど、各種の処理プログラム２２ａが記憶される。
【００２７】
また、前記電卓制御プログラムとしては、前記数式表示画面ＧＮに表示された数式に対しタッチパネル１６Ｔにてタッチ指定された同数式の指定位置（左辺／右辺）を検出するための指定位置検出プログラム２２ｂも記憶される。
【００２８】
そして、前記ＲＯＭ２２には、さらに、各種の数学公式を記憶した公式データベース２２ｃが備えられる。
【００２９】
前記ＲＡＭ２６には、カラー表示部１６のフレームバッファとして機能する表示データ記憶部２６ａ、前記カラー表示部１６の数式表示画面ＧＮにて入力されたユーザ任意の数式が記憶される変形対象式データ記憶部２６ｂ、そして、前記変形対象式データ記憶部２６ｂに記憶された数式を前記公式データベース２２ｃから選択された数学公式に応じて変換処理した数式が当該変換に従い順次更新されて記憶される変形式データ記憶部２６ｃなどが確保される。
【００３０】
このように構成された関数電卓１０は、ＣＰＵ２１が前記各種処理プログラム２２ａ（前記演算処理プログラム、公式適用学習処理プログラム、グラフ描画処理プログラムなどを含む）や指定位置検出プログラム２２ｂに記述された命令に従い回路各部の動作を制御し、ソフトウエアとハードウエアとが協働して動作することにより、以下の動作説明で述べる機能を実現する。
【００３１】
次に、前記構成による関数電卓１０を利用した数学公式の学習に伴う動作について説明する。
【００３２】
図３は、前記関数電卓１０による公式適用学習処理を示すフローチャートである。
【００３３】
図４は、前記関数電卓１０の公式適用学習処理に伴う公式適用処理を示すフローチャートである。
【００３４】
図５は、前記関数電卓１０の公式適用学習処理に伴う数式表示動作の具体例（その１）を示す図である。
【００３５】
キー入力部１１のユーザ操作に応じて任意の数式「cosX」が入力されると、入力された数式「cosX」が、変形対象式データ記憶部２６ｂに記憶されると共に、図５（ａ）に示すように、数式表示画面ＧＮとしてカラー表示部１６に表示される（ステップＳ１）。
【００３６】
ここで、ユーザ操作に応じて公式の呼び出しが指示されると（ステップＳ２（Ｙｅｓ））、前記公式データベース２２ｃから三角関数の各公式の名称が読み出され、図５（ｂ）に示すように、公式一覧ウインドウＷＦＬとしてカーソルＣｕにより任意の公式名称を選択可能な状態で前記数式表示画面ＧＮ上に表示される（ステップＳ３）。
【００３７】
この公式一覧ウインドウＷＦＬにおけるカーソルＣｕのユーザ操作に応じて、前記入力した数式（変形対象式）「cosX」に適用するための「倍角の公式(cos)」が選択されると、前記公式データベース２２ｃから当該選択された「倍角の公式(cos)」の内容[cos2α=2cos２α-1]が読み出され、図５（ｃ）に示すように、選択公式表示ウインドウＷＦとして前記公式一覧ウインドウＷＦＬから切り替えられて表示される（ステップＳ４）。
【００３８】
この選択公式表示ウインドウＷＦにおいて、表示中の公式[cos2α=2cos２α-1]の左右両辺のうち何れか一辺を前記入力した数式（変形対象式）「cosX」に代入して適用するために、図５（ｄ１）の矢印Ｑ１で示すように、タッチペンＰにより同公式の左辺[cos2α]を選択すると共に前記数式表示画面ＧＮ上の変形対象式「cosX」を指定すると（ステップＳ５（Ｙｅｓ））、図４における公式適用処理に移行される（ステップＳＡ）。
【００３９】
この公式適用処理が開始されると、先ず、前記タッチペンＰにより選択された公式[cos2α=2cos２α-1]の左辺[cos2α]が、前記変形対象式「cosX」の全体に代入可能であるか否かが、定数の移行や両辺の等倍等の式変形も含めた処理に基づき判断され（ステップＡ１）、代入可能であると判断されると（ステップＡ１（Ｙｅｓ））、図５（ｅ１）に示すように、当該代入処理されて変形された結果の式「cosX=2cos２(X/2)-1」が変形式データ記憶部２６ｃに記憶されると共に数式表示画面ＧＮに表示される（ステップＡ２）。
【００４０】
一方、前記選択公式表示ウインドウＷＦにおいて、図５（ｄ２）の矢印Ｑ２で示すように、タッチペンＰにより同公式の右辺[2cos２α-1]を選択すると共に前記数式表示画面ＧＮ上の変形対象式「cosX」を指定した場合に（ステップＳ５（Ｙｅｓ））、図４における公式適用処理に移行されると（ステップＳＡ）、定数の移行や両辺の等倍等の式変形も含めた処理に基づき、前記選択公式の右辺[2cos２α-1]が前記変形対象式「cosX」の全体に代入可能であると判断される（ステップＡ１（Ｙｅｓ））。
【００４１】
そして、図５（ｅ２）に示すように、当該代入処理されて変形された結果の式「cosX=√((1+cos2X)/2)」が変形式データ記憶部２６ｃに記憶されると共に数式表示画面ＧＮに表示される（ステップＡ２）。
【００４２】
この後、ユーザ操作に応じた終了の指示がないと判断された場合には（ステップＳ６（Ｎｏ））、前記ステップＳ２からの処理に戻り、前記公式一覧ウインドウＷＦＬを再表示させ、当該公式一覧の中から別の公式を選択してなる公式適用処理（図４参照）を繰り返し実行できる（ステップＳ２〜Ｓ５→ＳＡ）。
【００４３】
なお、前記図４で示す公式適用処理のフローチャートにおいて、破線ＡＸにより囲んだ範囲の処理ステップＡ２ａ，Ａ２ｂは、他の実施形態として後述する。
【００４４】
図６は、前記関数電卓１０の公式適用学習処理に伴う数式表示動作の具体例（その２）を示す図である。
【００４５】
キー入力部１１のユーザ操作に応じて任意の数式「sinX+sinY」が入力されると、入力された数式「sinX+sinY」が、変形対象式データ記憶部２６ｂに記憶されると共に、図６（ａ）に示すように、数式表示画面ＧＮとしてカラー表示部１６に表示される（ステップＳ１）。
【００４６】
ここで、ユーザ操作に応じて公式の呼び出しが指示されると（ステップＳ２（Ｙｅｓ））、前記公式データベース２２ｃから三角関数の公式の名称が読み出され、図６（ｂ）に示すように、公式一覧ウインドウＷＦＬとしてカーソルＣｕにより任意の公式名称を選択可能な状態で前記数式表示画面ＧＮ上に表示される（ステップＳ３）。
【００４７】
この公式一覧ウインドウＷＦＬにおけるカーソルＣｕのユーザ操作に応じて、前記入力した数式（変形対象式）「sinX+sinY」に適用するための「和積の公式」が選択されると、前記公式データベース２２ｃから当該選択された「和積の公式」の内容[sinα+sinβ=2sin((α+β)/2)cos((α-β)/2)]が読み出され、図６（ｃ）に示すように、選択公式表示ウインドウＷＦとして前記公式一覧ウインドウＷＦＬから切り替えられて表示される（ステップＳ４）。
【００４８】
この選択公式表示ウインドウＷＦにおいて、表示中の公式[sinα+sinβ=2sin((α+β)/2)cos((α-β)/2)]の左右両辺のうち何れか一辺を前記入力した数式（変形対象式）「sinX+sinY」に代入して適用するために、図６（ｄ１）の矢印Ｑ１で示すように、タッチペンＰにより同公式の左辺[sinα+sinβ]を選択すると共に前記数式表示画面ＧＮ上の変形対象式「sinX+sinY」を指定すると（ステップＳ５（Ｙｅｓ））、図４における公式適用処理に移行される（ステップＳＡ）。
【００４９】
すると、前記タッチペンＰにより選択された公式[sinα+sinβ=2sin((α+β)/2)cos((α-β)/2)]の左辺[sinα+sinβ]が、前記変形対象式「sinX+sinY」の全体に代入可能であるか否かが、定数の移行や両辺の等倍等の式変形も含めた処理に基づき判断され（ステップＡ１）、代入可能であると判断されると（ステップＡ１（Ｙｅｓ））、図６（ｅ１）に示すように、当該代入処理されて変形された結果の式「sinX+sinY=2sin((X+Y)/2)cos((X-Y)/2)」が変形式データ記憶部２６ｃに記憶されると共に数式表示画面ＧＮに表示される（ステップＡ２）。
【００５０】
一方、前記選択公式表示ウインドウＷＦにおいて、図６（ｄ２）の矢印Ｑ２で示すように、タッチペンＰにより同公式の右辺[2sin((α+β)/2)cos((α-β)/2)]を選択すると共に前記数式表示画面ＧＮ上の変形対象式「sinX+sinY」を指定した場合に（ステップＳ５（Ｙｅｓ））、図４における公式適用処理に移行されると（ステップＳＡ）、定数の移行や両辺の等倍等の式変形も含めた処理に基づき、前記選択公式の右辺[2sin((α+β)/2)cos((α-β)/2)]は、前記変形対象式「sinX+sinY」の全体に代入不可能と判断される（ステップＡ１（Ｎｏ））。
【００５１】
するとさらに、前記選択公式の右辺[2sin((α+β)/2)cos((α-β)/2)]が、前記変形対象式「sinX+sinY」の一部（ここでは「sinX」又は「sinY」）に代入可能であるか否か判断される（ステップＡ３）。
【００５２】
ここで、前記選択公式の右辺[2sin((α+β)/2)cos((α-β)/2)]は、前記変形対象式「sinX+sinY」の一部（ここでは「sinX」又は「sinY」）に対しても代入不可能と判断されると（ステップＡ３（Ｎｏ））、前記選択公式の他方の辺である左辺[sinα+sinβ]について、前記変形対象式「sinX+sinY」への代入が可能であると判断される（ステップＡ４（Ｙｅｓ））。
【００５３】
すると、図６（ｅ２）に示すように、ユーザにより選択された公式の右辺[2sin((α+β)/2)cos((α-β)/2)]について、前記変形対象式「sinX+sinY」の全体あるいはその一部の何れに対しても代入不可能であること、および同公式の左辺[sinα+sinβ]については代入可能であることを報知するメッセージ「代入できません。左辺の代入は可能です。」Ｍａが、前記数式表示画面ＧＮ上に表示される（ステップＡ５）。
【００５４】
なお、前記ステップＡ４において、前記選択公式のユーザにより選択されていない他方の辺についても、前記変形対象式への代入が不可能と判断された場合には（ステップＡ４（Ｎｏ））、前記数式表示画面ＧＮ上にエラーメッセージが表示される（ステップＡ６）。
【００５５】
この後、ユーザ操作に応じた終了の指示がないと判断された場合には（ステップＳ６（Ｎｏ））、前記ステップＳ２からの処理に戻り、前記公式一覧ウインドウＷＦＬを再表示させ、当該公式一覧の中から別の公式を選択してなる公式適用処理（図４参照）を繰り返し実行できる（ステップＳ２〜Ｓ５→ＳＡ）。
【００５６】
したがって、前記構成の関数電卓１０を利用した数学公式の学習に伴う公式適用学習機能によれば、ユーザ任意の数式「cosX」を変形対象式として数式表示画面ＧＮに入力表示させると共に、当該変形対象式の種類（三角関数）に応じて公式データベース２２ｃから読み出された数学公式（倍角の公式(sin)：倍角の公式(cos)：和積の公式）が公式一覧ウインドウＷＦＬに一覧表示された状態で、この公式一覧ウインドウＷＦＬから前記変形対象式「cosX」を変形すべく「倍角の公式(cos)：[cos2α=2cos２α-1]」を選択し、例えばその左辺[cos2α]又は右辺[2cos２α-1]をタッチペンＰにより選択して前記変形対象式「cosX」を指定する。すると、前記選択された公式の左辺[cos2α]（又は右辺[2cos２α-1]）が前記変形対象式「cosX」に代入可能か否かがその定数の移行や両辺の等倍等の式変形を含む処理に基づき判断され、代入可能と判断された場合はその代入結果の式「cosX=2cos２(X/2)-1」（又は「cosX=√((1+cos2X)/2)」）が表示される。
【００５７】
また、前記構成の公式適用学習機能によれば、ユーザ入力された変形対象式「sinX+sinY」に対して、選択された公式[sinα+sinβ=2sin((α+β)/2)cos((α-β)/2)]の右辺[2sin((α+β)/2)cos((α-β)/2)]が代入不可能と判断され、他方の左辺[sinα+sinβ]が代入可能「sinX+sinY=2sin((X+Y)/2)cos((X-Y)/2)」と判断された場合には、当該選択された公式右辺の代入が不可能であること、および同公式の左辺については代入可能であることを報知するメッセージ「代入できません。左辺の代入は可能です。」Ｍａが表示される。
【００５８】
これにより、ユーザ入力された数式の変換に適した公式が自動で検索されるのではなく、どの公式をどのように前記ユーザ入力した数式に当てはめれば良いのかという、公式学習に最も重要な点を学ぶことができ、公式を覚える煩わしさから開放しつつ、効果的に公式を学習することが可能になる。
【００５９】
（他の実施形態）
図７は、前記関数電卓１０の他の実施形態の公式適用学習処理に伴う数式表示動作の具体例を示す図である。
【００６０】
キー入力部１１のユーザ操作に応じて任意の数式「sinXcosX」が入力されると、入力された数式「sinXcosX」が、変形対象式データ記憶部２６ｂに記憶されると共に、図７（ａ）に示すように、数式表示画面ＧＮとしてカラー表示部１６に表示される（ステップＳ１）。
【００６１】
ここで、ユーザ操作に応じて公式の呼び出しが指示されると（ステップＳ２（Ｙｅｓ））、前記公式データベース２２ｃから三角関数の公式の名称が読み出され、図７（ｂ）に示すように、公式一覧ウインドウＷＦＬとしてカーソルＣｕにより任意の公式名称を選択可能な状態で前記数式表示画面ＧＮ上に表示される（ステップＳ３）。
【００６２】
この公式一覧ウインドウＷＦＬにおけるカーソルＣｕのユーザ操作に応じて、前記入力した数式（変形対象式）「sinXcosX」に適用するための「倍角の公式(sin)」が選択されると、前記公式データベース２２ｃから当該選択された「倍角の公式(sin)」の内容[sin2α=2sinαcosα]が読み出され、図７（ｃ）に示すように、選択公式表示ウインドウＷＦとして前記公式一覧ウインドウＷＦＬから切り替えられて表示される（ステップＳ４）。
【００６３】
この選択公式表示ウインドウＷＦにおいて、表示中の公式[sin2α=2sinαcosα]の左右両辺のうち何れか一辺を前記入力した数式（変形対象式）「sinXcosX」に代入して適用するために、図７（ｄ１）の矢印Ｑ１で示すように、タッチペンＰにより同公式の左辺[sin2α]を選択すると共に、前記数式表示画面ＧＮ上の変形対象式「sinXcosX」のうち前記選択した公式左辺[sin2α]を適用できそうな前半部[sinX]を指定すると（ステップＳ５（Ｙｅｓ））、図４における公式適用処理に移行される（ステップＳＡ）。
【００６４】
すると、前記タッチペンＰにより選択された公式[sin2α=2sinαcosα]の左辺[sin2α]が、前記変形対象式「sinXcosX」の全体に代入可能であるか否かが、定数の移行や両辺の等倍等の式変形も含めた処理に基づき判断される（ステップＡ１）。
【００６５】
ここで、前記選択された公式左辺[sin2α]について、前記変形対象式「sinXcosX」の全体に代入することが不可能であると判断されると（ステップＡ１（Ｎｏ））、同選択された公式左辺[sin2α]が、前記変形対象式「sinXcosX」のうちの指定された一部（ここでは「sinX」）に代入可能であるか否か判断される（ステップＡ３）。
【００６６】
このステップＡ３における代入可否の判断処理に伴った式変形により、前記公式左辺[sin2α]を前記変形対象式「sinXcosX」の指定された一部「sinX」に代入した結果の式「sinXcosX=2sin(X/2)cos(X/2)cosX」が導出されることにより代入可能と判断されると（ステップＡ３（Ｙｅｓ））、図７（ｅ１）に示すように、当該代入結果の式「sinXcosX=2sin(X/2)cos(X/2)cosX」が変形式データ記憶部２６ｃに記憶されると共に数式表示画面ＧＮに表示される（ステップＡ２）。
【００６７】
すると、この他の実施形態（ステップＡＸ）では、前記選択された公式左辺[sin2α]ではなく、他方の辺である公式右辺[2sinαcosα]について、前記変形対象式「sinXcosX」に代入可能であるか否か判断され、代入可能と判断された場合は、前記選択された公式左辺の代入結果と比較して当該公式右辺の代入結果が簡潔な式になるか否かが各式の項総数や文字総数に基づき判断される（ステップＡ２ａ）。
【００６８】
具体的には、前記選択された公式左辺[sin2α]ではない公式右辺[2sinαcosα]を、前記変形対象式「sinXcosX」に代入した結果の式「sinXcosX=(sin2X)/2」が導出されることにより代入可能と判断されると、前記公式左辺の代入結果の式「sinXcosX=2sin(X/2)cos(X/2)cosX」と比較して、項の総数はともに１であるが前記公式左辺の代入結果の方が文字総数が多いので、当該公式右辺の代入結果が簡潔な式になると判断される（ステップＡ２ａ（Ｙｅｓ））。
【００６９】
すると、前記図７（ｅ１）で示したように、選択された公式左辺[sin2α]の代入結果の式「sinXcosX=2sin(X/2)cos(X/2)cosX」と共に、他方の辺、つまり公式右辺を代入した方が簡潔な変形式が得られることを報知するメッセージ「右辺を代入した方が簡潔な結果が得られます。」Ｍｂが数式表示画面ＧＮに表示される（ステップＡ２ｂ）。
【００７０】
一方、前記選択公式表示ウインドウＷＦにおいて、図７（ｄ２）の矢印Ｑ２で示すように、タッチペンＰにより同公式の右辺[2sinαcosα]を選択すると共に前記数式表示画面ＧＮ上の変形対象式「sinXcosX」を指定した場合に（ステップＳ５（Ｙｅｓ））、図４における公式適用処理に移行されると（ステップＳＡ）、定数の移行や両辺の等倍等の式変形も含めた処理に基づき、前記選択公式の右辺[2sinαcosα]が前記変形対象式「sinXcosX」の全体に代入可能であると判断される（ステップＡ１（Ｙｅｓ））。
【００７１】
そして、図７（ｅ２）に示すように、当該代入処理されて変形された結果の式「sinXcosX=(sin2X)/2」が変形式データ記憶部２６ｃに記憶されると共に数式表示画面ＧＮに表示される（ステップＡ２）。
【００７２】
この後前記同様に、今回選択された公式右辺[2sinαcosα]ではなく、他方の辺である公式左辺[sin2α]について、前記変形対象式「sinXcosX」に代入可能であるか否か判断されると共に、代入可能と判断された場合に、その代入結果が前記選択された公式右辺の代入結果と比較して簡潔な式になるか否かが判断されるが（ステップＡ２ａ）、ここでは、他方の辺である公式左辺[sin2α]の代入結果の式「sinXcosX=2sin(X/2)cos(X/2)cosX」は、今回選択された公式右辺[2sinαcosα]の代入結果の式「sinXcosX=(sin2X)/2」よりも複雑である（簡潔でない）と判断されるので（ステップＡ２ａ（Ｎｏ））、前記メッセージＭｂの表示は行われない（ＲＥＴＵＲＮ）。
【００７３】
したがって、前記構成の他の実施形態の公式適用学習機能によれば、ユーザ任意の数式「sinXcosX」を変形対象式として数式表示画面ＧＮに入力表示させると共に、当該変形対象式の種類（三角関数）に応じて公式データベース２２ｃから読み出された数学公式（倍角の公式(sin)：倍角の公式(cos)：和積の公式）が公式一覧ウインドウＷＦＬに一覧表示された状態で、この公式一覧ウインドウＷＦＬから前記変形対象式「sinXcosX」を変形すべく「倍角の公式(sin)：[sin2α=2sinαcosα]」を選択し、例えばその左辺[sin2α]をタッチペンＰにより選択して前記変形対象式「sinXcosX」を指定する。すると、前記選択された公式の左辺[sin2α]が前記変形対象式「sinXcosX」の全体に代入可能か否かがその定数の移行や両辺の等倍等の式変形を含む処理に基づき判断され、代入不可能と判断された場合は、さらに同公式左辺[sin2α]が前記変形対象式「sinXcosX」の一部に代入可能か否か判断される。そして、同公式左辺[sin2α]が前記変形対象式「sinXcosX」の一部「sinX」に代入可能と判断されると、その代入結果の式「sinXcosX=2sin(X/2)cos(X/2)cosX」が表示される。
【００７４】
さらに、前記選択された公式左辺[sin2α]が前記変形対象式「sinXcosX」に代入可能と判断されてその代入結果の式「sinXcosX=2sin(X/2)cos(X/2)cosX」が表示された場合であっても、前記選択された公式[sin2α=2sinαcosα]の他方の辺である右辺[2sinαcosα]の代入結果の式「sinXcosX=(sin2X)/2」の方が簡潔な場合は、そのことを報知するメッセージ「右辺を代入した方が簡潔な結果が得られます。」Ｍｂが表示される。
【００７５】
これにより、ユーザ入力された数式の変換に適した公式が自動で検索されるのではなく、どの公式をどのように前記ユーザ入力した数式に当てはめれば良いのかという、公式学習に最も重要な点を学ぶことができ、公式を覚える煩わしさから開放しつつ、効果的に公式を学習することが可能になる。
【００７６】
なお、前記各実施形態において記載した関数電卓１０の動作手法、すなわち、図３のフローチャートに示す公式適用学習処理、図４のフローチャートに示す前記公式適用学習処理に伴う公式適用処理などの各手法は、コンピュータに実行させることができるプログラムとして、メモリカード（ＲＯＭカード、ＲＡＭカード等）、磁気ディスク（フロッピディスク、ハードディスク等）、光ディスク（ＣＤ−ＲＯＭ、ＤＶＤ等）、半導体メモリ等の外部記憶媒体（２３）に格納して配布することができる。そして、電子式計算機（１０）のコンピュータ（２１）は、この外部記憶媒体（２３）に記憶されたプログラムを記憶装置（２２）に読み込み、この読み込んだプログラムによって動作が制御されることにより、前記各実施形態において説明した数学公式の学習に伴う公式適用学習機能を実現し、前述した手法による同様の処理を実行することができる。
【００７７】
また、前記手法を実現するためのプログラムのデータは、プログラムコードの形態として通信ネットワーク（公衆回線）Ｎ上を伝送させることができ、この通信ネットワークＮに接続された通信装置（２５）によって、前記プログラムデータを、電子式計算機（１０）のコンピュータ（２１）に取り込み、前述した数学公式の学習に伴う公式適用学習機能を実現することもできる。
【００７８】
なお、本願発明は、前記各実施形態に限定されるものではなく、実施段階ではその要旨を逸脱しない範囲で種々に変形することが可能である。さらに、前記各実施形態には種々の段階の発明が含まれており、開示される複数の構成要件における適宜な組み合わせにより種々の発明が抽出され得る。例えば、各実施形態に示される全構成要件から幾つかの構成要件が削除されたり、幾つかの構成要件が異なる形態にして組み合わされても、発明が解決しようとする課題の欄で述べた課題が解決でき、発明の効果の欄で述べられている効果が得られる場合には、この構成要件が削除されたり組み合わされた構成が発明として抽出され得るものである。
【００７９】
以下に、原出願の当初の特許請求の範囲に記載された発明を付記する。
【００８０】
［１］
公式を記憶する公式記憶手段と、
変形対象式を表示制御する数式表示制御手段と、
前記公式記憶手段により記憶された公式の左辺又は右辺の指定を受け付ける公式指定手段と、
前記公式指定手段により指定を受け付けた公式の左辺又は右辺を前記変形対象式に代入し当該変形対象式の表示を更新制御する公式適用手段と、
を備えることを特徴とする数学公式学習装置。
【００８１】
［２］
前記公式適用手段は、
前記公式指定手段により指定を受け付けた公式の左辺又は右辺を前記変形対象式にそのまま代入できない場合、当該公式の左辺又は右辺について式変形した後で前記変形対象式に代入し当該変形対象式の表示を更新制御する、
ことを特徴とする［１］に記載の数学公式学習装置。
【００８２】
［３］
前記公式適用手段は、
前記公式指定手段により指定を受け付けた公式の左辺又は右辺を前記変形対象式の全体に代入可能であれば全体に代入し、当該変形対象式の表示を更新制御する第１の公式適用手段と、前記公式指定手段により指定を受け付けた公式の左辺又は右辺を前記変形対象式の全体に代入可能でない場合に一部に代入可能であれば一部に代入し、当該変形対象式の表示を更新制御する第２の公式適用手段とを有する、
ことを特徴とする［１］または［２］に記載の数学公式学習装置。
【００８３】
［４］
前記公式適用手段は、前記公式指定手段により指定を受け付けた公式の左辺又は右辺を前記変形対象式に代入可能か否かを判断する指定辺代入可否判断手段を有し、この指定辺代入可否判断手段により代入可能と判断された場合に前記指定を受け付けた公式の左辺又は右辺を前記変形対象式に代入し当該変形対象式の表示を更新制御し、
前記指定辺代入可否判断手段により代入不可能と判断された場合に、前記公式指定手段により指定を受け付けていない公式の他方の辺を前記変形対象式に代入可能か否かを判断する他辺代入可否判断手段と、
この他辺代入可否判断手段により前記指定を受け付けていない公式の他方の辺を前記変形対象式に代入可能と判断された場合はその旨を報知する他辺代入可能報知手段と、
をさらに備えたことを特徴とする［１］ないし［３］の何れか１つに記載の数学公式学習装置。
【００８４】
［５］
前記公式適用手段により前記指定を受け付けた公式の左辺又は右辺を前記変形対象式に代入し当該変形対象式の表示を更新制御した後に、前記公式指定手段により指定を受け付けていない公式の他方の辺を前記変形対象式に代入し、前記指定を受け付けた公式の左辺又は右辺を代入した変形対象式よりも前記指定を受け付けていない公式の他方の辺を代入した変形対象式の方が簡潔か否かを判断する代入式簡潔判断手段と、
この式簡潔判断手段により前記指定を受け付けていない公式の他方の辺を代入した変形対象式の方が簡潔と判断された場合はその旨を報知する代入式簡潔報知手段と、
をさらに備えたことを特徴とする［１］ないし［４］の何れか１つに記載の数学公式学習装置
【００８５】
［６］
電子計算装置のコンピュータを制御するためのプログラムであって、
前記コンピュータを、
公式をメモリに記憶させる公式記憶手段、
変形対象式を表示部に表示制御する数式表示制御手段、
前記公式記憶手段により記憶された公式の左辺又は右辺のユーザ操作に応じた指定を受け付ける公式指定手段、
前記公式指定手段により指定を受け付けた公式の左辺又は右辺を前記変形対象式に代入し当該変形対象式の表示を更新制御する公式適用手段、
として機能させるためのプログラム。
【符号の説明】
【００８６】
１０  …関数電卓
１１  …キー入力部
１２  …数字・演算記号キー群
１３  …関数機能キー群
１４  …モード設定キー群
１５  …カーソルキー
１６  …カラー表示部
１６Ｔ…タッチパネル
２１  …プロセッサ（ＣＰＵ）
２２  …ＲＯＭ
２２ａ…各種処理プログラム
２２ｂ…指定位置検出プログラム
２２ｃ…公式データベース
２３  …外部記憶媒体
２４  …記憶媒体読み書き部
２５  …通信制御部
２６  …ＲＡＭ
２６ａ…表示データ記憶部
２６ｂ…変形対象式データ記憶部
２６ｃ…変形式データ記憶部
３０  …Ｗｅｂサーバ
ＧＮ  …数式表示画面
ＷＦＬ…公式一覧ウインドウ
ＷＦ  …選択公式表示ウインドウ
Ｐ    …タッチペン
【図１】
0005962802.tif 000002
【図２】
0005962802.tif 000003
【図３】
0005962802.tif 000004
【図４】
0005962802.tif 000005
【図５】
0005962802.tif 000006
【図６】
0005962802.tif 000007
【図７】
0005962802.tif 000008