JP6365018B2 - Mathematical expression display control apparatus and program - Google Patents
Mathematical expression display control apparatus and program Download PDFInfo
- Publication number
- JP6365018B2 JP6365018B2 JP2014135274A JP2014135274A JP6365018B2 JP 6365018 B2 JP6365018 B2 JP 6365018B2 JP 2014135274 A JP2014135274 A JP 2014135274A JP 2014135274 A JP2014135274 A JP 2014135274A JP 6365018 B2 JP6365018 B2 JP 6365018B2
- Authority
- JP
- Japan
- Prior art keywords
- formula
- expression
- integration
- integral
- replacement
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
Images
Landscapes
- Calculators And Similar Devices (AREA)
Description
本発明は、積分の計算を学習するのに適した数式表示制御装置およびその制御プログラムに関する。 The present invention relates to a mathematical expression display control apparatus suitable for learning integral calculation and a control program therefor.
従来、積分関数式の計算過程を学習させる計算装置が考えられている。 Conventionally, a calculation apparatus that learns the calculation process of an integral function equation has been considered.
この計算装置は、入力された積分関数式における複数の変数を複数の変換変数に変換することにより、変数変換済みの積分関数式を算出して表示させ、表示させた変数変換済みの積分関数式内で、積分領域をその変数毎の積分範囲として表示させる。そして、一方の変数について下限値から上限値までの間で積分を実行して積分結果としての単積分関数式を表示させ、またこの単積分関数式に対し他方の変数について下限値から上限値までの間で積分を実行して積分結果を表示させることで、領域積分の計算過程を表示させるものである（例えば、特許文献１参照。）。 This calculation device calculates and displays a variable-converted integral function expression by converting a plurality of variables in the input integral function expression into a plurality of conversion variables, and displays the displayed variable-converted integral function expression. The integration region is displayed as the integration range for each variable. Then, integration is performed between the lower limit value and the upper limit value for one variable to display a single integral function expression as the integration result, and for the other variable from the lower limit value to the upper limit value for this single integral function expression. The integration process is executed during the period and the integration result is displayed to display the calculation process of the region integration (see, for example, Patent Document 1).
前記従来の計算装置では、前記入力された積分関数式における複数の変数を複数の変換変数に変換する際に、一次変換、極座標変換等、所定形式の変換式を選択的に設定して変数変換を実行する。 In the conventional calculation device, when converting a plurality of variables in the input integral function expression into a plurality of conversion variables, a conversion expression of a predetermined format such as a primary conversion or a polar coordinate conversion is selectively set to convert the variables. Execute.
そして、前記積分関数式の入力から変数変換の実行、積分の実行、積分結果の表示まで、順番に計算処理しながら表示させる。 Then, from the input of the integral function expression to the execution of variable conversion, the execution of integration, and the display of the integration result, the display is performed while performing calculation processing in order.
また置換積分に限らず、ユーザの計算過程で積分対象として入力された入力数式が、うまく積分公式を組み合わせた式に変形できない場合は、積分公式では、解けないこととなる。積分式が積分公式を組み合わせた式で表すことができるかを確認するには、単純な式変形や代入操作を多数行う必要があり、作業が煩雑であった。 In addition to substitution integration, if an input formula input as an integration target in a user's calculation process cannot be transformed into a formula combining the integration formulas well, the integration formula cannot be solved. In order to confirm whether the integral expression can be expressed by a combination of integral formulas, it is necessary to perform many simple expression modifications and substitution operations, and the work is complicated.
本発明は、このような課題に鑑みなされたもので、ユーザ操作により入力された数式を含む積分式が積分公式を使用した式で表すことができるかを容易に認識可能であり、積分公式を使う積分式を効率よく効果的に学習することが可能になる数式表示制御装置を提供することを目的とする。 The present invention has been made in view of such a problem, and can easily recognize whether an integral expression including a mathematical expression input by a user operation can be expressed by an expression using an integral formula. It is an object of the present invention to provide a mathematical expression display control device capable of efficiently and effectively learning an integral expression to be used.
本発明に係る数式表示制御装置は、積分公式を記憶している積分公式記憶手段と、ユーザ操作に応じて積分対象の数式と置換式とを入力する数式入力手段と、この数式入力手段により入力された数式を含む積分式を前記入力された置換式により置換した置換後の積分式を算出する置換後積分式算出手段により算出された置換後の積分式が、前記積分公式記憶手段により記憶された積分公式を使用した式で表すことができるか否かを判断し、その判断結果を報知する判断報知手段と、を備えたことを特徴としている。 The mathematical expression display control apparatus according to the present invention includes an integral formula storage means for storing an integral formula, a mathematical expression input means for inputting a mathematical expression to be integrated and a replacement expression in accordance with a user operation, and input by the mathematical expression input means. The integrated formula after replacement calculated by the post-substitution integral formula calculating means for calculating the integral formula after replacement by replacing the integral formula including the calculated mathematical formula with the input substitution formula is stored in the integral formula storage means. It is characterized by comprising a determination notification means for determining whether or not it can be expressed by an equation using the integral formula and notifying the determination result.
本発明によれば、ユーザ操作により入力された数式を含む積分式が積分公式を使用した式で表すことができるかを容易に認識可能であり、積分公式を使う積分式を効率よく効果的に学習することが可能になる。 ADVANTAGE OF THE INVENTION According to this invention, it can be recognized easily whether the integral formula containing the numerical formula input by user operation can be represented by the formula which uses an integral formula, and the integral formula which uses an integral formula can be efficiently and effectively. It becomes possible to learn.
以下図面により本発明の実施の形態について説明する。 Embodiments of the present invention will be described below with reference to the drawings.
図１は、本発明の実施形態に係る数式表示制御装置１０の外観構成を示す正面図であり、同図（Ａ）は当該数式表示制御装置１０を関数電卓１０Ｋにより実施した場合の正面図、同図（Ｂ）は前記関数電卓１０Ｋのエミュレータを搭載したタブレット端末１０Ｔの正面図である。
FIG. 1 is a front view showing an external configuration of a mathematical expression
この数式表示制御装置１０は、以下に説明する専用の関数電卓１０Ｋにおいて実施されるか、当該関数電卓１０Ｋのエミュレータを搭載したタブレット端末１０Ｔ、携帯電話、携帯ゲーム機等として構成される。
The mathematical expression
前記関数電卓１０Ｋの本体には、本体正面の下半分程度の範囲でキー入力部１６が設けられ、上半分程度の範囲でタッチパネル表示部１７が設けられる。
The main body of the
前記キー入力部１６には、数値・記号キー、関数・演算子キー、カーソルキーなどが備えられる。
The
前記数値・記号キーは、数字，［．］（少数点）、［ＥＸＰ］（×10■）、記号などの個々のキーを配列した数値・記号の入力用キー群からなる。 The numeric / symbol keys are numbers, [. (Decimal point), consisting of [EXP] (× 10 ■), symbol input key group of individual numeral or symbol keys are arranged such.
前記関数・演算子キーは、演算式や関数式を入力する際に操作される各種の関数記号キーや、［＋］［−］［×］［÷］［＝］などの演算子キーからなる。 The function / operator key includes an operation expression, various function symbol keys operated when inputting the function expression, and operator keys such as [+] [−] [×] [÷] [=]. .
なお、［Keyboard］キー１２ｋは、当該キー入力部１２に予め備えられたキーには存在しない種類のキーを含むソフトキーボードＫＢをタッチパネル表示部１６に表示させる際に操作される。ユーザは、各種関数を入力する際に、初めに［Keyboard］キー１２ｋを１回操作すると、表示部下段に分数［■／□］キー、［√］キー、［π］キーを含む各種関数キーがソフトキーボードＫＢとして表示されるので、任意の関数キーを１キーで入力できるようになる。そして、前記ソフトキーボードＫＢが表示された状態で［Keyboard］キー１２ｋを操作すると、当該ソフトキーボードＫＢは消去される。
The [Keyboard]
前記タッチパネル表示部１７は、カラー表示可能な液晶表示画面の上に、透明タッチパネルを重ねて構成される。
The touch
そして、この関数電卓１０Ｋは、数式表示モードにおいて、前記タッチパネル表示部１７に表示される数式入力画面ＧＦに手書き入力された数式を認識して表示させる機能、積分対象の数式（積分式）と置換式とを入力した場合に置換後の積分式を算出する機能、前記積分式を基本の積分公式を組み合わせた式に簡単化する方向で計算する機能、前記積分式が基本の積分公式を組み合わせた式で簡単化できた否かを判断する機能、前記簡単化できない場合にユーザに警告し推奨の置換式を表示させたり基本の積分公式を表示させたりする機能、前記簡単化できた場合にユーザに報知し前記積分式を簡略化して表示させる機能等を有する。
The
なお、図１中のＢｃは[∫check;積分可能チェック]ボタンであり、当該[∫check]ボタンＢｃの操作に応じて前記入力された積分式を対象とする各種の機能が実行される。 Note that Bc in FIG. 1 is a [∫check; integration check] button, and various functions for the input integration formula are executed according to the operation of the [∫check] button Bc.
図２は、前記数式表示制御装置１０の回路構成を示すブロック図である。
FIG. 2 is a block diagram showing a circuit configuration of the mathematical expression
前記数式表示制御装置１０は、マイクロコンピュータであるＣＰＵ１１を備えている。
The mathematical expression
前記ＣＰＵ１１は、フラッシュＲＯＭ等の記憶部１２に予め記憶された数式表示制御プログラム１２ａ、あるいはメモリカードなどの外部記録媒体１３から記録媒体読み取り部１４を介して前記記憶部１２に読み込まれた数式表示制御プログラム１２ａ、あるいは通信ネットワーク（インターネット）Ｎ上のＷｅｂサーバ（プログラムサーバ）２０から通信部１５を介して前記記憶部１４にダウンロードされた数式表示制御プログラム１２ａに従い回路各部の動作を制御し、数式入力機能や数式計算機能、数式チェック機能など、本数式表示制御装置１０に備えられた各種の機能を実行する。
The
このＣＰＵ１１には、前記図１に示したキー入力部１６、タッチパネル表示部１７の他に、前記記憶部１２、記録媒体読み取り部１４、通信部１５などが接続されている。
In addition to the
前記記憶部１２には、前記数式表示制御プログラム１２ａが記憶される他に、前記ＣＰＵ１１の処理動作に必要な各種のデータを記憶するため、基本積分公式データ記憶領域１２ｂ、数式別置換式データ記憶領域１２ｃ、入力式データ記憶領域１２ｄ、数式処理データ記憶領域１２ｅ、表示データ記憶領域１２ｆが確保される。
In addition to storing the mathematical expression
図３は、前記数式表示制御装置１０の基本積分公式データ記憶領域１２ｂに記憶される基本積分公式データの内容を示す図である。
FIG. 3 is a diagram showing the contents of the basic integration formula data stored in the basic integration formula
この基本積分公式データ記憶領域１２ｂには、６種類の基本的な積分公式［１］〜［６］が、それぞれその積分対象の公式基本数式とその積分結果の数式とを対応付けて記憶される。なお、前記積分公式［１］は、積分対象の公式基本数式における指数部「ｎ」の値が「−１」以外であるか、「−１」であるかに応じて異なり、（ｎ≠−１）である場合は積分結果「xn+1/n+1」となる積分公式［１ａ］、（ｎ＝−１）である場合は積分結果「log x」となる積分公式［１ｂ］となる。
In the basic integration formula
図４は、前記数式表示制御装置１０の数式別置換式データ記憶領域１２ｃに記憶される数式別置換式データの内容を示す図である。
FIG. 4 is a diagram showing the contents of per-formula permutation formula data stored in the per-formula permutation formula
この数式別置換式データ記憶領域１２ｃには、多様な形態の積分計算式とその積分対象の基本数式にそれぞれ対応付けて、当該積分計算式を前記積分公式を組み合わせた式に簡単化するための置換式とその刻み幅変換式(dx→dt)が記憶される。
The per-formula replacement formula
前記入力式データ記憶領域１２ｄには、前記キー入力部１６やソフトキーボードＫＢのユーザ操作あるいは前記タッチパネル表示部１７に対する手書き操作に従い入力された数式のデータが記憶される。
In the input formula
前記数式処理データ記憶領域１２ｅには、前記入力式データ記憶領域１２ｄに記憶された数式に基づいて、前記数式表示制御プログラム１２ａに従い数式処理される過程の数式データや計算結果の数式データ等が記憶される。
In the formula processing
前記表示データ記憶領域１２ｆには、前記数式表示制御プログラム１２ａに従い前記タッチパネル表示部１７に表示させるべき数式やテキストの表示データが記憶される。
The display
このように構成された数式表示制御装置１０は、前記ＣＰＵ１１が前記数式表示制御プログラム１２ａに記述された各種の処理の命令に従い回路各部の動作を制御し、ソフトウエアとハードウエアとが協働して動作することにより、以下の動作説明で述べる各種の機能を実現する。
In the mathematical expression
次に、前記構成の数式表示制御装置１０の動作について説明する。
Next, the operation of the mathematical expression
図５は、前記数式表示制御装置１０の数式表示制御処理（その１）を示すフローチャートである。
FIG. 5 is a flowchart showing the formula display control process (part 1) of the formula
図６は、前記数式表示制御装置１０の数式表示制御処理（その２）を示すフローチャートである。
FIG. 6 is a flowchart showing the formula display control process (part 2) of the formula
図７は、前記数式表示制御装置１０の数式表示制御処理に伴う基本積分公式利用可否確認処理を示すフローチャートである。
FIG. 7 is a flowchart showing a basic integration formula availability check process accompanying the formula display control process of the formula
図８は、前記数式表示制御装置１０の数式表示制御処理に従ったユーザ操作に伴う表示動作（その１）を示す図である。
FIG. 8 is a diagram showing a display operation (part 1) accompanying a user operation according to the mathematical expression display control process of the mathematical expression
図９は、前記数式表示制御装置１０の数式表示制御処理に従ったユーザ操作に伴う表示動作（その２）を示す図である。
FIG. 9 is a diagram illustrating a display operation (part 2) accompanying a user operation in accordance with the mathematical expression display control process of the mathematical expression
前記タッチパネル表示部１７に表示された各種機能のメニュー画面（図示せず）において数式処理機能が選択されることにより、前記ＣＰＵ１１の動作モードが数式表示モードに設定され、前記数式表示制御プログラム１２ａが起動されると、図８（Ａ）に示すように、当該タッチパネル表示部１７に数式入力画面ＧＦがソフトキーボードＫＢと共に表示される。
When an equation processing function is selected on a menu screen (not shown) of various functions displayed on the touch
この数式入力画面ＧＦにおいて、ペンタッチＰにより計算対象の積分式「∫(√(1+ｘ2),0,1)dx」が入力されると、または、予め積分機能が設定された状態「∫□dx」で、ユーザ操作に応じて積分対象の数式部分「√(1+x2)」が入力されると、入力された積分式が数式認識され活字に変換されて表示される（ステップＳ１）。なお、前記計算対象の積分式は、前記記憶部１２に記憶させた電子教材から選んで入力したり、前記外部記録媒体１３やＷｅｂサーバ２０等の外部から取得して入力したりしてもよい。なお図面中では教科書通りの形式で入力・表示され、「∫」の積分範囲として右下側に「0」、右上側に「1」が記載され、「√」の上線が「1+x2」の上に伸びているが、本明細書においては、１行表示形式で「∫[0]~[1] √(1+x2) dx」と表記する。
When the integral expression “∫ (√ (1 + x 2 ), 0,1) dx” to be calculated is input by the pen touch P on the mathematical expression input screen GF, or the integration function is set in advance “∫ □ dx ”, when the mathematical expression part“ √ (1 + x 2 ) ”to be integrated is input in response to a user operation, the input integral expression is recognized and converted into a type and displayed (step S1). ). The integration formula to be calculated may be selected and input from electronic teaching materials stored in the
また、前記積分式「∫[0]~[1] √(1+x2) dx」を簡単化する（積分公式を使用して、又は積分公式を組合せて使用して計算可能にする）ためのユーザによって考えられた置換式「x=√(t-1)」が、前記同様にペンタッチＰにより入力されると、入力された置換式が数式認識され活字に変換されて表示される（ステップＳ１９）。なお、前記置換式は、前記記憶部１２の数式別置換式データ記憶領域１２ｃに記憶させた数式別置換式の一覧から選んで入力してもよい。
Also, to simplify the integration formula “∫ [0] ~ [1] √ (1 + x 2 ) dx” (by using an integration formula or a combination of integration formulas to enable calculation) When the substitution expression “x = √ (t−1)” considered by the user is input by the pen touch P in the same manner as described above, the input substitution expression is recognized and converted into a type and displayed (step) S19). The substitution formula may be selected from a list of substitution formulas by formula stored in the substitution formula
ここで、前記積分式「∫[0]~[1] √(1+x2) dx」を前記ユーザが考えた置換式「x=√(t-1)」で上手く簡単化できるかどうかを確認したい場合に、図８（Ｂ）に示すように、前記数式入力画面ＧＦ上端のメニューエリアに表示させた[∫check]ボタンＢｃがペンタッチＰ１されると（ステップＳ２０（Ｙｅｓ））、図７における基本積分公式利用可否確認処理に移行され、前記積分式「∫[0]~[1] √(1+x2) dx」が前記置換式「x=√(t-1)」により置換処理されることで、当該積分式を基本の積分公式を組み合わせた式に簡単化できるか否かが判断される（ステップＳＡ）。 Here, whether or not the integration formula “積分 [0] to [1] √ (1 + x 2 ) dx” can be easily simplified by the substitution formula “x = √ (t−1)” considered by the user. When it is desired to confirm, as shown in FIG. 8B, when the [∫ check] button Bc displayed in the menu area at the upper end of the mathematical expression input screen GF is pen-touched P1 (step S20 (Yes)), FIG. Is transferred to the basic integration formula availability confirmation process in FIG. 5, and the integration formula “∫ [0] to [1] √ (1 + x 2 ) dx” is replaced by the replacement formula “x = √ (t−1)”. Thus, it is determined whether or not the integration formula can be simplified to a formula combining basic integration formulas (step SA).
すなわち、前記基本積分公式利用可否確認処理において、前記置換式「x=√(t-1)」が入力されたと判断された場合は（ステップＡ１（Ｙｅｓ））、前記記憶部１２の数式別置換式データ記憶領域１２ｃに記憶された数式別置換式データに基づいて（又は数式処理により）、前記置換式の数式形態に対応した刻み幅変換式(dx→dt)が決定される（ステップＡ２）。
That is, in the basic integration formula availability confirmation process, if it is determined that the replacement formula “x = √ (t−1)” has been input (step A1 (Yes)), the
すると、前記入力された元の積分式「∫[0]~[1] √(1+x2) dx」に前記置換式と前記決定された刻み幅変換式(dx→dt)が代入されて置換後の変数の積分式が算出され（ステップＡ３）、この算出された置換後の変数の積分式について、数式処理により、前記基本の積分公式を組み合わせた式に簡単化する方向の計算が実行される（ステップＡ４）。なお、前記簡単化する方向の計算とは、例えば積分式によっては置換の手法を用いずに同積分式を特殊な形態に変形して解ける場合もあるが、ここでは簡単化する方向で計算して前記「ｔ」の置換式を用いる解き方を学習させることを意味する。 Then, the substitution formula and the determined step size conversion formula (dx → dt) are substituted into the input original integration formula “∫ [0] to [1] √ (1 + x 2 ) dx”. The integration formula of the variable after substitution is calculated (step A3), and the calculation of the direction that simplifies the formula to the combination of the basic integration formulas is performed on the calculated integration formula of the variable after substitution by formula processing. (Step A4). The calculation of the direction to be simplified may be solved by, for example, transforming the integral formula into a special form without using a replacement method depending on the integral formula. This means learning how to solve using the substitution formula of “t”.
そして、前記簡単化計算された積分式について、前記基本の積分公式を組み合わせた式に簡単化できたか否かが判断され前記記憶部１２に記憶される。具体的には、前記簡単化計算された積分式中の積分対象数式が、基本積分公式データ記憶領域１２ｂの積分対象の公式基本数式のいずれか又は複数の組合せであるか否かが判断される。より正確には、積分対象数式が公式基本数式の多項式であるか、公式基本数式の定数倍であるか又は公式基本数式の定数倍の組合せであるか否かが判断され前記記憶部１２に記憶される（ステップＡ５）。
Then, it is determined whether or not the simplified integration formula has been simplified to a formula combining the basic integration formulas, and stored in the
この基本積分公式利用可否確認処理（ステップＳＡ）において、前記積分式「∫[0]~[1] √(1+x2) dx」を前記置換式「x=√(t-1)」では基本の積分公式を組み合わせた式に簡単化できないと判断されることにより「公式利用不可」であると判断されると（ステップＳ２１（Ｎｏ））、ユーザが置換式を入力した場合の警告メッセージ「この置換式では、基本の積分公式を組み合わせた式に簡単化できません」Ｍｗ２が表示される（ステップＳ２６）。この警告メッセージＭｗ２には、［推奨置換式］ボタンＢｆと［置換後の積分式］ボタンＢａが付加される。 In the basic integration formula availability confirmation process (step SA), the integration formula “∫ [0] to [1] √ (1 + x 2 ) dx” is replaced by the substitution formula “x = √ (t−1)”. If it is determined that the formula cannot be simplified by combining the basic integration formulas and it is determined that the formula is not available (step S21 (No)), a warning message “when the user inputs a replacement formula” This replacement formula cannot be simplified to a formula combining the basic integration formulas ”Mw2 is displayed (step S26). To this warning message Mw2, a [Recommended replacement formula] button Bf and a [Integration formula after replacement] button Ba are added.
ここで、前記積分式「∫[0]~[1] √(1+x2) dx」を簡単化できる置換式について知りたい場合に、前記［推奨置換式］ボタンＢｆがペンタッチされて指定されると（ステップＳ２７（Ｙｅｓ））、前記記憶部１２の数式別置換式データ記憶領域１２ｃに記憶された数式別置換式データに基づいて、前記積分式「∫[0]~[1] √(1+x2) dx」（又はその数値を変数に換える等して一部簡略化した積分式）と同じ数式形態の積分計算式「∫√(x2+A)dx」に対応付けられた置換式「x+√(x2+A)=t」が読み出され、その変数「Ａ」に前記積分式「∫√(1+22)dx」の数値を代入して変換した推奨置換式「√(1+x2)=t-x」が表示される（ステップＳ２８）。
Here, when the user wants to know a replacement expression that can simplify the integral expression “∫ [0] to [1] √ (1 + x 2 ) dx”, the [Recommended replacement expression] button Bf is specified by being touched with a pen. Then (Step S27 (Yes)), based on the per-formula permutation data stored in the per-formula permutation
一方、前記ユーザが置換式を入力した場合の警告メッセージＭｗ２が表示された状態で、前記積分式「∫[0]~[1]; (√(1+x2),0,1)dx」を前記ユーザが考えた置換式「x=√(t-1)」により簡単化した式が実際にどうなるかを知りたい場合に、前記［置換後の積分式］ボタンＢａがペンタッチＰ２されて指定されると（ステップＳ２９（Ｙｅｓ））、当該積分式を置換式により置換した置換後の積分式が数式処理により計算され、図８（Ｃ）に示すように、計算された置換後の積分式「∫[1+(0)2]~[1+(1)2];(√t/√(t-1))dt」Ｆａがその計算過程「∫[0]~[1];√(1+√(t-12))dx | dx=(1/√(t-1))dt」と共に確認ＮＧの置換後積分式ウインドウＷａ２として表示される（ステップＳ３０）。この確認ＮＧの置換後積分式ウインドウＷａ２には、［基本の積分公式］ボタンＢｂが付加される。 On the other hand, in the state where the warning message Mw2 is displayed when the user inputs a substitution formula, the integral formula “∫ [0] to [1]; (√ (1 + x 2 ), 0,1) dx” If the user wants to know what actually happens to the expression simplified by the replacement expression “x = √ (t−1)” considered by the user, the [Integration expression after replacement] button Ba is designated by pen touch P2. When it is done (step S29 (Yes)), the replaced integral expression obtained by replacing the integral expression with the replacement expression is calculated by mathematical expression processing, and as shown in FIG. “∫ [1+ (0) 2 ] to [1+ (1) 2 ]; (√t / √ (t−1)) dt” Fa is calculated by the calculation process “∫ [0] to [1]; √ ( 1 + √ (t−1 2 )) dx | dx = (1 / √ (t−1)) dt ”is displayed as a post-replacement integral window Wa2 for confirmation NG (step S30). A [basic integration formula] button Bb is added to the integration formula window Wa2 after the replacement of the confirmation NG.
これにより、前記ユーザは、前記確認ＮＧの置換後積分式ウインドウＷａ２に表示された置換後の積分式Ｆａが基本の積分公式を組み合わせた式にはなっていないことを確認することができ、当該ユーザ自身が考えて入力した置換式では上手く簡単化できないことを認識できる。 Thereby, the user can confirm that the replaced integration formula Fa displayed in the integration formula window Wa2 after replacement of the confirmation NG is not a formula combining basic integration formulas. It can be recognized that the substitution formula entered by the user himself cannot be simplified easily.
ここで、前記積分式「∫[0]~[1] √(1+x2) dx」を前記ユーザ自身の置換式「x=√(t-1)」により簡単化することについて、当該ユーザ自身が計算して検証したい場合に、前記数式入力画面ＧＦを初期状態に戻した後（ステップＳ１８（Ｙｅｓ））、図８（Ｄ）に示すように、当該数式入力画面ＧＦ上でのペン入力操作Ｐにより、ユーザ自身が計算した置換後の積分式「∫[1+(0)2]~[1+(1)2];(√t/√(t-1))dt」を入力して表示させる（ステップＳ１）。 Here, regarding the simplification of the integral formula “∫ [0] to [1] √ (1 + x 2 ) dx” by the user's own substitution formula “x = √ (t−1)”, the user concerned When the user wishes to perform calculation and verify, after returning the mathematical expression input screen GF to the initial state (step S18 (Yes)), as shown in FIG. 8D, pen input on the mathematical expression input screen GF By operation P, input the integral expression “∫ [1+ (0) 2 ] to [1+ (1) 2 ]; (√t / √ (t-1)) dt” calculated by the user himself / herself. Are displayed (step S1).
そして、図８（Ｅ）に示すように、前記[∫check]ボタンＢｃがペンタッチＰ１されると（ステップＳ２（Ｙｅｓ））、前記基本積分公式利用可否確認処理に移行され、当該ユーザ入力された置換後の積分式について、基本の積分公式を組み合わせた式に簡単化できるか否かが判断される（ステップＳＡ）。ここでの基本積分公式利用可否確認処理では、直前に入力された数式が置換式ではなくユーザ自身が計算した置換後の積分式なので、置換式のユーザ入力無しとの判断（ステップＡ１（Ｎｏ））に従い、前記ステップＡ４，Ａ５の処理により、基本の積分公式を組み合わせた式に簡単化できるか否かが判断される。 Then, as shown in FIG. 8E, when the [∫ check] button Bc is pen-touched P1 (step S2 (Yes)), the process proceeds to the basic integration formula availability confirmation process and the user input is performed. It is determined whether or not the integration formula after replacement can be simplified to a formula combining basic integration formulas (step SA). In the basic integration formula availability confirmation process here, since the mathematical formula input immediately before is not a replacement formula but an integration formula after substitution calculated by the user himself, it is determined that there is no user input of the substitution formula (step A1 (No)). ), It is determined whether or not the processing can be simplified by combining the basic integration formulas by the processes of steps A4 and A5.
この基本積分公式利用可否確認処理（ステップＳＡ）において、前記ユーザ入力された置換後の積分式「∫[1+(0)2]~[1+(1)2];(√t/√(t-1))dt」について、基本の積分公式を組み合わせた式に簡単化できないと判断されることにより「公式利用不可」であると判断されると（ステップＳ３（Ｎｏ））、ユーザが置換計算した場合の警告メッセージ「この積分式は、基本の積分公式を組み合わせた式に簡単化できません」Ｍｗ１が表示される（ステップＳ１３）。この警告メッセージＭｗ１には、［推奨置換式］ボタンＢｆと［基本の積分公式］ボタンＢｂが付加される。 In the basic integration formula availability confirmation process (step SA), the integration formula “∫ [1+ (0) 2 ] to [1+ (1) 2 ]; (√t / √ ( If it is determined that “t-1)) dt” cannot be simplified to an expression that combines the basic integration formulas and is “unavailable” (step S3 (No)), the user replaces A warning message “While this integral equation cannot be simplified to a combination of basic integral formulas” Mw1 is displayed (step S13). To this warning message Mw1, a [Recommended replacement formula] button Bf and a [Basic integration formula] button Bb are added.
ここで、前記同様に、前記積分式「∫[0]~[1] √(1+x2) dx」を簡単化できる置換式について知りたい場合に、前記［推奨置換式］ボタンＢｆがペンタッチされて指定されると（ステップＳ１４（Ｙｅｓ））、前記数式別置換式データ記憶領域１２ｃに記憶された数式別置換式データに基づいて、前記積分式「∫[0]~[1] √(1+x2) dx」（又はその数値を変数に換える等して一部簡略化した積分式）と同じ数式形態の積分計算式「∫√(x2+A)dx」に対応付けられた置換式「x+√(x2+A)=t」が読み出され、その変数「Ａ」に前記積分式「∫√(1+22)dx」の数値を代入して変換した推奨置換式「√(1+x2)=t-x」が表示される（ステップＳ１５）。
Here, in the same way as described above, when the user wants to know a replacement expression that can simplify the integral expression “∫ [0] to [1] √ (1 + x 2 ) dx”, the [Recommended replacement expression] button Bf is pen-touched If specified (step S14 (Yes)), based on the per-formula permutation data stored in the per-formula permutation
一方、前記ユーザが置換計算した場合の警告メッセージＭｗ１が表示された状態で、当該警告メッセージＭｗ１にある基本の積分公式についてどのようなものがあるのか確認したい場合に、前記［基本の積分公式］ボタンＢｂがペンタッチＰ２されて指定されると（ステップＳ１６（Ｙｅｓ））、前記記憶部１２の基本積分公式データ記憶領域１２ｂに記憶された各公式データが読み出され、図８（Ｆ）に示すように、基本積分公式ウインドウＷＦとして一覧表示される（ステップＳ１７）。
On the other hand, when it is desired to confirm what the basic integration formula in the warning message Mw1 is in the state where the warning message Mw1 when the user performs the replacement calculation is displayed, the [basic integration formula] When the button Bb is designated by the pen touch P2 (step S16 (Yes)), the respective formula data stored in the basic integration formula
これにより、前記ユーザは、当該ユーザ自身が計算して入力した前記置換後の積分式「∫[1+(0)2]~[1+(1)2];(√t/√(t-1))dt」について、前記基本積分公式ウインドウＷＦに一覧表示された各積分公式を組み合わせた形態になっていないことを容易かつ速やかに確認することができ、当該ユーザのやり方では上手く簡単化できないことを直ちに認識できる。 As a result, the user can calculate the integration formula “∫ [1+ (0) 2 ] to [1+ (1) 2 ]; (√t / √ (t− 1)) dt ”can be easily and quickly confirmed that the integration formulas listed in the basic integration formula window WF are not combined, and cannot be easily simplified by the user's method. You can recognize it immediately.
前記ユーザは、前記図８（Ａ）〜図８（Ｆ）を参照して説明したように、前記積分式「∫√(1+22)dx」について、自らが最初に考えた置換式「x=√(t-1)」では上手く簡単化できないことが認識できたので、前記数式入力画面ＧＦを初期状態に戻した後（ステップＳ１８（Ｙｅｓ））、図９（Ａ）に示すように、当該画面ＧＦ上で別の置換式「√(1+x2)=t-x」をペン入力操作Ｐにより入力して表示させる（ステップＳ１→Ｓ１９）。 As described with reference to FIG. 8A to FIG. 8F, the user can replace the integral expression “∫√ (1 + 2 2 ) dx” with the replacement expression “ Since x = √ (t−1) ”cannot be successfully simplified, the formula input screen GF is returned to the initial state (step S18 (Yes)), and as shown in FIG. 9A. On the screen GF, another substitution formula “√ (1 + x 2 ) = tx” is input and displayed by the pen input operation P (step S1 → S19).
そして、図９（Ｂ）に示すように、前記[∫check]ボタンＢｃが再びペンタッチＰ１されると（ステップＳ２０（Ｙｅｓ））、前記基本積分公式利用可否確認処理に移行され、前記積分式「∫[0]~[1] √(1+x2) dx」が前記別の置換式「√(1+x2)=t-x」により置換処理されることで、当該積分式を基本の積分公式を組み合わせた式に簡単化できるか否かが判断される（ステップＳＡ）。ここでの基本積分公式利用可否確認処理では、直前に入力された数式が置換式なので、置換式のユーザ入力ありとの判断（ステップＡ１（Ｙｅｓ））に従い、前記同様ステップＡ２〜Ａ５の処理により、基本の積分公式を組み合わせた式に簡単化できるか否かが判断される。 Then, as shown in FIG. 9B, when the [∫check] button Bc is pen-touched P1 again (step S20 (Yes)), the process proceeds to the basic integration formula availability check process, and the integration formula “ ∫ [0] ~ [1] √ (1 + x 2 ) dx ”is replaced by the other substitution formula“ √ (1 + x 2 ) = tx ”, so that the integration formula is converted into a basic integration formula. It is determined whether or not the expression can be simplified to a combination of (step SA). In the basic integration formula availability confirmation process here, since the mathematical formula input immediately before is a replacement formula, according to the determination that there is a user input of the replacement formula (step A1 (Yes)), the processing of steps A2 to A5 is performed as described above. Then, it is determined whether or not it can be simplified to an expression that combines basic integration formulas.
この基本積分公式利用可否確認処理（ステップＳＡ）において、前記積分式「∫[0]~[1] √(1+x2) dx」を前記別の置換式「√(1+x2)=t-x」で基本の積分公式を組み合わせた式に簡単化できると判断されることにより「公式利用可」であると判断されると（ステップＳ２１（Ｙｅｓ））、ユーザが置換式を入力した場合の確認ＯＫメッセージ「この置換式で、基本の積分公式を組み合わせた式に簡単化できます」Ｍｔ２が表示される（ステップＳ２２）。この確認ＯＫメッセージＭｔ２には、［置換後の積分式］ボタンＢａが付加される。 In the basic integration formula availability confirmation process (step SA), the integration formula “∫ [0] to [1] √ (1 + x 2 ) dx” is replaced with the other substitution formula “√ (1 + x 2 ) = When it is determined that “formula is available” by determining that the formula can be simplified to a combination of basic integration formulas at “tx” (step S21 (Yes)), the case where the user inputs a replacement formula The confirmation OK message “This replacement formula can be simplified to a formula combining basic integration formulas” Mt2 is displayed (step S22). To this confirmation OK message Mt2, the [Integration formula after replacement] button Ba is added.
そして、前記積分式「∫[0]~[1] √(1+x2) dx」を前記別の置換式「√(1+x2)=t-x」により簡単化した式について知りたい場合に、前記［置換後の積分式］ボタンＢａがペンタッチＰ２されて指定されると（ステップＳ２３（Ｙｅｓ））、当該積分式を置換式により置換して簡略化した置換後の積分式が数式処理により計算され、図９（Ｃ）に示すように、計算された置換後の積分式（多項式）「∫[√(1+(0)2)]~[√(1+(1)2)];(t+(2/t)+(1/t3))dt」Ｆａがその計算過程「∫[√(1+(0)2)]~[√(1+(1)2)];(t-((t2-1)/2t)((t2+1)/2t2)dt」と共に確認ＯＫの置換後積分式ウインドウＷａ１として表示される（ステップＳ２４）。この確認ＯＫの置換後積分式ウインドウＷａ１には、［使う積分公式］ボタンＢｕが付加される。 Then, when it is desired to know the expression obtained by simplifying the integral expression “∫ [0] to [1] √ (1 + x 2 ) dx” by the other substitution expression “√ (1 + x 2 ) = tx” When the [Integration formula after substitution] button Ba is designated by pen touch P2 (step S23 (Yes)), the integration formula after substitution is simplified by replacing the integration formula with the substitution formula. As shown in FIG. 9C, the calculated integration formula (polynomial) after replacement “∫ [√ (1+ (0) 2 )] to [√ (1+ (1) 2 )]; (t + (2 / t) + (1 / t 3 )) dt ”Fa is calculated from“ ∫ [√ (1+ (0) 2 )] to [√ (1+ (1) 2 )]; (t -((t 2 -1) / 2t) ((t 2 +1) / 2t 2 ) dt "is displayed as the integration window Wa1 after confirmation OK (step S24). An [integration formula to be used] button Bu is added to the expression window Wa1.
これにより、前記ユーザは、前記確認ＯＫの置換後積分式ウインドウＷａ１に表示された置換後の積分式（多項式）Ｆａが基本の積分公式を組み合わせた式になっていることを確認できるが、実際に使う積分公式を正しく確認するために、前記［使う積分公式］ボタンＢｕがペンタッチされて指定されると（ステップＳ７（Ｙｅｓ））、前記積分式「∫[0]~[1] √(1+x2) dx」を数式処理により基本の積分公式を組み合わせて簡略化した当該基本の積分公式が、前記基本積分公式データ記憶領域１２ｂに記憶された基本積分公式データの一覧から抽出され（ステップＳ８）、図９（Ｄ）に示すように、使う積分公式ウインドウＷｕとして表示される（ステップＳ９〜Ｓ１１）。
As a result, the user can confirm that the integration formula (polynomial) Fa after replacement displayed in the integration formula window Wa1 after replacement is a formula combining basic integration formulas. In order to correctly confirm the integral formula used for the above, when the [used integral formula] button Bu is specified by pen-touching (step S7 (Yes)), the integral formula “∫ [0] to [1] √ (1 + x 2 ) dx "is extracted from the list of basic integration formula data stored in the basic integration formula
ここでは、前記置換後の積分式（多項式の積分式）「∫[√(1+(0)2)]~[√(1+(1)2)];(t+(2/t)+(1/t3))dt」Ｆａは、前記基本積分公式データ（１２ｂ）の積分公式１（１ａ，１ｂ）により簡略化されるので、「積分公式１あり」（ステップＳ９（Ｙｅｓ））との判断に従い、その多項式の項毎に指数部「ｎ」の値（ここではｔの値）が「ｎ＝１」「ｎ＝−１」「ｎ＝−３」と決定され、当該「ｎ」の値に各対応する積分公式１ａ「∫xndx=xn+1/(n+1) (n=1)」，１ｂ「∫xndx=log x (n=-1)」，１ａ「∫xndx=xn+1/(n+1) (n=-3)」が前記使う積分公式ウインドウＷｕとして表示される（ステップＳ１１）。
Here, the integration formula after replacement (integral formula of the polynomial) “∫ [√ (1+ (0) 2 )] to [√ (1+ (1) 2 )]; (t + (2 / t) + ( 1 / t 3 )) dt ”Fa is simplified by the integral formula 1 (1a, 1b) of the basic integral formula data (12b), so that“
これにより、前記ユーザは、前記積分式「∫[0]~[1] √(1+x2) dx」について、当該ユーザが改めて考えた前記別の置換式「√(1+x2)=t-x」により簡単化して前記基本の積分公式１ａ，１ｂを組み合わせた式に簡単化できることを学習できる。
As a result, the user replaces the integral equation “∫ [0] to [1] √ (1 + x 2 ) dx” with the other replacement equation “√ (1 + x 2 ) = It can be learned that it can be simplified by “tx” and simplified to an expression combining the
続いて、前記積分式「∫[0]~[1] √(1+x2) dx」を前記ユーザが改めて考えた前記別の置換式「√(1+x2)=t-x」により簡単化することについて、当該ユーザ自身が計算して検証したい場合に、前記数式入力画面ＧＦを初期状態に戻した後（ステップＳ１２（Ｙｅｓ））、図９（Ｅ）に示すように、当該数式入力画面ＧＦ上でのペン入力操作Ｐにより、ユーザ自身が計算した置換後の積分式（ここでは計算途中）「∫[√(1+(0)2)]~[√(1+(1)2)];(t-((t2-1)/2t)((t2+1)/2t2)dt」を入力して表示させる（ステップＳ１）。 Subsequently, the integration formula “∫ [0] to [1] √ (1 + x 2 ) dx” is simplified by the other substitution formula “√ (1 + x 2 ) = tx” that the user thinks again. When the user himself wants to calculate and verify, after returning the mathematical expression input screen GF to the initial state (step S12 (Yes)), as shown in FIG. 9 (E), the mathematical expression input screen Integral formula after replacement calculated by the user himself by the pen input operation P on GF (in the middle of calculation here) “∫ [√ (1+ (0) 2 )] to [√ (1+ (1) 2 ) ]; (t − ((t 2 −1) / 2t) ((t 2 +1) / 2t 2 ) dt ”is input and displayed (step S1).
そして、前記[∫check]ボタンＢｃがペンタッチされると（ステップＳ２（Ｙｅｓ））、前記基本積分公式利用可否確認処理に移行され、当該ユーザ入力された置換後の積分式について、基本の積分公式を組み合わせた式に簡単化できるか否かが判断される（ステップＳＡ）。ここでの基本積分公式利用可否確認処理では、直前に入力された数式が置換式ではなくユーザ自身が計算した置換後の積分式なので、置換式のユーザ入力無しとの判断（ステップＡ１（Ｎｏ））に従い、前記同様ステップＡ４，Ａ５の処理により、基本の積分公式を組み合わせた式に簡単化できるか否かが判断される。 Then, when the [∫check] button Bc is touched with a pen (step S2 (Yes)), the process proceeds to the basic integration formula availability check process, and the basic integration formula for the replaced integration formula input by the user is used. It is determined whether or not the expression can be simplified to a combination of (step SA). In the basic integration formula availability confirmation process here, since the mathematical formula input immediately before is not a replacement formula but an integration formula after substitution calculated by the user himself, it is determined that there is no user input of the substitution formula (step A1 (No)). In the same manner as described above, it is determined whether or not the processing can be simplified by combining the basic integration formulas by the processes of steps A4 and A5.
この基本積分公式利用可否確認処理（ステップＳＡ）において、前記ユーザ入力された置換後の積分式「∫[√(1+(0)2)]~[√(1+(1)2)];(t-((t2-1)/2t)((t2+1)/2t2)dt」について、基本の積分公式を組み合わせた式に簡単化できると判断されることにより「公式利用可」であると判断されると（ステップＳ３（Ｙｅｓ））、図９（Ｆ）に示すように、ユーザが置換計算した場合の確認ＯＫメッセージ「この積分式は、基本の積分公式を組み合わせた式に簡単化できます」Ｍｔ１が表示される（ステップＳ４）。この確認ＯＫメッセージＭｔ１には、［積分式を簡単化］ボタンＢｓが付加される。 In this basic integration formula availability confirmation processing (step SA), the user-inputted integration formula “∫ [√ (1+ (0) 2 )] to [√ (1+ (1) 2 )]; For (t-((t 2 -1) / 2t) ((t 2 +1) / 2t 2 ) dt '', it is judged that the formula can be simplified to a combination of basic integration formulas. If it is determined (step S3 (Yes)), as shown in FIG. 9F, a confirmation OK message “This integration formula is a combination of basic integration formulas when the user performs replacement calculation. Mt1 is displayed (step S4). To this confirmation OK message Mt1, a [Simple integration formula] button Bs is added.
そして、前記ユーザ入力された置換後の積分式「∫[√(1+(0)2)]~[√(1+(1)2)];(t-((t2-1)/2t)((t2+1)/2t2)dt」からさらに簡単化した式にできるかについて知りたい場合に、前記［積分式を簡単化］ボタンＢｓがペンタッチされて指定されると（ステップＳ５（Ｙｅｓ））、前記積分式「∫[0]~[1] √(1+x2) dx」を数式処理により簡略化した積分式（置換後の積分式）が計算され、当該計算された置換後の積分式「∫[√(1+(0)2)]~[√(1+(1)2)];(t+(2/t)+(1/t3))dt」Ｆａがその計算過程「∫[√(1+(0)2)]~[√(1+(1)2)];(t-((t2-1)/2t)((t2+1)/2t2)dt」と共に確認ＯＫの置換後積分式ウインドウＷａ１（図９（Ｃ）参照）として表示される（ステップＳ６）。 Then, the user-inputted integral formula “∫ [√ (1+ (0) 2 )] to [√ (1+ (1) 2 )]; (t − ((t 2 −1) / 2t ) ((t 2 +1) / 2t 2 ) dt ”, when it is desired to know whether the expression can be further simplified, when the [simplify integral expression] button Bs is specified by touching the pen (step S5). (Yes)), an integral expression (integration expression after replacement) obtained by simplifying the integral expression “∫ [0] to [1] √ (1 + x 2 ) dx” by mathematical processing is calculated. The integration formula “∫ [√ (1+ (0) 2 )] to [√ (1+ (1) 2 )]; (t + (2 / t) + (1 / t 3 )) dt” Fa The calculation process "∫ [√ (1+ (0) 2 )] ~ [√ (1+ (1) 2 )]; (t-((t 2 -1) / 2t) ((t 2 +1) / 2t 2 ) dt ”is displayed as a post-substitution integral window Wa1 (see FIG. 9C) for confirmation OK (step S6).
これにより、前記ユーザは、前記置換後積分式ウインドウＷａ１に表示された置換後の積分式Ｆａにより基本の積分公式を組み合わせた式で簡単化した積分式を確認できる。 As a result, the user can confirm the simplified integration formula using a combination of basic integration formulas with the replacement integration formula Fa displayed in the post-substitution integration formula window Wa1.
したがって、前記構成の数式表示制御装置１０による積分式の表示制御機能によれば、ユーザ操作に応じて前記数式入力画面ＧＦに積分対象の数式を入力して表示させ当該画面ＧＦに表示された[∫check;積分可能チェック]ボタンＢｃを操作すると、前記基本積分公式利用可否確認処理に従い、前記入力された積分対象式が前記基本積分公式データ記憶領域１２ｂに記憶された基本の積分公式を組み合わせた式に簡単化できるか否かが判断される。そして、簡単化できないと判断された場合は、前記警告メッセージ「この積分式は、基本の積分公式を組み合わせた式に簡単化できません」Ｍｗ１が表示され、簡単化できると判断された場合は、前記確認ＯＫメッセージ「この積分式は、基本の積分公式を組み合わせた式に簡単化できます」Ｍｔ１が表示される。
Therefore, according to the integral expression display control function of the mathematical expression
これにより、前記ユーザは、当該ユーザ自身が入力して置換計算した積分対象式について、前記基本の積分公式を組み合わせた式に簡単化して解けるのか否かを容易かつ速やかに確認することができ、積分対象の数式を置換式で置換して解いて行く手法について、効率よく効果的に学習することが可能になる。 Thereby, the user can easily and quickly confirm whether or not the integration target expression input by the user himself can be solved by simplifying to the expression combining the basic integration formula, It is possible to efficiently and effectively learn a method of solving by replacing a mathematical expression to be integrated with a replacement expression.
また、前記構成の数式表示制御装置１０による積分式の表示制御機能によれば、前記数式入力画面ＧＦに前記積分対象の数式と置換式とを入力して表示させ、前記[∫check]ボタンＢｃを操作すると、前記基本積分公式利用可否確認処理に従い、前記入力された積分対象式を前記置換式で前記基本積分公式データ記憶領域１２ｂに記憶された基本の積分公式を組み合わせた式に簡単化できるか否かが判断される。そして、簡単化できないと判断された場合は、前記警告メッセージ「この置換式では、基本の積分公式を組み合わせた式に簡単化できません」Ｍｗ２が表示され、簡単化できると判断された場合は、前記確認ＯＫメッセージ「この置換式で、基本の積分公式を組み合わせた式に簡単化できます」Ｍｔ２が表示される。
In addition, according to the integral expression display control function of the mathematical expression
これにより、前記ユーザは、当該ユーザ自身が入力した置換式について、前記積分対象式を当該置換式で前記基本の積分公式を組み合わせた式に簡単化して解けるのか否かを容易かつ速やかに確認することができ、積分対象の数式を置換式で置換して解いて行く手法について、効率よく効果的に学習することが可能になる。 As a result, the user can easily and quickly confirm whether or not the substitution formula input by the user himself can be solved by simplifying the integration target formula into a formula combining the basic integration formula with the substitution formula. Therefore, it is possible to efficiently and effectively learn a method of solving by replacing a mathematical expression to be integrated with a replacement expression.
また、前記構成の数式表示制御装置１０による積分式の表示制御機能によれば、前記基本積分公式利用可否確認処理に従い簡単化できると判断された積分対象式について、その置換後の積分式が前記基本の積分公式１ａ，１ｂを組み合わせた多項式で簡単化された場合には、当該多項式の項毎に使われる積分公式がその指数部の値を対応付けて表示されるので、積分対象の数式を置換式で置換して解いて行く手法について、さらに効果的に学習することが可能になる。
In addition, according to the integral expression display control function of the mathematical expression
さらに、前記構成の数式表示制御装置１０による積分式の表示制御機能によれば、前記積分対象式が前記基本の積分公式を組み合わせた式に簡単化できないと判断され、前記警告メッセージ「この積分式は、基本の積分公式を組み合わせた式に簡単化できません」Ｍｗ１が表示された場合は、当該警告メッセージＭｗ１に付加された［基本の積分公式］ボタンＢｂを操作することで、前記基本積分公式データ記憶領域１２ｂに記憶された基本の積分公式が前記基本積分公式ウインドウＷＦとして一覧表示される。
Further, according to the integral expression display control function of the mathematical expression
これにより、前記ユーザは、当該ユーザ自身が入力した積分対象式について、何れの積分公式を使用して簡単化できるかを容易かつ速やかに確認できる。 Thereby, the user can easily and quickly confirm which integration formula can be used to simplify the integration target expression input by the user.
なお、前記各実施形態において記載した数式表示制御装置１０による各処理の手法、およびデータベース、すなわち、図５のフローチャートに示す数式表示制御処理（その１）、図６のフローチャートに示す数式表示制御処理（その２）、図７のフローチャートに示す前記数式表示制御処理に伴う基本積分公式利用可否確認処理などの各手法、および基本積分公式データ（１２ｂ）や数式別置換式データ（１２ｃ）などのデータベースは、何れもコンピュータに実行させることができるプログラムとして、メモリ・カード（ＲＯＭカード、ＲＡＭカード等）、磁気ディスク（フロッピディスク、ハードディスク等）、光ディスク（ＣＤ−ＲＯＭ、ＤＶＤ等）、半導体メモリ等の外部記録媒体（１３）に格納して配布することができる。そして、タッチパネル表示部（１７）を備えた電子機器のコンピュータは、この外部記録媒体（１３）に記憶されたプログラムを記憶装置（１２）に読み込み、この読み込んだプログラムによって動作が制御されることにより、前記各実施形態において説明した積分式の表示制御機能を実現し、前述した手法による同様の処理を実行することができる。また積分公式データは、本体に内蔵されている必要はなく、ネットワーク上のサーバに記憶しており、必要に応じてネットワークを介してサーバからダウンロードして取得するようにしても良い。
It should be noted that each processing method and database by the formula
また、前記各手法を実現するためのプログラムのデータは、プログラムコードの形態としてネットワークＮ上を伝送させることができ、このプログラムデータを、ネットワークＮに接続されたタッチパネル表示部（１７）を備えた電子機器のコンピュータに通信部（１５）によって取り込むことで、前述した積分式の表示制御機能を実現することもできる。この場合において、積分公式データがプログラムの一部として本体内に取り込まれて記憶されるようにしても良い。その場合は、本体内の記憶場所から積分公式データが取得されて利用されることとなる。また積分公式データはプログラムの一部である必要はなく、ネットワーク上のサーバに記憶しており、必要に応じてネットワークを介してサーバからダウンロードして取得するようにしても良い。 The program data for realizing each of the above methods can be transmitted on the network N in the form of a program code, and the program data is provided with a touch panel display unit (17) connected to the network N. The integration type display control function described above can also be realized by taking in the computer of the electronic device by the communication unit (15). In this case, the integration formula data may be captured and stored in the main body as part of the program. In that case, the integration formula data is acquired from the storage location in the main body and used. Further, the integral formula data does not need to be a part of the program, but is stored in a server on the network, and may be obtained by downloading from the server via the network as necessary.
本願発明は、前記各実施形態に限定されるものではなく、実施段階ではその要旨を逸脱しない範囲で種々に変形することが可能である。さらに、前記各実施形態には種々の段階の発明が含まれており、開示される複数の構成要件における適宜な組み合わせにより種々の発明が抽出され得る。例えば、各実施形態に示される全構成要件から幾つかの構成要件が削除されたり、幾つかの構成要件が異なる形態にして組み合わされても、発明が解決しようとする課題の欄で述べた課題が解決でき、発明の効果の欄で述べられている効果が得られる場合には、この構成要件が削除されたり組み合わされた構成が発明として抽出され得るものである。 The present invention is not limited to the above-described embodiments, and various modifications can be made without departing from the scope of the invention when it is practiced. Further, each of the embodiments includes inventions at various stages, and various inventions can be extracted by appropriately combining a plurality of disclosed constituent elements. For example, even if some constituent elements are deleted from all the constituent elements shown in each embodiment or some constituent elements are combined in different forms, the problems described in the column of the problem to be solved by the invention If the effects described in the column “Effects of the Invention” can be obtained, a configuration in which these constituent requirements are deleted or combined can be extracted as an invention.
以下に、本願出願の当初の特許請求の範囲に記載された発明を付記する。 Hereinafter, the invention described in the scope of claims of the present application will be appended.
［１］
積分公式を記憶している積分公式記憶手段と、
ユーザ操作に応じて積分対象の数式を入力する数式入力手段と、
この数式入力手段により入力された数式を含む積分式が、前記積分公式記憶手段により記憶された積分公式を使用した式で表すことができるか否かを判断し、その判断結果を報知する判断報知手段と、
を備えたことを特徴とする数式表示制御装置。
[1]
Integration formula storage means storing the integration formula;
Formula input means for inputting a formula to be integrated in response to a user operation,
Judgment notification for determining whether or not the integral expression including the mathematical formula input by the mathematical formula input means can be expressed by a formula using the integral formula stored by the integral formula storage means and notifying the judgment result Means,
A mathematical expression display control device comprising:
［２］
前記数式入力手段は、ユーザ操作に応じて積分対象の数式と置換式とを入力し、
前記判断報知手段は、前記数式入力手段により入力された数式を含む積分式を前記入力された置換式により置換した置換後の積分式を算出する置換後積分式算出手段を有し、この置換後積分式算出手段により算出された置換後の積分式が、前記積分公式記憶手段により記憶された積分公式を使用した式で表すことができるか否かを判断し、その判断結果を報知する、
ことを特徴とする［１］に記載の数式表示制御装置。
[2]
The mathematical expression input means inputs a mathematical expression to be integrated and a replacement expression in response to a user operation,
The determination notification unit includes a post-replacement integral formula calculation unit that calculates a post-replacement integral formula obtained by replacing the integral formula including the mathematical formula input by the mathematical formula input unit with the input replacement formula. It is determined whether or not the replaced integration formula calculated by the integration formula calculation means can be expressed by an expression using the integration formula stored in the integration formula storage means, and the determination result is notified.
The mathematical expression display control device according to [1], wherein
［３］
前記判断報知手段により、前記置換後の積分式が、前記積分公式を使用した式で表すことができると判断された場合に、当該使用した積分公式を表示させる使用積分公式表示手段を備えた、
ことを特徴とする［２］に記載の数式表示制御装置。
[3]
When it is determined by the determination notification means that the integration formula after the replacement can be expressed by an equation using the integration formula, the integration formula display means for displaying the used integration formula is provided.
The mathematical expression display control device according to [2], wherein
［４］
前記使用積分公式表示手段は、前記判断報知手段により、前記置換後の積分式が、前記積分公式を使用した多項式で表すことができると判断された場合に、当該使用した積分公式とその変数の指数部の値とを対応付けて表示させる、
ことを特徴とする［３］に記載の数式表示制御装置。
[4]
The used integral formula display means, when the judgment notifying means determines that the integration formula after replacement can be expressed by a polynomial using the integral formula, the used integral formula and its variables. Display the value of the exponent part in association with each other.
The mathematical expression display control device according to [3], wherein
［５］
前記判断報知手段により、前記置換後の積分式が、前記積分公式を使用した式で表すことができないと判断された場合に、前記積分公式記憶手段により記憶された積分公式を一覧表示させる積分公式一覧表示手段を備えた、
ことを特徴とする［１］ないし［４］の何れかに記載の数式表示制御装置。
[5]
The integration formula for displaying a list of the integration formulas stored by the integration formula storage means when it is determined by the determination notification means that the integration formula after the replacement cannot be expressed by a formula using the integration formula. Provided with a list display means,
The mathematical expression display control device according to any one of [1] to [4].
［６］
積分式の形態別に置換式を記憶する置換式記憶手段と、
前記判断報知手段により、前記入力された積分式が、前記積分公式を使用した式で表すことができないと判断された場合に、前記置換式記憶手段により記憶された置換式のうち前記入力された積分式の形態に対応した置換式を表示させる推奨置換式表示手段を備えた、
ことを特徴とする［１］ないし［５］の何れかに記載の数式表示制御装置。
[6]
Replacement expression storage means for storing a replacement expression for each form of the integral expression; and
When it is determined by the determination notification means that the input integral expression cannot be expressed by an expression using the integral formula, the input of the replacement expressions stored by the replacement expression storage means With recommended replacement expression display means for displaying a replacement expression corresponding to the form of the integral expression;
The mathematical expression display control device according to any one of [1] to [5].
［７］
電子機器のコンピュータを制御するためのプログラムであって、
前記コンピュータを、
積分公式を取得する積分公式取得手段、
ユーザ操作に応じて積分対象の数式を入力する数式入力手段、
この数式入力手段により入力された数式を含む積分式が、前記積分公式取得手段により取得された積分公式を使用した式で表すことができるか否かを判断し、その判断結果を報知する判断報知手段、
として機能させるためのコンピュータ読み込み可能なプログラム。
[7]
A program for controlling a computer of an electronic device,
The computer,
Integration formula acquisition means for acquiring the integration formula,
Formula input means for inputting a formula to be integrated in response to a user operation,
Judgment notification that determines whether or not the integral expression including the mathematical formula input by the mathematical formula input means can be expressed by a formula using the integral formula acquired by the integral formula acquisition means, and notifies the determination result means,
A computer-readable program that allows it to function as a computer.
１０ …数式表示制御装置
１０Ｋ…関数電卓
１０Ｔ…タブレット端末
１１ …ＣＰＵ
１２ …記憶部
１２ａ…数式表示制御プログラム
１２ｂ…基本積分公式データ記憶領域
１２ｃ…数式別置換式データ記憶領域
１２ｄ…入力式データ記憶領域
１２ｅ…数式処理データ記憶領域
１２ｆ…表示データ記憶領域
１３ …外部記録媒体
１４ …記録媒体読み取り部
１５ …通信部
１６ …キー入力部
１７ …タッチパネル表示部
２０ …Ｗｅｂサーバ
Ｎ …通信ネットワーク（インターネット）
ＫＢ …ソフトキーボード
ＧＦ …数式入力画面
Ｂｃ …[∫check;積分可能チェック]ボタン
Ｍｗ１…ユーザが置換計算した場合の警告メッセージ
Ｍｗ２…ユーザが置換式を入力した場合の警告メッセージ
Ｍｔ１…ユーザが置換計算した場合の確認ＯＫメッセージ
Ｍｔ２…ユーザが置換式を入力した場合の確認ＯＫメッセージ
Ｗａ１…確認ＯＫの置換後積分式ウインドウ
Ｗａ２…確認ＮＧの置換後積分式ウインドウ
DESCRIPTION OF
DESCRIPTION OF
KB ... Soft keyboard GF ... Formula input screen Bc ... [∫check; Integration check] button Mw1 ... Warning message when the user calculates replacement Mw2 ... Warning message when the user inputs a replacement expression Mt1 ... User calculates the replacement Confirmation OK message Mt2 ... Confirmation OK message when the user inputs a replacement equation Wa1 ... Confirmation OK post-substitution integration formula window Wa2 ... Confirmation NG post-substitution integration formula window
Claims (6)
ユーザ操作に応じて積分対象の数式と置換式とを入力する数式入力手段と、
この数式入力手段により入力された数式を含む積分式を前記入力された置換式により置換した置換後の積分式を算出する置換後積分式算出手段により算出された置換後の積分式が、前記積分公式記憶手段により記憶された積分公式を使用した式で表すことができるか否かを判断し、その判断結果を報知する判断報知手段と、
を備えことを特徴とする数式表示制御装置。 Integration formula storage means storing the integration formula;
Formula input means for inputting a formula to be integrated and a substitution formula in accordance with a user operation;
The integrated expression calculated by the post-replacement integral expression calculating means for calculating the integrated expression after replacement in which the integral expression including the mathematical expression input by the mathematical expression input means is replaced by the input replacement expression is the integral. A judgment notifying means for judging whether or not it can be expressed by an equation using the integral formula stored by the formula storage means, and notifying the judgment result;
A mathematical expression display control device comprising:
ことを特徴とする請求項１に記載の数式表示制御装置。 When it is determined by the determination notification means that the integration formula after the replacement can be expressed by an equation using the integration formula, the integration formula display means for displaying the used integration formula is provided.
The mathematical expression display control device according to claim 1 .
ことを特徴とする請求項２に記載の数式表示制御装置。 The used integral formula display means, when the judgment notifying means determines that the integration formula after replacement can be expressed by a polynomial using the integral formula, the used integral formula and its variables. Display the value of the exponent part in association with each other.
The mathematical expression display control device according to claim 2 .
ことを特徴とする請求項１ないし請求項３の何れか１項に記載の数式表示制御装置。 The integration formula for displaying a list of the integration formulas stored by the integration formula storage means when it is determined by the determination notification means that the integration formula after the replacement cannot be expressed by a formula using the integration formula. Provided with a list display means,
The mathematical expression display control device according to any one of claims 1 to 3 , wherein:
前記判断報知手段により、前記入力された積分式が、前記積分公式を使用した式で表すことができないと判断された場合に、前記置換式記憶手段により記憶された置換式のうち前記入力された積分式の形態に対応した置換式を表示させる推奨置換式表示手段を備えた、
ことを特徴とする請求項１ないし請求項４の何れか１項に記載の数式表示制御装置。 Replacement expression storage means for storing a replacement expression for each form of the integral expression; and
When it is determined by the determination notification means that the input integral expression cannot be expressed by an expression using the integral formula, the input of the replacement expressions stored by the replacement expression storage means With recommended replacement expression display means for displaying a replacement expression corresponding to the form of the integral expression;
It formula display control apparatus according to any one of claims 1 to 4, characterized in.
前記コンピュータを、
積分公式を取得する積分公式取得手段、
ユーザ操作に応じて積分対象の数式と置換式とを入力する数式入力手段、
この数式入力手段により入力された数式を含む積分式を前記入力された置換式により置換した置換後の積分式を算出する置換後積分式算出手段により算出された置換後の積分式が、前記積分公式取得手段により取得された積分公式を使用した式で表すことができるか否かを判断し、その判断結果を報知する判断報知手段、
として機能させるためのコンピュータ読み込み可能なプログラム。 A program for controlling a computer of an electronic device,
The computer,
Integration formula acquisition means for acquiring the integration formula,
Formula input means for inputting a formula to be integrated and a replacement formula in accordance with a user operation,
The integrated expression calculated by the post-replacement integral expression calculating means for calculating the integrated expression after replacement in which the integral expression including the mathematical expression input by the mathematical expression input means is replaced by the input replacement expression is the integral. Judgment notifying means for judging whether or not it can be expressed by an equation using the integral formula obtained by the formula obtaining means and notifying the judgment result;
A computer-readable program that allows it to function as a computer.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP2014135274A JP6365018B2 (en) | 2014-06-30 | 2014-06-30 | Mathematical expression display control apparatus and program |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP2014135274A JP6365018B2 (en) | 2014-06-30 | 2014-06-30 | Mathematical expression display control apparatus and program |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JP2016014930A JP2016014930A (en) | 2016-01-28 |
| JP6365018B2 true JP6365018B2 (en) | 2018-08-01 |
Family
ID=55231088
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP2014135274A Active JP6365018B2 (en) | 2014-06-30 | 2014-06-30 | Mathematical expression display control apparatus and program |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP6365018B2 (en) |
Family Cites Families (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPS63170765A (en) * | 1987-12-26 | 1988-07-14 | Casio Comput Co Ltd | Character formula processor |
| JP3968493B2 (en) * | 1998-10-30 | 2007-08-29 | カシオ計算機株式会社 | Computing device and storage medium |
-
2014
- 2014-06-30 JP JP2014135274A patent/JP6365018B2/en active Active
Also Published As
| Publication number | Publication date |
|---|---|
| JP2016014930A (en) | 2016-01-28 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| JP6394163B2 (en) | Graph display device, graph display method and program | |
| JP6318822B2 (en) | Graph display control device, graph display control method, and program | |
| JP6221323B2 (en) | Graph display device and control program thereof | |
| JP6221372B2 (en) | Graph display device, program, and server device | |
| JP6318615B2 (en) | Graph display control device, electronic device, and program | |
| CN109445675B (en) | Electronic device, mathematical expression display control method, and recording medium | |
| JP6035843B2 (en) | Formula input device, formula input method and program | |
| JP4961792B2 (en) | Formula editing apparatus and formula editing program | |
| JP6365018B2 (en) | Mathematical expression display control apparatus and program | |
| JP2011034340A (en) | Formula input device and program | |
| JP5211851B2 (en) | Electronic calculator | |
| JP5979212B2 (en) | Electronic equipment and programs | |
| JP6504128B2 (en) | Electronic device, data processing method and program | |
| JP2006331184A (en) | Electronic apparatus and control program for the same | |
| JP6528483B2 (en) | Computation processing device and program | |
| JP5900138B2 (en) | Fraction display processing apparatus, mathematical expression display method, and program | |
| JP7044157B2 (en) | Numerical input device, character input device | |
| JP6485144B2 (en) | Computer processing apparatus and program | |
| JP6314763B2 (en) | Formula processing device, calculation processing method, and program | |
| JP7020469B2 (en) | Electronic devices, control methods for electronic devices, and control programs for electronic devices | |
| JP2011043917A (en) | Mathematical expression display arithmetic unit and program | |
| JP2016177507A (en) | Electronic device and calculation processing program | |
| JP5505531B2 (en) | Electronic calculator | |
| JP2014241028A (en) | Calculation device and program | |
| JP5380981B2 (en) | Mathematical formula calculation apparatus and mathematical formula calculation program |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20170627 |
|
| A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20180305 |
|
| A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20180320 |
|
| A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20180517 |
|
| TRDD | Decision of grant or rejection written | ||
| A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20180605 |
|
| A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20180618 |
|
| R150 | Certificate of patent or registration of utility model |
Ref document number: 6365018 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |