JP2010086051A - Logical expression input device and logical expression visualization device - Google Patents
Logical expression input device and logical expression visualization device Download PDFInfo
- Publication number
- JP2010086051A JP2010086051A JP2008251374A JP2008251374A JP2010086051A JP 2010086051 A JP2010086051 A JP 2010086051A JP 2008251374 A JP2008251374 A JP 2008251374A JP 2008251374 A JP2008251374 A JP 2008251374A JP 2010086051 A JP2010086051 A JP 2010086051A
- Authority
- JP
- Japan
- Prior art keywords
- logical
- logical expression
- expression
- elements
- condition
- 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.)
- Pending
Links
Images
Abstract
Description
本発明は、論理式入力装置及び論理式可視化装置に関する。 The present invention relates to a logical expression input device and a logical expression visualization device.
ソフトウェアの設計を行なう場合などには、コンピュータに論理式を入力する必要がある。このような場合、論理式を直接入力すると、入力した内容を理解することが容易でないことから、論理式を視覚化して表示するシステムが存在する（特許文献１参照）。 When designing software, it is necessary to input a logical expression to a computer. In such a case, when a logical expression is directly input, it is not easy to understand the input content, and there is a system that visualizes and displays the logical expression (see Patent Document 1).
このような従来の論理式を可視化するシステムでは、論理式を構成する各演算要素をキャラクタ表示要素に定義づけしておき、論理式を入力する場合には、その論理式の各演算要素に対応してキャラクタ表示要素を入力することにより、各キャラクタ表示要素を木構造によってつなぎ合わせた図式を作成して表示している。
しかしながら、上述の従来の論理式入力装置では、演算要素を所定のキャラクタ表示要素に関連付けているものの、条件要素（キャラクタ表示要素）、演算子（例えば、「AND, ORなど」、複数の論理式の計算の優先順位を示す括弧については、直接入力しなければならないことに変わりはない。 However, in the above-described conventional logical expression input device, although a calculation element is associated with a predetermined character display element, a conditional element (character display element), an operator (for example, “AND, OR, etc.”), a plurality of logical expressions The parentheses that indicate the calculation priority are still required to be entered directly.
論理式は、括弧の位置や向きの小さな変化で論理式の有する意味が大きく異なるが、表示される論理式自体の印象は殆ど変わりなく、ユーザが直接論理式を入力すると、入力ミスが生じ易いという問題がある。 The meaning of a logical expression varies greatly depending on small changes in the position and orientation of parentheses, but the impression of the displayed logical expression itself is almost the same, and input mistakes are likely to occur when the user directly inputs the logical expression. There is a problem.
また、従来の論理式入力装置では、入力された論理式に対応する木構造をキャラクタ表示要素を利用して表現する場合について開示しているが、単に、いわゆる木構造で表示するのみでは、論理演算子の相違があるにもかかわらず、外形的に似たような形となってしまい、論理式の意味内容をユーザが直感的に把握することが難しいという問題があった。 Further, in the conventional logical expression input device, a case where a tree structure corresponding to the input logical expression is expressed using a character display element is disclosed. Despite the difference in operators, the external shape is similar, and there is a problem that it is difficult for the user to intuitively understand the meaning of the logical expression.
本発明は、上記実情に鑑みてなされたものであり、論理式の入力を正確に行なうことができ、かつ論理式の有する意味を視覚的に正確に把握することができる論理式可視化装置を提供することを目的とする。 The present invention has been made in view of the above circumstances, and provides a logical expression visualization apparatus capable of accurately inputting a logical expression and visually grasping the meaning of the logical expression. The purpose is to do.
本発明の第１の発明は、論理式を構成する複数の条件要素及び論理式を格納する手段と、複数の論理演算子を表示する論理演算子表示手段と、前記格納された複数の条件要素及び論理式を表示する第１の表示手段と、前記第１の表示手段によって表示された複数の条件要素及び論理式のうち、複数の条件要素、複数の論理式及び少なくとも１つの条件要素及び少なくとも１つの論理式のいずれかの選択を受け付ける第１の選択受付手段と、前記第１の選択受付手段によって選択が受け付けられた複数の条件要素、複数の論理式及び少なくとも１つの条件要素及び少なくとも１つの論理式のいずれかに対して適用される、前記表示された複数の論理演算子のうちの１つの論理演算子の選択を受け付ける第２の選択受付手段と、前記第１の選択受付手段によって選択が受け付けられた複数の条件要素、複数の論理式及び少なくとも１つの条件要素及び少なくとも１つの論理式のいずれかと、前記第２の選択受付手段によって選択が受け付けられた論理演算子とで構成される論理式を作成して表示する第２の表示手段と、前記第１の選択受付手段によって選択が受け付けられた複数の条件要素、複数の論理式及び少なくとも１つの条件要素及び少なくとも１つの論理式のいずれかの表示を消去する表示消去手段と、前記作成された論理式に含まれる全ての条件要素及び論理演算子の各描画サイズを論理演算子の種別、文字数及びフォントに基づいて算出する描画サイズ算出手段と、前記算出された論理式に含まれる全ての条件要素及び論理演算子の各描画サイズに基づいて、前記論理式に含まれる全ての条件要素及び論理演算子の各描画開始位置を算出する手段と、前記算出された前記論理式に含まれる全ての条件要素及び論理演算子の各描画開始位置から前記算出された論理式に含まれる全ての条件要素及び論理演算子の各描画サイズで、各条件要素及び論理演算子の枠を描画し、かつ前記描画された枠内に、対応する条件要素或いは論理演算子の文字を描画する手段とを具備することを特徴とする論理式可視化装置、である。 According to a first aspect of the present invention, a plurality of condition elements constituting a logical expression and means for storing the logical expression, a logical operator display means for displaying a plurality of logical operators, and the plurality of stored condition elements And a first display means for displaying a logical expression, and a plurality of condition elements, a plurality of logical expressions and at least one conditional element among the plurality of condition elements and logical expressions displayed by the first display means, and at least A first selection receiving unit that receives selection of one of the logical expressions; a plurality of condition elements that are selected by the first selection receiving unit; a plurality of logical expressions; at least one condition element; and at least one Second selection receiving means for receiving selection of one of the displayed logical operators, applied to any one of the logical expressions, and the first selection receiving Any one of a plurality of condition elements, a plurality of logical expressions and at least one condition element and at least one logical expression that are selected by the means, and a logical operator that is selected by the second selection receiving means. Second display means for creating and displaying a configured logical expression; a plurality of condition elements whose selection is received by the first selection receiving means; a plurality of logical expressions; at least one condition element; and at least one condition element Display erasure means for erasing any display of a logical expression, and calculating each drawing size of all condition elements and logical operators included in the created logical expression based on the type of logical operator, the number of characters and the font The logical expression based on the respective drawing sizes of the drawing size calculation means and all the conditional elements and logical operators included in the calculated logical expression. Means for calculating the drawing start positions of all the conditional elements and logical operators to be calculated, and the calculated logic from the drawing start positions of all the conditional elements and logical operators included in the calculated logical expression. Draw a frame for each conditional element and logical operator at each drawing size of all the conditional elements and logical operators included in the expression, and the corresponding conditional element or logical operator character in the drawn frame A logical expression visualizing device characterized by comprising:
本発明の第２の発明は、第１の発明において、前記第１の表示手段は、前記格納された複数の条件要素及び論理式を論理式に使用される候補の条件を表示する候補条件フィールドに表示し、ユーザの指示に基づいて、前記候補条件フィールドに表示された条件要素及び論理式のうち、選択された条件要素及び論理式を、論理式を作成するための条件要素及び論理式が表示される論理式編集フィールドに表示し、前記第２の表示手段は、前記作成された論理式を論理式編集フィールドに表示し、前記表示消去手段は、前記論理式編集フィールドから前記選択が受け付けられた複数の条件要素、複数の論理式及び少なくとも１つの条件要素及び少なくとも１つの論理式のいずれかの表示を消去することを特徴とする論理式可視化装置、である。 According to a second aspect of the present invention, in the first aspect, the first display means is a candidate condition field for displaying a plurality of stored condition elements and logical expressions that are candidates for use in logical expressions. Based on the user's instruction, among the condition elements and logical expressions displayed in the candidate condition field, the selected conditional elements and logical expressions are the condition elements and logical expressions for creating the logical expressions. The logical expression edit field is displayed, the second display means displays the created logical expression in the logical expression edit field, and the display erasure means accepts the selection from the logical expression edit field. A logical expression visualization apparatus, wherein the display of any of the plurality of conditional elements, the plurality of logical expressions, and at least one conditional element and at least one logical expression is erased.
本発明の第３の発明は、論理式を構成する複数の条件要素及び論理式を格納する手段と、複数の論理演算子を表示する論理演算子表示手段と、前記格納された複数の条件要素及び論理式を表示する第１の表示手段と、前記第１の表示手段によって表示された複数の条件要素及び論理式のうち、複数の条件要素、複数の論理式及び少なくとも１つの条件要素及び少なくとも１つの論理式のいずれかの選択を受け付ける第１の選択受付手段と、前記第１の選択受付手段によって選択が受け付けられた複数の条件要素、複数の論理式及び少なくとも１つの条件要素及び少なくとも１つの論理式のいずれかに対して適用される、前記表示された複数の論理演算子のうちの１つの論理演算子の選択を受け付ける第２の選択受付手段と、前記第１の選択受付手段によって選択が受け付けられた複数の条件要素、複数の論理式及び少なくとも１つの条件要素及び少なくとも１つの論理式のいずれかと、前記第２の選択受付手段によって選択が受け付けられた論理演算子とで構成される論理式を作成して表示する第２の表示手段と、前記第１の選択受付手段によって選択が受け付けられた複数の条件要素、複数の論理式及び少なくとも１つの条件要素及び少なくとも１つの論理式のいずれかの表示を消去する表示消去手段とを具備する論理式入力装置、である。 According to a third aspect of the present invention, there are provided a plurality of condition elements constituting a logical expression and means for storing the logical expression, a logical operator display means for displaying a plurality of logical operators, and the plurality of stored condition elements And a first display means for displaying a logical expression, and a plurality of condition elements, a plurality of logical expressions and at least one conditional element among the plurality of condition elements and logical expressions displayed by the first display means, and at least A first selection receiving unit that receives selection of one of the logical expressions; a plurality of condition elements that are selected by the first selection receiving unit; a plurality of logical expressions; at least one condition element; and at least one Second selection receiving means for receiving selection of one of the displayed logical operators, applied to any one of the logical expressions, and the first selection receiving Any one of a plurality of condition elements, a plurality of logical expressions and at least one condition element and at least one logical expression that are selected by the means, and a logical operator that is selected by the second selection receiving means. Second display means for creating and displaying a configured logical expression; a plurality of condition elements whose selection is received by the first selection receiving means; a plurality of logical expressions; at least one condition element; and at least one condition element A logical expression input device comprising display erasure means for erasing any display of the logical expression.
本発明の第４の発明は、論理式に含まれる全ての条件要素及び論理演算子の各描画サイズを論理演算子の種別、文字数及びフォントに基づいて算出する描画サイズ算出手段と、前記算出された論理式に含まれる全ての条件要素及び論理演算子の各描画サイズに基づいて、前記論理式に含まれる全ての条件要素及び論理演算子の各描画開始位置を算出する手段と、前記算出された前記論理式に含まれる全ての条件要素及び論理演算子の各描画開始位置から前記算出された論理式に含まれる全ての条件要素及び論理演算子の各描画サイズで、各条件要素及び論理演算子の枠を描画し、かつ前記描画された枠内に、対応する条件要素或いは論理演算子の文字を描画する手段とを具備することを特徴とする論理式描画装置、である。 According to a fourth aspect of the present invention, there is provided a drawing size calculating means for calculating each drawing size of all the conditional elements and logical operators included in the logical expression based on the type of logical operator, the number of characters and the font, and the calculated Means for calculating the drawing start positions of all condition elements and logical operators included in the logical expression based on the drawing sizes of all conditional elements and logical operators included in the logical expression; Each condition element and logical operation at each drawing size of all condition elements and logical operators included in the calculated logical expression from each drawing start position of all conditional elements and logical operators included in the logical expression. A logical expression drawing apparatus comprising: a child frame, and means for drawing a character of a corresponding conditional element or logical operator in the drawn frame.
本発明によれば、論理式の入力を正確に行なうことができる論理式入力装置を提供することができ、かつ、論理式の有する意味を視覚的に正確に把握することができる論理式可視化装置を提供することができる。 According to the present invention, it is possible to provide a logical expression input device capable of accurately inputting a logical expression, and it is possible to visually grasp the meaning of the logical expression visually. Can be provided.
以下、図面を参照して、本発明の実施の形態に係る論理式入力装置を有する論理式可視化装置について説明する。まず、最初に、本発明の実施の形態において説明する技術用語の意味を明らかにする。 Hereinafter, a logical expression visualization apparatus having a logical expression input apparatus according to an embodiment of the present invention will be described with reference to the drawings. First, the meanings of technical terms explained in the embodiments of the present invention will be clarified.
・「データ構造」…コンピュータ内で論理式を処理するための情報を保持する際の論理構造。本実施の形態においては、論理式のデータ構造は木構造形式で管理される。 “Data structure”: a logical structure for storing information for processing a logical expression in a computer. In the present embodiment, the data structure of logical expressions is managed in a tree structure format.
・「論理式」…Ａ ａｎｄ Ｂ ｏｒ Ｃなどで表わされる、何らかの「真偽条件を表わす式」。論理式は、「条件要素」、「演算子」、「括弧」で構成される。 “Logical expression”: any “expression that represents a true / false condition” expressed by A and B or C or the like. The logical expression includes “condition elements”, “operators”, and “parentheses”.
・「条件要素」…「value<=100」や「年齢が、１６才以上」といった数式や、自然言語で構築される「論理式の構成要素」。本実施の形態では、説明の簡単化のため”Ａ”、”Ｂ”のように条件文をシンボル化したものを「条件要素」として説明する。 “Condition element”: a mathematical expression such as “value <= 100” or “age is over 16 years old”, or “a component of a logical expression” constructed in natural language. In the present embodiment, for simplification of description, a conditional sentence symbolized like “A” and “B” will be described as a “condition element”.
・「論理演算子」…Ａｎｄ、Ｏｒ、Ｎｏｔ、ＸＯＲなど。 "Logical operator": And, Or, Not, XOR, etc.
図１は、本発明の実施の形態に係る論理式可視化装置を実現する情報処理装置示す図である。 FIG. 1 is a diagram illustrating an information processing apparatus that implements a logical expression visualization apparatus according to an embodiment of the present invention.
同図に示すように、情報処理装置１は、バス１１にＣＰＵ１２、表示部１３、メモリ１４、入力部１５及び記憶装置１６が接続されている。
As shown in the figure, in the
ＣＰＵ１２は、記憶装置１６に記憶された論理式可視化プログラム２1と協働して、本発明の実施の形態に係る論理式可視化処理を行なう他、情報処理装置１全体の制御を司るものである。
The
表示部１３は、本発明の実施の形態に係る論理式可視化処理に関する結果、編集画面などを表示するものであり、例えば、液晶ディスプレイ、プラズマディスプレイなどの表示装置である。
The
メモリ１４は、論理式可視化プログラム２１を実行する際に必要とされるワークエリアなどとして使用される。
The
入力部１５は、論理式可視化処理を行なう際に必要とされるデータなどを入力するためのインターフェイスであり、例えば、キーボード、タッチパネルなどである。
The
記憶装置１６は、本発明の実施の形態に係る論理式可視化処理を行う論理式可視化プログラム２１、ＯＳ２２、論理式の条件要素及び作成された論理式などを格納するデータベース２３などを格納する。例えば、ハードディスクドライブ（ＨＤＤ）、光ディスクドライブ、ＭＯなどの大容量記憶装置である。
The
論理式可視化プログラム２１は、ＯＳ２２上で動作するアプリケーションプログラムであって、ＣＰＵ１２と協働して、本発明の実施の形態に係る論理式可視化処理を実現するものである。
The logical expression visualization program 21 is an application program that runs on the
データベース２３は、ユーザにより入力され、或いは予め格納されている論理式の条件要素、論理式可視化プログラム２１の論理式可視化処理の際に作成される論理式などを格納するものである。
The
図２は、論理式可視化プログラムの機能を説明するための図である。 FIG. 2 is a diagram for explaining the function of the logical expression visualization program.
同図に示すように、論理式可視化プログラム２１の機能は、大きく分けて、２つの機能、「論理式エディタ」及び「論理式ビジュアライザ」を有する。 As shown in the figure, the function of the logical expression visualization program 21 is roughly divided into two functions, a “logical expression editor” and a “logical expression visualizer”.
「論理式エディタ」は、論理式のエディタ機能を司るものであって、論理式の構築を行なうに際し、論理式の条件要素を演算子で結合して表示したり、論理式を作成する経過で作成される論理式を再利用したりするなどの機能を有する。 The “Logical Expression Editor” is responsible for the logical expression editor function. When constructing a logical expression, the logical expression condition elements are combined and displayed with operators, or the logical expression is created. It has functions such as reusing a created logical expression.
図３は、論理式エディタの論理式を構築するための入力画面を示す図である。同図に示すように、入力画面には、候補条件フィールド３１、論理式編集フィールド３２、論理演算子ボタン３３ａ〜３３ｅ及び選択の解除を行なうＲＥＳＥＴボタン３５が表示される。論理演算子ボタン３３ａ〜３３ｅは、論理式編集フィールド３２に表示される論理式及び演算要素のうち、選択された論理式及び演算要素に対して行なわれる演算を指定するＡＮＤボタン３３ａ、ＯＲボタン３３ｂ、ＮＯＴボタン３３ｃ、論理式編集フィールド３２に表示される全ての選択された論理式及び演算要素に対してＡＮＤ演算を行うＡＮＤボタン３３ｄ及びＯＲ演算を行うＯＲボタン３３ｅを有する。
FIG. 3 is a diagram showing an input screen for constructing a logical expression of the logical expression editor. As shown in the figure, a
候補条件フィールド３１には、ユーザにより入力されてデータベース２３に格納された演算要素及び予めデータベース２３に格納されている演算要素が表示される他、論理式編集フィールド３２において、最終的な１つの論理式を作成する経過で作成される論理式も、自動的に表示される。
In the
移動ボタン３４ａは、候補条件フィールド３１に表示された演算要素及び論理式のうち、選択された演算要素及び論理式を論理式編集フィールド３２に表示するためのボタンであり、移動ボタン３４ｂは、論理式編集フィールド３２において表示された演算要素及び論理式のうち、選択された演算要素及び論理式を候補条件フィールド３１に表示するためのボタンである。
The
「論理式ビジュアライザ」は、論理式エディタで作成された論理式を視覚化する機能を司るものであって、図４に示すように、作成された論理式を分解して、所定の規則に基づいて視覚化して表示する機能を有する。 The “logical expression visualizer” manages the function of visualizing the logical expression created by the logical expression editor. As shown in FIG. 4, the logical expression visualizer is decomposed and based on a predetermined rule. It has a function to visualize and display.
図４においては、論理式((A or B) and C) or (((!D and !E) or !F) and G))を本発明の実施の形態に係る論理式可視化装置を使用して表示した例を示している。なお、この表示方法の詳細については、後述する。 In FIG. 4, the logical expression ((A or B) and C) or (((! D and! E) or! F) and G)) is used by the logical expression visualization apparatus according to the embodiment of the present invention. An example is shown. Details of this display method will be described later.
以下、図５のフローチャートを参照して、論理式エディタ機能を使用して、論理式を構築する処理について説明する。また、図６乃至図１３において、「条件要素」が複数、独立して存在している状態から全ての「条件要素」が、「論理演算子」で結合された状態になるまでの入力機能での操作と、内部データの保持構造の変化を示す。 Hereinafter, with reference to the flowchart of FIG. 5, a process of constructing a logical expression using the logical expression editor function will be described. In addition, in FIG. 6 to FIG. 13, an input function from a state where a plurality of “condition elements” exist independently to a state where all “condition elements” are joined by “logical operators”. And changes in the internal data holding structure.
まず、論理式を構成する複数の条件要素の入力が入力部１５を介して入力されているか否かの判断が行われ（Ｓ１）、条件要素の入力が行われていると判断された場合には、この入力された複数の条件要素がデータベース２３に格納される（Ｓ２）。データベース２３には、予め条件要素が格納されていてもよい。
First, it is determined whether or not the input of a plurality of condition elements constituting the logical expression is input via the input unit 15 (S1), and when it is determined that the input of the condition element is performed. Are stored in the database 23 (S2). Conditional elements may be stored in the
データベース２３に格納された条件要素は、候補条件フィールド３１に表示され（Ｓ３）、Ｓ１の処理に戻る。図３は、条件要素Ａ〜Ｅがデータベース２３に格納されている例を示している。なお、同図において、論理式（A and B), (C or D or E)は、論理式編集フィールド３２で生成された論理式を表示したものであり、これら生成された論理式もデータベース２３に格納される。論理式の生成については後述する。
The condition elements stored in the
Ｓ１において、条件要素の入力がない場合には、候補条件フィールド３１に表示されている条件要素及び論理式の少なくとも１つが選択されたか否かの判断が行なわれ（Ｓ４）、Ｓ４において、入力部１５を介して、ユーザにより条件要素及び論理式の少なくとも１つが選択されたと判断されると、次に、移動ボタン３４ａが選択されたか否かの判断が行われる（Ｓ５）。
If no condition element is input in S1, it is determined whether or not at least one of the condition element and the logical expression displayed in the
Ｓ５において、移動ボタン３４ａが選択されていないと判断された場合には、Ｓ１の処理に戻る。一方、Ｓ５において、移動ボタン３４ａが選択されたと判断されると、選択された条件要素及び論理式の少なくとも１つが論理式編集フィールド３２に表示され（Ｓ６）、Ｓ１の処理に戻る。図６は、候補条件フィールド３１に表示された条件要素Ａ〜Ｅが選択されて、これら選択された条件要素Ａ〜Ｅが論理式編集フィールド３２に表示された画面を示す図である。論理式の構築は、この論理式編集フィールド３２にて行われる。また、図６の右側には、論理式編集フィールド３２に表示された条件要素Ａ〜Ｅの内部データ状態を示している。この内部データ状態は、データベース２３に格納され、木構造の形式で管理される。
If it is determined in S5 that the
Ｓ４において条件要素などが選択されていないと判断された場合には、論理式編集フィールド３２において、入力部１５を介して、ユーザにより複数の条件要素、複数の論理式、少なくも１つの条件要素及び少なくとも１つの論理式のいずれかが選択されたか否かの判断が行われる（Ｓ７）。Ｓ７において、複数の条件要素、複数の論理式、少なくも１つの条件要素及び少なくとも１つの論理式のいずれかが選択された場合、論理演算子ボタン３３ａ〜３３ｅのうちのいずれか１つが選択されたか否かの判断が行われる（Ｓ８）。図７は、条件要素Ａ、Ｂが選択され、ＡＮＤボタン３３ａを選択（クリック）している画面を示す図である。
If it is determined in S4 that no condition element or the like is selected, a plurality of condition elements, a plurality of logical expressions, and at least one condition element are selected by the user via the
Ｓ８において、論理演算子ボタンが選択されたと判断された場合には、Ｓ７において選択された複数の条件要素等と、Ｓ８において選択された論理演算子ボタンとで論理式を作成して、論理式編集フィールド３２に表示する（Ｓ９）。 If it is determined in S8 that the logical operator button has been selected, a logical expression is created using the plurality of condition elements selected in S7 and the logical operator button selected in S8, and the logical expression It is displayed in the edit field 32 (S9).
なお、Ｓ８における論理式の作成の際には、自動的に、括弧が付与される。図７においては、条件要素Ａ、Ｂが選択され、論理演算子としてＡＮＤが選択されていることから、生成される論理式は(A and B)となる。また、論理式は(A and B)と条件要素Ｃが選択され、論理演算子としてＯＲが選択されている場合には、生成される論理式は、((A and B) or C)となる。このように、ユーザは括弧を意識することなく論理式を作成することができる。 Note that parentheses are automatically added when creating a logical expression in S8. In FIG. 7, since condition elements A and B are selected and AND is selected as the logical operator, the generated logical expression is (A and B). Further, when (A and B) and the conditional element C are selected as the logical expression, and OR is selected as the logical operator, the generated logical expression is ((A and B) or C). . In this way, the user can create a logical expression without being conscious of the parentheses.
Ｓ８において選択された論理演算子ボタンが、ＮＯＴボタン３３ｃの場合、作成した論理式を、式の末端（木構造の末端）以外に否定式が存在しないようにド・モルガンの定理を用いて変換し、変換後の論理式を作成して表示する。
When the logical operator button selected in S8 is the
その後、選択された複数の条件要素等及び演算子の表示を論理式編集フィールド３２から消去し（Ｓ１０）、作成された論理式を候補条件フィールド３１に表示し（Ｓ１１）、Ｓ１の処理に戻る。図８は、条件要素Ａ、Ｂが選択され、ＡＮＤボタン３３ａを選択することにより生成される論理式(A and B)が論理式編集フィールド３２に表示された画面を示す図である。なお、以前に、論理式編集フィールド３２に表示されていた条件要素A、Bは消去され（S１０の処理）、候補条件フィールド３１には、作成された論理式(A and B)が表示される（S１１の処理）。
Thereafter, the display of the plurality of selected conditional elements and operators is deleted from the logical expression editing field 32 (S10), the created logical expression is displayed in the candidate condition field 31 (S11), and the process returns to S1. . FIG. 8 is a diagram showing a screen on which the logical expression (A and B) generated by selecting the condition elements A and B and selecting the AND
また、図８の右側には、作成された論理式(A and B)の内部データ状態が示されている。同図に示すように、作成された論理式は、内部データでは、木構造形式で管理され、データベース２３に格納される。
Further, on the right side of FIG. 8, the internal data state of the created logical expression (A and B) is shown. As shown in the figure, the created logical expressions are managed in a tree structure format in the internal data, and stored in the
図９は、図８の画面から、さらに、条件要素Ｄ、Ｅを選択し、ＡＮＤボタン３３ａを選択することにより生成される論理式(D and E)が論理式編集フィールド３２に表示された画面を示す図である。
FIG. 9 shows a screen in which the logical expression (D and E) generated by selecting the condition elements D and E and selecting the AND
図９の右側には、作成された論理式(D and E)の内部データ状態が示されている。同図に示すように、作成された論理式は、内部データでは、木構造形式で管理され、データベース２３に格納される。
On the right side of FIG. 9, the internal data state of the created logical expression (D and E) is shown. As shown in the figure, the created logical expressions are managed in a tree structure format in the internal data, and stored in the
図１０は、図９の画面から、さらに、論理式(D and E)及び条件要素Ｃを選択し、ＯＲボタン３３ｂを選択することにより作成される論理式((A and B) or C) が論理式編集フィールド３２に表示された画面を示す図である。
FIG. 10 shows a logical expression ((A and B) or C) created by selecting the logical expression (D and E) and the conditional element C from the screen of FIG. 9 and selecting the OR button 33b. 6 is a diagram showing a screen displayed in a logical
図１０の右側には、作成された論理式((A and B) or C)の内部データ状態が示されている。同図に示すように、作成された論理式は、内部データでは、木構造形式で管理され、データベース２３に格納される。同図に示すように、内部データの木構造は、ＯＲを根にしたＡＮＤと、Ｃの木が作成される。
The right side of FIG. 10 shows the internal data state of the created logical expression ((A and B) or C). As shown in the figure, the created logical expressions are managed in a tree structure format in the internal data, and stored in the
図１１は、図１０の画面から、作成された論理式((A and B) or C)を選択して、ＮＯＴボタン３３ｃを選択することにより作成される論理式(not((A and B) or C))が論理式編集フィールド３２に表示された画面を示す図である。
FIG. 11 shows a logical expression (not ((A and B)) created by selecting the created logical expression ((A and B) or C) from the screen of FIG. 10 and selecting the NOT button 33c. or C)) is a diagram showing a screen displayed in the logical
なお、ＮＯＴ処理を行なう場合には、本実施の形態においては、論理式の変換処理が行われる。すなわち、論理式の一番外側にＮＯＴを加えた場合、「ド・モルガンの定理」を用いて、論理式の変換を自動的に行ない、式の末端以外に否定式が存在しないようにする。 When NOT processing is performed, logical expression conversion processing is performed in the present embodiment. That is, when NOT is added to the outermost side of the logical expression, the logical expression is automatically converted using the “De Morgan's theorem” so that there is no negative expression other than the end of the expression.
図１２は、図１１の画面から、論理式の変換処理を行なった後に表示される画面を示す図である。同図に示すように、論理式編集フィールド３２には、論理式(not((A and B) or C))の変換後の論理式((!A or !B) and !C)が表示される。
FIG. 12 is a diagram showing a screen displayed after logical expression conversion processing is performed from the screen of FIG. As shown in the figure, the logical
図１２の右側には、変換後の論理式((!A or !B) and !C)の内部データ状態が示されている。同図に示すように、作成された論理式は、内部データでは、木構造形式で管理され、データベース２３に格納される。同図に示すように、内部データの木構造は、ド・モルガンの定理を適用することにより、ＮＯＴ以下の全ての子要素が！マークで否定され、各演算子も反転する（図１２の木構造参照）。
The right side of FIG. 12 shows the internal data state of the converted logical expressions ((! A or! B) and! C). As shown in the figure, the created logical expressions are managed in a tree structure format in the internal data, and stored in the
図１３は、図１２の画面から、さらに、論理式((!A or !B) and !C) 及び論理式(D and E)を選択し、ＯＲボタン３３ｂを選択することにより作成される論理式((!A or !B) and !C) or (D and E))が論理式編集フィールド３２に表示された画面を示す図である。
FIG. 13 shows a logic created by selecting a logical expression ((! A or! B) and! C) and a logical expression (D and E) from the screen of FIG. 12, and selecting the
図１３の右側には、作成された論理式((!A or !B) and !C) or (D and E))の内部データ状態が示されている。同図に示すように、作成された論理式は、内部データでは、木構造形式で管理され、データベース２３に格納される。同図に示すように、内部データの木構造は、ＯＲを根にした２つのＡＮＤの木が作成される。
The right side of FIG. 13 shows the internal data state of the created logical expression ((! A or! B) and! C) or (D and E)). As shown in the figure, the created logical expressions are managed in a tree structure format in the internal data, and stored in the
このようにして、Ｓ７乃至Ｓ１１の処理を繰り返すことにより、最終的な論理式の構築をなう。一方、Ｓ８において、論理演算子ボタン３３ａ〜３３ｅが選択されていないと判断された場合には、次に、移動ボタン３４ｂが選択されているか否かの判断が行われる（Ｓ１２）。
In this way, the final logical expression is constructed by repeating the processes of S7 to S11. On the other hand, if it is determined in S8 that the
Ｓ１２において、移動ボタン３４ｂが選択されていないと判断された場合には、Ｓ１の処理に戻る。移動ボタン３４ｂが選択されていると判断された場合には、候補条件フィールド３１に、選択された条件要素、論理式を候補条件フィールド３１に表示する（Ｓ１３）。この際、論理式編集フィールド３２からは、当該選択された条件要素、論理式の表示を消去する。
If it is determined in S12 that the
次に、ＲＥＳＥＴボタン３５が選択されたか否かが判断され（Ｓ１４）、選択されていないと判断された場合にはＳ１の処理に戻る。一方、選択されたと判断された場合には、論理式編集フィールド３２において選択された条件要素、論理式の選択を解除し（Ｓ１５）、Ｓ１の処理に戻る。
Next, it is determined whether or not the
Ｓ７において、複数の条件要素、論理式が選択されていないと判断された場合、論理式編集フィールド３２において、選択されている論理式があるか否かの判断が行なわれる（Ｓ１６）。 When it is determined in S7 that a plurality of condition elements and logical expressions are not selected, it is determined whether or not there is a selected logical expression in the logical expression edit field 32 (S16).
Ｓ１６において、選択されている論理式がないと判断された場合には、Ｓ１の処理に戻る。選択されている論理式があると判断された場合には、当該選択されている論理式の可視化処理が行われる（Ｓ１７）。この本発明の実施の形態に係る論理式の可視化処理については、後に詳述する。 If it is determined in S16 that there is no selected logical expression, the process returns to S1. If it is determined that there is a selected logical expression, the selected logical expression is visualized (S17). The logical expression visualization processing according to the embodiment of the present invention will be described in detail later.
次に、論理式の可視化処理を終了するか否かの判断を行なう（Ｓ１８）。具体的には、ユーザが、論理式編集フィールド３２においてユーザが最終的に１つの論理式を構築し、ユーザが何らかの終了イベントを入力部１５から指示した場合に、終了すると判断する。
Next, it is determined whether or not to end the logical expression visualization process (S18). Specifically, when the user finally constructs one logical expression in the logical
Ｓ１８において、処理が終了したと判断された場合には、構築した論理式を利用するアプリケーションプログラムなどに出力して、処理を終了する。一方、Ｓ１８において、終了処理ではないと判断された場合には、Ｓ１の処理に戻る。 If it is determined in S18 that the process has been completed, the process is terminated by outputting the constructed logical expression to an application program or the like. On the other hand, if it is determined in S18 that the process is not an end process, the process returns to S1.
このような論理式の構築の方法によれば、論理式編集フィールド３２において、条件要素などを選択し、論理演算子ボタン３３ａ〜３３ｅを使用して論理式を構築していく。論理演算子ボタン３３ａ〜３３ｅを選択することにより作成される論理式には、括弧が自動的に付される（図６乃至図１３参照。）。したがって、ユーザが括弧の位置を誤って入力することがなくなるので、正確な論理式を構築することができる。
According to such a method of constructing a logical expression, a conditional element or the like is selected in the logical
また、論理式編集フィールド３２で作成された論理式は、候補条件フィールド３１に、自動的に表示されるので、論理式を構築する際に、ユーザは論理式を構築する過程で作成した論理式を再利用することができ、論理式の作成効率を向上させることができる。
Further, since the logical expression created in the logical
次に、論理式ビジュアライザ機能に基づく、Ｓ１７における論理式可視化処理について説明する。 Next, the logical expression visualization process in S17 based on the logical expression visualizer function will be described.
図１４は、論理式可視化処理の動作を説明するためのフローチャートである。同図に示すように、論理式可視化処理（Ｓ１７）は、大きくわけて２つのステップ、すなわち、論理式の要素サイズ算出処理（Ｓ３１）及び論理式の描画処理（Ｓ３２）がある。 FIG. 14 is a flowchart for explaining the operation of the logical expression visualization process. As shown in the figure, the logical expression visualization process (S17) is roughly divided into two steps, that is, a logical element size calculation process (S31) and a logical expression drawing process (S32).
以下、Ｓ３１の要素サイズ算出処理について、図１５のフローチャートを参照して説明する。 Hereinafter, the element size calculation process of S31 will be described with reference to the flowchart of FIG.
Ｓ１６において選択された論理式の対象要素が子要素を持っているか否かの判断が行われる（Ｓ４１）。なお、ここで、最初に判断が行われる論理式の要素(対象要素）は、論理式を内部構造（木構造）で表わした際の最も大きな根となる要素である。 It is determined whether or not the target element of the logical expression selected in S16 has a child element (S41). Here, the element (target element) of the logical expression that is first determined is the element that is the largest root when the logical expression is represented by the internal structure (tree structure).
例えば、選択された論理式が、図１８に示すように、(((!A or !B) and !C) or (D and E))である場合に、最初の対象要素は、”or”となる。 For example, when the selected logical expression is (((! A or! B) and! C) or (D and E)) as shown in FIG. 18, the first target element is “or”. It becomes.
Ｓ４１において対象要素が、子要素を持っていると判断された場合には、対象要素のサイズの計算が可能か否かの判断が行われる（Ｓ４２）。対象要素のサイズの計算が可能か否かの判断は、対象要素の全ての子要素のサイズが求められている場合には、対象要素のサイズの計算が可能であると判断され、対象要素の全ての子要素のサイズが求められていない場合には、対象要素のサイズの計算が可能でないと判断される。 When it is determined in S41 that the target element has a child element, it is determined whether or not the size of the target element can be calculated (S42). The determination of whether or not the size of the target element can be calculated is determined that the size of the target element can be calculated when the sizes of all the child elements of the target element are obtained. When the sizes of all the child elements are not obtained, it is determined that the size of the target element cannot be calculated.
図１８の例においては、対象要素”or”（識別番号１）の２つの子要素”and"はいずれもサイズが計算されていないので、対象要素のサイズの計算が可能でないと判断される。 In the example of FIG. 18, since the sizes of the two child elements “and” of the target element “or” (identification number 1) are not calculated, it is determined that the size of the target element cannot be calculated.
Ｓ４２において、対象要素のサイズの計算が可能でないと判断されると、サイズが求められていない子要素のうちの１つを対象要素として（Ｓ４３）、Ｓ４１の処理に戻る。 If it is determined in S42 that the size of the target element cannot be calculated, one of the child elements whose size is not determined is set as the target element (S43), and the process returns to S41.
図１８の例では、対象要素を”or”（識別番号１）から”and"（識別番号２）にし、Ｓ４１〜Ｓ４３の処理を繰り返すことにより、対象要素は、”or”（識別番号１）→”and"（識別番号２）→”or”（識別番号４）→”!A”（識別番号８）となる。 In the example of FIG. 18, the target element is changed from “or” (identification number 1) to “and” (identification number 2), and the processing of S41 to S43 is repeated, so that the target element becomes “or” (identification number 1). → "and" (identification number 2) → "or" (identification number 4) → "! A" (identification number 8)
Ｓ４１において、対象要素が子要素を持っていないと判断された場合には、当該対象要素のサイズが求められ（Ｓ４４）、Ｓ４５の処理に移る。 If it is determined in S41 that the target element does not have a child element, the size of the target element is obtained (S44), and the process proceeds to S45.
図１８の例では、対象要素が”!A”（識別番号８）である時点で、子要素を持たないことから、Ｓ４４の処理に移り、対象要素が”!A”（識別番号８）のサイズを求める。ここでは、文字数（２文字）及びフォントなどに対応する矩形サイズ（例えば、幅10mm,高さ8mm）を求める。 In the example of FIG. 18, since there is no child element when the target element is “! A” (identification number 8), the process proceeds to S44, and the target element is “! A” (identification number 8). Find the size. Here, a rectangular size (for example, a width of 10 mm and a height of 8 mm) corresponding to the number of characters (2 characters) and the font is obtained.
Ｓ４４において、対象要素のサイズが求めた後、親要素があるか否かの判断が行なわれ（Ｓ４５）、親要素があると判断された場合には、当該親要素を対象要素として（Ｓ４６）、Ｓ４１の処理に戻る。 After determining the size of the target element in S44, it is determined whether or not there is a parent element (S45). If it is determined that there is a parent element, the parent element is set as the target element (S46). , The process returns to S41.
図１８の例では、対象要素が”!A”（識別番号８）のサイズを求めた後、対象要素が親要素”or”（識別番号４）を有するので、親要素”or”（識別番号４）が対象要素となる。 In the example of FIG. 18, since the target element has the parent element “or” (identification number 4) after obtaining the size of the target element “! A” (identification number 8), the parent element “or” (identification number) 4) is the target element.
一方、Ｓ４２において、対象要素のサイズの計算が可能であると判断された場合には、子要素のサイズ、個数に応じた矩形（高さ、幅）を求める（Ｓ４７）。 On the other hand, if it is determined in S42 that the size of the target element can be calculated, a rectangle (height, width) corresponding to the size and number of child elements is obtained (S47).
図１８の例では、要素”!A”（識別番号８）のサイズが求められた後、要素”!B”（識別番号９）のサイズが求められ、対象要素が要素”or”（識別番号４）となった時点で、対象要素”or”（識別番号４）の矩形の大きさが求められることになる。 In the example of FIG. 18, after the size of the element “! A” (identification number 8) is obtained, the size of the element “! B” (identification number 9) is obtained, and the target element is the element “or” (identification number). At 4), the rectangular size of the target element “or” (identification number 4) is obtained.
要素”!A”（識別番号８）のサイズが幅10mm,高さ8mm、
要素”!B”（識別番号９）のサイズが幅10mm,高さ8mm、
要素”or”（識別番号４）のサイズが幅6mm,高さ8mm、
であるとすると、要素”or”（識別番号４）の矩形サイズは、これらを内包するように定められる。また、本実施の形態では、”or”演算子の場合には、子要素を横方向に連ね、”and"演算子の場合には、子要素を縦方向に連ねることを前提とする。
The size of element “! A” (identification number 8) is 10mm wide and 8mm high.
The size of the element “! B” (identification number 9) is 10mm wide and 8mm high.
The size of the element “or” (identification number 4) is 6mm wide and 8mm high.
, The rectangular size of the element “or” (identification number 4) is determined so as to include them. In the present embodiment, it is assumed that the child elements are connected in the horizontal direction in the case of the “or” operator, and the child elements are connected in the vertical direction in the case of the “and” operator.
そうすると、要素”or”（識別番号４）の矩形サイズは、例えば、以下のように計算される。 Then, the rectangular size of the element “or” (identification number 4) is calculated as follows, for example.
幅 ＝ 10mm（要素”!A” （識別番号８））＋10mm(要素”!B”（識別番号９）)
＋4mm（余白（左右２mmずつ）） ＝ 30mm
高さ ＝ 8mm ＋ 4mm （余白（上下２mmずつ）） ＝ 12mm
また、要素”or”（識別番号４）の矩形サイズが求められた後、要素”！C”（識別番号５）のサイズが求められ、対象要素が要素”and”（識別番号２）となった時点で、対象要素”and”（識別番号２）の矩形の大きさは、例えば、以下のように求められる。
Width = 10mm (element "! A" (identification number 8)) + 10mm (element "! B" (identification number 9))
+ 4mm (margins (left and right 2mm each)) = 30mm
Height = 8mm + 4mm (Blanks (upper and lower 2mm increments)) = 12mm
After the rectangular size of the element “or” (identification number 4) is obtained, the size of the element “! C” (identification number 5) is obtained, and the target element becomes the element “and” (identification number 2). At this time, the size of the rectangle of the target element “and” (identification number 2) is obtained as follows, for example.
要素”!A or !B”（識別番号４，８，９）のサイズが幅30mm、高さ12mm、
要素”and”（識別番号２）のサイズが幅9mm、高さ8mm、
要素”!C”（識別番号５）のサイズが幅10mm、高さ8mm、
であるとすると、要素”and”（識別番号２）の矩形サイズは、例えば、以下のように計算される。
The size of the element “! A or! B” (
The size of the element “and” (identification number 2) is 9mm wide and 8mm high.
The size of element “! C” (identification number 5) is 10mm wide and 8mm high.
For example, the rectangular size of the element “and” (identification number 2) is calculated as follows, for example.
幅 ＝ 30mm（子要素の最大） ＋ 4mm（余白（左右２mmずつ）） ＝ 34mm、
高さ ＝ 12mm ＋ 8mm ＋ 8mm ＋ 8mm
＋ 4mm（余白（左右２mmずつ）） ＝ 32mm
同様の手法で、要素and”（識別番号３）の矩形の大きさは、例えば、以下のように求められる。
Width = 30 mm (maximum of child elements) + 4 mm (margins (2 mm left and right)) = 34 mm,
Height = 12mm + 8mm + 8mm + 8mm
+ 4mm (margins (left and right 2mm each)) = 32mm
In the same manner, the size of the rectangle of the element “and” (identification number 3) is obtained as follows, for example.
要素”D”（識別番号６）のサイズが幅6mm、高さ8mm、
要素”and”（識別番号３）のサイズが幅9mm、高さ8mm、
要素”E”（識別番号７）のサイズが幅6mm、高さ8mm、
であるとすると、要素”and”（識別番号３）の矩形サイズは、例えば、以下のように計算される。
The size of the element “D” (identification number 6) is 6mm wide and 8mm high.
The size of the element “and” (identification number 3) is 9mm wide and 8mm high.
The size of element “E” (identification number 7) is 6mm wide and 8mm high.
For example, the rectangular size of the element “and” (identification number 3) is calculated as follows.
幅 ＝ 9mm（子要素の最大） ＋ 4mm（余白（左右２mmずつ）） ＝ 13mm、
高さ ＝ 6mm ＋ 8mm ＋ 6mm
＋ 4mm（余白（左右２mmずつ）） ＝ 24mm
Ｓ４５において、親要素がないと判断された場合、すなわち、論理式を木構造で表わした際の最上位の要素が対象対象となった場合には、論理式の各要素のサイズが求められた状態であるので、要素サイズ算出処理を終了し、論理式描画処理（Ｓ３２）に移る。
Width = 9mm (maximum of child elements) + 4mm (margins (2mm left and right)) = 13mm,
Height = 6mm + 8mm + 6mm
+ 4mm (margins (2mm left and right)) = 24mm
In S45, when it is determined that there is no parent element, that is, when the top-level element when the logical expression is represented by a tree structure is the target, the size of each element of the logical expression is obtained. Since it is in the state, the element size calculation process is terminated, and the logical expression drawing process (S32) is started.
図１８の例では、対象要素が”or”（識別番号１）となり、各要素の矩形のサイズ（識別番号１乃至９）が算出された状態を意味する。
In the example of FIG. 18, the target element is “or” (identification number 1), and the rectangle size (
次に、Ｓ３２の論理式描画処理について、図１６のフローチャートを参照して説明する。また、図１７は、論理式描画処理の順序を説明するためのスタック構造を示す図である。 Next, the logical expression drawing process of S32 will be described with reference to the flowchart of FIG. FIG. 17 is a diagram showing a stack structure for explaining the order of logical expression drawing processing.
まず、対象要素が子要素を持つかか否かの判断が行われる（Ｓ５１）。Ｓ５１において、対象要素が子要素を持つと判断された場合には、Ｓ３１の要素サイズ算出処理で求められた対象要素の矩形のサイズで矩形を描画する（Ｓ５２）。 First, it is determined whether the target element has child elements (S51). If it is determined in S51 that the target element has a child element, a rectangle is drawn with the rectangular size of the target element obtained in the element size calculation process in S31 (S52).
具体的には、図１８の例では、対象要素”or”（識別番号１）の矩形サイズ（高さ36mm、幅57mm）の大きさで、描画範囲の「左上隅」を（０，０）とする座標から、例えば「緑色」に矩形を塗りつぶして描画する。図１９は、対象要素”or”（識別番号１）の矩形を描画した際の画面を示す図である。
Specifically, in the example of FIG. 18, the “upper left corner” of the drawing range is (0, 0) with the rectangular size (height 36 mm,
Ｓ５２において、描画が終了すると、対象要素がスタックから削除され（Ｓ５３）、子要素の位置計算が行われ（Ｓ５４）、子要素の１つがスタックに追加される（Ｓ５５）。次に、他に子要素があるか否かが判断される（Ｓ５６）。 When the drawing is completed in S52, the target element is deleted from the stack (S53), the position of the child element is calculated (S54), and one of the child elements is added to the stack (S55). Next, it is determined whether there are other child elements (S56).
Ｓ５６において、他に子要素がないと判断された場合には、対象要素を最上層のスタックに移動し（Ｓ５８）、Ｓ５１の処理に戻る。一方、Ｓ５６において、他に子要素があると判断された場合には、演算子の文字ラベルをスタックに追加して、Ｓ５５の処理に処理に戻る。 If it is determined in S56 that there are no other child elements, the target element is moved to the uppermost stack (S58), and the process returns to S51. On the other hand, if it is determined in S56 that there are other child elements, the operator's character label is added to the stack, and the process returns to S55.
図１８の例では、図１７に示すように、対象要素”or”（識別番号１）のスタックが削除され、２つの子要素”and"（識別番号２、３）及び対象要素の演算子も自ラベル”ｏｒ”が追加される（Ｓ５５〜Ｓ５７）。なお、このスタックの追加は、選択された論理式の内部構造である木構造に基づく。図１７に示すように、子要素”and"（識別番号２）が、次に、対象要素となる。
In the example of FIG. 18, as shown in FIG. 17, the stack of the target element “or” (identification number 1) is deleted, and the two child elements “and” (
Ｓ５４における位置計算は、子要素の大きさから描画する位置を求める処理である。 The position calculation in S54 is a process for obtaining the drawing position from the size of the child element.
図１８の例では、対象要素”or”（識別番号１）である場合に、
「(!A or !B) and !C」
→ 左位置は余白の２mm、
上位置は上下の中央に位置するため、
(36mm(要素１の高さ）-32mm（要素２の高さ））／２＝2mm
「or」
→ 左位置は「(!A or !B) and !C」の左位置＋「(!A or !B) and !C」の幅
2mm ＋ 34mm ＝ 36mm
上位置は(36mm（要素１の高さ）−8mm(orの高さ））／２=14mm
「D and E」
→ 左位置は、「or」の左位置＋「or」の幅
36mm ＋ ６mm ＝ 42mm
上位置は(36mm（要素１の高さ）−24mm(orの高さ））／２=6mm
となる。
In the example of FIG. 18, when the target element is “or” (identification number 1),
"(! A or! B) and! C"
→ The left position is 2mm in the margin.
Because the upper position is located at the center of the top and bottom,
(36mm (
"Or"
→ The left position is the left position of “(! A or! B) and! C” + the width of “(! A or! B) and! C”
2mm + 34mm = 36mm
The upper position is (36mm (
"D and E"
→ The left position is the left position of “or” + the width of “or”
36mm + 6mm = 42mm
The upper position is (36mm (
It becomes.
対象要素が”and"（識別番号２）となり、同様に、Ｓ５１乃至Ｓ５５を繰り返す。対象要素”and"（識別番号２）の大きさは、幅34mm、高さ32mmであり、描画範囲の「左上隅」を(2mm,2mm)とする座標から「青色」に矩形を塗りつぶして描画する。図２０は、対象要素”and"（識別番号２）の矩形を描画した際の画面を示す図である（Ｓ５２の処理）。 The target element is “and” (identification number 2), and S51 to S55 are similarly repeated. The size of the target element "and" (identification number 2) is 34mm wide and 32mm high, and is drawn by painting a rectangle in blue from the coordinates where the upper left corner of the drawing range is (2mm, 2mm) To do. FIG. 20 is a diagram showing a screen when a rectangle of the target element “and” (identification number 2) is drawn (processing of S52).
子要素の位置計算（Ｓ５４の処理）は、対象要素が”and"（識別番号２）の場合、
「(!A or !B)」
→ 左位置は要素２の左右の中央に位置させるため、
2mm（要素２の左位置） ＋ （34mm（要素２の幅−30mm（要素４の幅））／２=4mm
上位置は「(!A or !B) and !C」の上位置＋余白
2mm ＋ 2mm = 4mm
「and」
→ 左位置は2mm(要素２の左位置） + （34mm(要素２の幅） - 9mm(andの幅）） ／ 2 = 14.5mm
上位置は「(!A or !B) and !C」の上位置 ＋ 「(!A or !B)」の高さ
2mm ＋ 12mm = 14mm
「!C」
→ 左位置は「or」の左位置＋「or」の幅なので、
14 + 8 = 22mm
上位置は、
2mm(要素２の左位置） + （34mm(要素２の幅） - 10mm(要素５の幅）） ÷ 2 = 14mm
その後、対象要素が要素”or”（識別番号４）となる。対象要素”or”（識別番号４）の大きさは、幅30mm、高さ12mmであり、描画範囲の「左上隅」を(4mm,4mm)とする座標から「緑色」に矩形を塗りつぶして描画する。図２１は、対象要素”or"（識別番号４）の矩形を描画した際の画面を示す図である（Ｓ５２の処理）。
The child element position calculation (processing in S54) is performed when the target element is “and” (identification number 2).
"(! A or! B)"
→ Because the left position is located at the center of the left and right of
2mm (Left position of Element 2) + (34mm (
The upper position is the upper position of "(! A or! B) and! C" + margin
2mm + 2mm = 4mm
"And"
→ The left position is 2mm (the left position of element 2) + (34mm (the width of element 2)-9mm (the width of and)) / 2 = 14.5mm
The upper position is the upper position of “(! A or! B) and! C” + the height of “(! A or! B)”
2mm + 12mm = 14mm
"! C"
→ The left position is the left position of “or” + the width of “or”.
14 + 8 = 22mm
The upper position is
2mm (Left position of element 2) + (34mm (width of element 2)-10mm (width of element 5)) ÷ 2 = 14mm
Thereafter, the target element is the element “or” (identification number 4). The size of the target element "or" (identification number 4) is 30mm wide and 12mm high, and is drawn by painting a rectangle in green from the coordinates where the upper left corner of the drawing range is (4mm, 4mm) To do. FIG. 21 is a diagram showing a screen when a rectangle of the target element “or” (identification number 4) is drawn (processing of S52).
対象要素”or”（識別番号４）の矩形描画処理が終わると、子要素の位置計算が行なわれ（Ｓ５４の処理）、対象要素”or”（識別番号４）がスタックから削除され（Ｓ５３の処理）、要素”!A”（識別番号８）、要素”!B”（識別番号９）がスタックに追加され、要素”!A”（識別番号８）が対象要素とされる（Ｓ５５の処理、図１７参照）。 When the rectangular drawing process for the target element “or” (identification number 4) is completed, the position of the child element is calculated (processing in S54), and the target element “or” (identification number 4) is deleted from the stack (S53). Process), element "! A" (identification number 8), element "! B" (identification number 9) are added to the stack, and element "! A" (identification number 8) is the target element (processing in S55) FIG. 17).
子要素の位置計算（Ｓ５４の処理）は、対象要素が”or"（識別番号４）の場合、
「！A」
→ 左位置は、「(！A or !B）」の左位置+余白
4mm + 2mm = 6mm
上位置は、要素４の上下の中央に位置するため、
4mm（要素４の上位置）＋（12mm(要素４の高さ） - 8mm(要素８の高さ）） ／ 2 = 6mm
「or」
→ 左位置は、「！A」の左位置＋「！A」の幅
6mm + 10mm = 16mm
上位置は、
4mm（要素４の上位置）＋（12mm(要素４の高さ） - 8mm(orの高さ）） ／ 2 = 6mm
「！B」
→ 左位置は、「or」の左位置＋「or」の幅なので、
16mm + 6mm = 22mm
上位置は、
4mm（要素４の上位置）＋（12mm(要素４の高さ） - 8mm(要素８の高さ）） ／ 2 = 6mm
となる。
The child element position calculation (processing in S54) is performed when the target element is “or” (identification number 4).
"! A"
→ Left position is the left position of "(! A or! B)" + margin
4mm + 2mm = 6mm
Since the upper position is located at the upper and lower center of the element 4,
4mm (element 4 top position) + (12mm (element 4 height)-8mm (
"Or"
→ The left position is the left position of “! A” + the width of “! A”
6mm + 10mm = 16mm
The upper position is
4mm (element 4 top position) + (12mm (element 4 height)-8mm (or height)) / 2 = 6mm
"! B"
→ The left position is the left position of “or” + the width of “or”.
16mm + 6mm = 22mm
The upper position is
4mm (element 4 top position) + (12mm (element 4 height)-8mm (
It becomes.
一方、Ｓ５１において、対象要素が子要素を持たないと判断された場合には、当該対象要素は文字要素であるので、当該文字要素の描画処理を行なう（Ｓ６１）。 On the other hand, if it is determined in S51 that the target element does not have a child element, the target element is a character element, so that the drawing process of the character element is performed (S61).
図１８の例においては、要素”!A”（識別番号８）が対象要素の場合、Ｓ４４で求められたサイズ（幅10mm,高さ8mm）、Ｓ５４で求められた位置（左位置6mm、上位置６mm）に要素”!A”の描画を行なう。図２２は、対象要素”!A”（識別番号８）の文字を描画した際の画面を示す図である（Ｓ６１の処理）。
In the example of FIG. 18, when the element “! A” (identification number 8) is the target element, the size obtained in S44 (
そして、対象要素をスタックから削除する（Ｓ６２、図１７参照）。そして、スタックがあるか否かの判断が行なわれる（Ｓ６３）。Ｓ６３において、スタックがないと判断された場合には、最上層のスタックを対象要素として、Ｓ６１の処理に戻る。 Then, the target element is deleted from the stack (see S62, FIG. 17). Then, it is determined whether or not there is a stack (S63). If it is determined in S63 that there is no stack, the process returns to S61 with the uppermost stack as the target element.
具体的には、図１８の例では、”or”→”!B”→”and”→”!C”→”or”→”and”の順に文字描画される（図２３乃至図２７参照）。 Specifically, in the example of FIG. 18, characters are drawn in the order of “or” → “! B” → “and” → “! C” → “or” → “and” (see FIGS. 23 to 27). .
要素”or”（識別番号８）が対象要素の場合、Ｓ４２で求められたサイズ（幅6mm,高さ8mm）、Ｓ５４で求められた位置（左位置16mm、上位置６mm）に要素”or”の描画を行なう。図２３は、対象要素”or”（識別番号４）の文字を描画した際の画面を示す図である。
If the element “or” (identification number 8) is the target element, the element “or” at the size (width 6 mm,
要素”!B”（識別番号９）が対象要素の場合、Ｓ４２で求められたサイズ（幅10mm,高さ8mm）、Ｓ５４で求められた位置（左位置22mm、上位置６mm）に要素”!B”の描画を行なう。図２４は、対象要素”!B”（識別番号９）の文字を描画した際の画面を示す図である。
When the element “! B” (identification number 9) is the target element, the element “!” Is placed at the size obtained in S42 (
要素”and”（識別番号２）が対象要素の場合、Ｓ４２で求められたサイズ（幅9mm,高さ8mm）、Ｓ５４で求められた位置（左位置14.5mm、上位置14mm）に要素”and”の描画を行なう。図２５は、対象要素”and”（識別番号２）の文字を描画した際の画面を示す図である。
If the element “and” (identification number 2) is the target element, the element “and” at the size obtained in S42 (
要素”!C”（識別番号５）が対象要素の場合、Ｓ４２で求められたサイズ（幅10mm,高さ8mm）、Ｓ５４で求められた位置（左位置14mm、上位置22mm）に要素”!C”の描画を行なう。図２６は、対象要素”!C”（識別番号５）の文字を描画した際の画面を示す図である。
When the element “! C” (identification number 5) is the target element, the element “!” Is placed at the size obtained in S42 (
要素”or”（識別番号１）が対象要素の場合、Ｓ４２で求められたサイズ（幅6mm,高さ8mm）、Ｓ５４で求められた位置（左位置36mm、上位置14mm）に要素”or”の描画を行なう。図２７は、対象要素”or”（識別番号１）の文字を描画した際の画面を示す図である。
If the element “or” (identification number 1) is the target element, the element “or” at the size (width 6 mm,
一方、Ｓ６３においてスタックがないと判断された場合には、全ての要素について文字描画が完了したか否かの判断が行なわれる（Ｓ６４）。全ての要素について文字描画が完了したと判断された場合には、論理式描画処理を終了してＳ１８の処理に移る。一方、全ての要素について文字描画が完了していない場合には、Ｓ５１の処理に戻る。 On the other hand, if it is determined in S63 that there is no stack, it is determined whether or not character drawing has been completed for all elements (S64). If it is determined that the character drawing has been completed for all the elements, the logical expression drawing process is terminated, and the process proceeds to S18. On the other hand, if character drawing has not been completed for all elements, the process returns to S51.
このようにして、論理式の全ての要素について矩形描画及び文字描画処理が行なわれることになる。 In this way, rectangle drawing and character drawing processing are performed for all elements of the logical expression.
なお、本実施の形態においては、論理式の構成要素を矩形で描画する場合について説明したが、矩形に限られるものではないことはいうまでもない。また、描画の順序については、上述の実施の形態の順序に限られるものではなく、種々考えることができる。 In the present embodiment, a case has been described in which components of a logical expression are drawn in a rectangle, but it is needless to say that the present invention is not limited to a rectangle. Further, the order of drawing is not limited to the order of the above-described embodiments, and can be variously considered.
したがって、本発明の実施の形態によれば、大きな論理式（構成要素の多い論理式）であっても、ユーザが正確に、かつ容易に論理式全体の意味を把握することが可能になる。 Therefore, according to the embodiment of the present invention, even for a large logical expression (a logical expression with many components), the user can accurately and easily grasp the meaning of the entire logical expression.
また、論理式の構成上、「括弧の位置」、「ｏｒとａｎｄが入れ替わる」といった文字数的には小さな変化であったとしても、論理式の意味が大きく変わった場合には、図も大きく変化するので、ユーザが論理式の意味を容易に把握することが可能になる。 In addition, even if the number of characters is small, such as “position of parenthesis” or “or and and are interchanged”, the figure changes greatly if the meaning of the logical expression changes significantly. Therefore, the user can easily grasp the meaning of the logical expression.
図２８は、括弧の位置の変化による図の変化の例を示す図であり、図２９は、ＡｎｄとＯｒの違いによる図の変化の例を示す図である。これらに示されるように、括弧の位置や論理式の演算子が変化することにより、表示される図も大きく変化し、ユーザが容易に論理式が変化したことを理解することができることがわかる。 FIG. 28 is a diagram illustrating an example of a diagram change due to a change in parenthesis position, and FIG. 29 is a diagram illustrating an example of a diagram change due to a difference between And and Or. As shown in these figures, it is understood that when the position of the parenthesis and the operator of the logical expression are changed, the displayed figure is also greatly changed, and the user can easily understand that the logical expression is changed.
また、この作図方式の「And条件の関係を縦に表すこと」「Or条件を横に現すこと」「否定条件は末端要素のみ」という3つの特性により「図の上に位置する要素から下に位置する要素までを、縦に追跡することで、真となる条件の1例を導出出来る」という性質を作り出している。図28の左の図を例に取ると「A and C and D」「A and E and G」、「A and F and G」、「B and C and D」、「B and E and G」、「B and F and G」をそれぞれ「真となる条件の1例」として導出出来る。この性質も、論理式を人間の頭で理解することを助けるものである。 In addition, the three characteristics of this drawing method, “representing the relationship of And conditions vertically”, “expressing Or conditions horizontally”, and “negative conditions only for end elements” are By tracing the elements up to the position vertically, an example of a true condition can be derived. Take the example on the left of Figure 28 as an example: `` A and C and D '', `` A and E and G '', `` A and F and G '', `` B and C and D '', `` B and E and G '', Each of “B and F and G” can be derived as “an example of a true condition”. This property also helps humans understand logical expressions.
さらに、似た意味を有する論理式は、似た図になる傾向を有するので、学習効果により、論理式の意味の把握をより容易に把握することが可能になる。 Furthermore, since logical expressions having similar meanings tend to be similar figures, it is possible to more easily understand the meaning of logical expressions due to the learning effect.
なお、本願発明は、上記各実施形態に限定されるものでなく、実施段階ではその要旨を逸脱しない範囲で種々に変形することが可能である。また、各実施形態は可能な限り適宜組み合わせて実施してもよく、その場合組み合わされた効果が得られる。さらに、上記各実施形態には種々の段階の発明が含まれており、開示される複数の構成要件における適宜な組み合わせにより種々の発明が抽出され得る。例えば実施形態に示される全構成要件から幾つかの構成要件が省略されることで発明が抽出された場合には、その抽出された発明を実施する場合には省略部分が周知慣用技術で適宜補われるものである。 Note that 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 at the stage of implementation. In addition, the embodiments may be appropriately combined as much as possible, and in that case, the combined effect is obtained. Furthermore, the above embodiments include inventions at various stages, and various inventions can be extracted by appropriately combining a plurality of disclosed constituent elements. For example, when an invention is extracted by omitting some constituent elements from all the constituent elements shown in the embodiment, when the extracted invention is implemented, the omitted part is appropriately supplemented by a well-known common technique. It is what is said.
また、実施形態に記載した手法は、計算機（コンピュータ）に実行させることができるプログラム（ソフトウエア手段）として、例えば磁気ディスク（フロッピー（登録商標）ディスク、ハードディスク等）、光ディスク（ＣＤ−ＲＯＭ、ＤＶＤ、ＭＯ等）、半導体メモリ（ＲＯＭ、ＲＡＭ、フラッシュメモリ等）等の記録媒体に格納し、また通信媒体により伝送して頒布することもできる。なお、媒体側に格納されるプログラムには、計算機に実行させるソフトウエア手段（実行プログラムのみならずテーブルやデータ構造も含む）を計算機内に構成させる設定プログラムをも含む。本装置を実現する計算機は、記録媒体に記録されたプログラムを読み込み、また場合により設定プログラムによりソフトウエア手段を構築し、このソフトウエア手段によって動作が制御されることにより上述した処理を実行する。なお、本明細書でいう記録媒体は、頒布用に限らず、計算機内部あるいはネットワークを介して接続される機器に設けられた磁気ディスクや半導体メモリ等の記憶媒体を含むものである。 In addition, the method described in the embodiment is, for example, a magnetic disk (floppy (registered trademark) disk, hard disk, etc.), optical disk (CD-ROM, DVD) as programs (software means) that can be executed by a computer (computer). , MO, etc.), a semiconductor memory (ROM, RAM, flash memory, etc.) or the like, or can be transmitted and distributed via a communication medium. The program stored on the medium side includes a setting program that configures software means (including not only the execution program but also a table and data structure) in the computer. A computer that implements this apparatus reads a program recorded on a recording medium, constructs software means by a setting program as the case may be, and executes the above-described processing by controlling the operation by this software means. The recording medium referred to in this specification is not limited to distribution, but includes a storage medium such as a magnetic disk or a semiconductor memory provided in a computer or a device connected via a network.
１２…ＣＰＵ、１３…表示部、１４…メモリ、１５…入力部、１６…記憶装置、２１…論理式可視化プログラム、２２…ＯＳ、２３…データベース、３１…候補条件フィールド、３２…論理式編集フィールド、３３ａ〜３３ｅ…論理演算子ボタン。
DESCRIPTION OF
Claims (12)
複数の論理演算子を表示する論理演算子表示手段と、
前記格納された複数の条件要素及び論理式を表示する第１の表示手段と、
前記第１の表示手段によって表示された複数の条件要素及び論理式のうち、複数の条件要素、複数の論理式及び少なくとも１つの条件要素及び少なくとも１つの論理式のいずれかの選択を受け付ける第１の選択受付手段と、
前記第１の選択受付手段によって選択が受け付けられた複数の条件要素、複数の論理式及び少なくとも１つの条件要素及び少なくとも１つの論理式のいずれかに対して適用される、前記表示された複数の論理演算子のうちの１つの論理演算子の選択を受け付ける第２の選択受付手段と、
前記第１の選択受付手段によって選択が受け付けられた複数の条件要素、複数の論理式及び少なくとも１つの条件要素及び少なくとも１つの論理式のいずれかと、前記第２の選択受付手段によって選択が受け付けられた論理演算子とで構成される論理式を作成して表示する第２の表示手段と、
前記第１の選択受付手段によって選択が受け付けられた複数の条件要素、複数の論理式及び少なくとも１つの条件要素及び少なくとも１つの論理式のいずれかの表示を消去する表示消去手段と、
前記作成された論理式に含まれる全ての条件要素及び論理演算子の各描画サイズを論理演算子の種別、文字数及びフォントに基づいて算出する描画サイズ算出手段と、
前記算出された論理式に含まれる全ての条件要素及び論理演算子の各描画サイズに基づいて、前記論理式に含まれる全ての条件要素及び論理演算子の各描画開始位置を算出する手段と、
前記算出された前記論理式に含まれる全ての条件要素及び論理演算子の各描画開始位置から前記算出された論理式に含まれる全ての条件要素及び論理演算子の各描画サイズで、各条件要素及び論理演算子の枠を描画し、かつ前記描画された枠内に、対応する条件要素或いは論理演算子の文字を描画する手段と
を具備することを特徴とする論理式可視化装置。 Means for storing a plurality of conditional elements and logical expressions constituting the logical expression;
Logical operator display means for displaying a plurality of logical operators;
First display means for displaying the plurality of stored condition elements and logical expressions;
A first receiving a selection of a plurality of condition elements, a plurality of logic expressions, at least one condition element and at least one logic expression among the plurality of condition elements and logic expressions displayed by the first display means. Selection accepting means,
The plurality of displayed plural items applied to any one of the plurality of condition elements, the plurality of logical expressions, the at least one conditional element, and the at least one logical expression that have been selected by the first selection receiving unit. Second selection receiving means for receiving selection of one of the logical operators;
Any of a plurality of condition elements, a plurality of logical expressions and at least one condition element and at least one logical expression whose selection is received by the first selection receiving means, and a selection is received by the second selection receiving means. A second display means for creating and displaying a logical expression comprising the logical operators;
Display erasure means for erasing display of any of the plurality of condition elements, the plurality of logical expressions, the at least one condition element, and the at least one logical expression that have been selected by the first selection receiving means;
A drawing size calculating means for calculating each drawing size of all the conditional elements and logical operators included in the created logical expression based on the type of logical operator, the number of characters and the font;
Means for calculating each drawing start position of all the condition elements and logical operators included in the logical expression based on the respective drawing sizes of all the conditional elements and logical operators included in the calculated logical expression;
Each condition element at each drawing size of all condition elements and logical operators included in the calculated logical expression from each drawing start position of all conditional elements and logical operators included in the calculated logical expression And a logical expression visualization apparatus comprising: a frame for drawing a logical operator; and a means for drawing a character of a corresponding conditional element or logical operator in the drawn frame.
前記第２の表示手段は、前記作成された論理式を論理式編集フィールドに表示し、
前記表示消去手段は、前記論理式編集フィールドから前記選択が受け付けられた複数の条件要素、複数の論理式及び少なくとも１つの条件要素及び少なくとも１つの論理式のいずれかの表示を消去することを特徴とする請求項１記載の論理式可視化装置。 The first display means displays the plurality of stored condition elements and logical expressions in a candidate condition field that displays candidate conditions used in the logical expression, and based on a user instruction, the candidate condition field The condition element and the logical expression selected from among the conditional elements and logical expressions displayed in the above are displayed in the logical expression edit field in which the conditional elements and logical expressions for creating the logical expression are displayed.
The second display means displays the created logical expression in a logical expression edit field,
The display erasing means erases the display of any of the plurality of condition elements, the plurality of logic expressions, the at least one condition element, and the at least one logic expression for which the selection has been accepted from the logical expression edit field. The logical expression visualization apparatus according to claim 1.
複数の論理演算子を表示する論理演算子表示手段と、
前記格納された複数の条件要素及び論理式を表示する第１の表示手段と、
前記第１の表示手段によって表示された複数の条件要素及び論理式のうち、複数の条件要素、複数の論理式及び少なくとも１つの条件要素及び少なくとも１つの論理式のいずれかの選択を受け付ける第１の選択受付手段と、
前記第１の選択受付手段によって選択が受け付けられた複数の条件要素、複数の論理式及び少なくとも１つの条件要素及び少なくとも１つの論理式のいずれかに対して適用される、前記表示された複数の論理演算子のうちの１つの論理演算子の選択を受け付ける第２の選択受付手段と、
前記第１の選択受付手段によって選択が受け付けられた複数の条件要素、複数の論理式及び少なくとも１つの条件要素及び少なくとも１つの論理式のいずれかと、前記第２の選択受付手段によって選択が受け付けられた論理演算子とで構成される論理式を作成して表示する第２の表示手段と、
前記第１の選択受付手段によって選択が受け付けられた複数の条件要素、複数の論理式及び少なくとも１つの条件要素及び少なくとも１つの論理式のいずれかの表示を消去する表示消去手段と
を具備する論理式入力装置。 Means for storing a plurality of conditional elements and logical expressions constituting the logical expression;
Logical operator display means for displaying a plurality of logical operators;
First display means for displaying the plurality of stored condition elements and logical expressions;
A first receiving a selection of a plurality of condition elements, a plurality of logic expressions, at least one condition element and at least one logic expression among the plurality of condition elements and logic expressions displayed by the first display means. Selection accepting means,
The plurality of displayed plural items applied to any one of the plurality of condition elements, the plurality of logical expressions, the at least one conditional element, and the at least one logical expression that have been selected by the first selection receiving unit. Second selection receiving means for receiving selection of one of the logical operators;
Any of a plurality of condition elements, a plurality of logical expressions and at least one condition element and at least one logical expression whose selection is received by the first selection receiving means, and a selection is received by the second selection receiving means. A second display means for creating and displaying a logical expression comprising the logical operators;
Logic comprising: a plurality of condition elements whose selection has been accepted by the first selection accepting means, a plurality of logical expressions, and at least one conditional element and display erasure means for erasing the display of at least one logical expression Expression input device.
複数の論理演算子を表示し、
前記格納された複数の条件要素及び論理式を表示し、
前記表示された複数の条件要素及び論理式のうち、複数の条件要素、複数の論理式及び少なくとも１つの条件要素及び少なくとも１つの論理式のいずれかの選択を受け付け、
前記選択が受け付けられた複数の条件要素、複数の論理式及び少なくとも１つの条件要素及び少なくとも１つの論理式のいずれかに対して適用される、前記表示された複数の論理演算子のうちの１つの論理演算子の選択を受け付け、
前記選択が受け付けられた複数の条件要素、複数の論理式及び少なくとも１つの条件要素及び少なくとも１つの論理式のいずれかと、前記選択が受け付けられた論理演算子とで構成される論理式を作成して表示し、
前記選択が受け付けられた複数の条件要素、複数の論理式及び少なくとも１つの条件要素及び少なくとも１つの論理式のいずれかの表示を消去する論理式入力装置における論理式入力方法。 Storing a plurality of condition elements and logical expressions constituting the logical expression in the storage means;
Display multiple logical operators,
Displaying the plurality of stored condition elements and logical expressions;
Among the displayed plurality of condition elements and logical expressions, accepts selection of any one of a plurality of condition elements, a plurality of logical expressions, and at least one condition element and at least one logical expression,
One of the displayed plurality of logical operators applied to any of the plurality of conditional elements, the plurality of logical expressions and the at least one conditional element and at least one logical expression for which the selection is accepted. Accepts a choice of two logical operators,
Creating a logical expression composed of any one of a plurality of conditional elements, a plurality of logical expressions and at least one conditional element and at least one logical expression that have received the selection, and a logical operator that has received the selection; Display
A logical expression input method in a logical expression input device that erases display of any of a plurality of conditional elements, a plurality of logical expressions, and at least one conditional element and at least one logical expression for which the selection has been accepted.
前記プログラムは、前記論理式入力装置に、
論理式を構成する複数の条件要素及び論理式を格納手段に格納させ、
複数の論理演算子を表示させ、
前記格納された複数の条件要素及び論理式を表示させ、
前記表示された複数の条件要素及び論理式のうち、複数の条件要素、複数の論理式及び少なくとも１つの条件要素及び少なくとも１つの論理式のいずれかの選択を受け付けさせ、
前記選択が受け付けられた複数の条件要素、複数の論理式及び少なくとも１つの条件要素及び少なくとも１つの論理式のいずれかに対して適用される、前記表示された複数の論理演算子のうちの１つの論理演算子の選択を受け付けさせ、
前記選択が受け付けられた複数の条件要素、複数の論理式及び少なくとも１つの条件要素及び少なくとも１つの論理式のいずれかと、前記選択が受け付けられた論理演算子とで構成される論理式を作成させて表示させ、
前記選択が受け付けられた複数の条件要素、複数の論理式及び少なくとも１つの条件要素及び少なくとも１つの論理式のいずれかの表示を消去させるプログラム。 In a program used in a logical input device,
The program is stored in the logical input device.
A plurality of condition elements and logical expressions constituting the logical expression are stored in the storage means;
Display multiple logical operators,
Displaying the plurality of stored condition elements and logical expressions;
Among the displayed plurality of condition elements and logical expressions, a selection of any of a plurality of condition elements, a plurality of logical expressions, and at least one condition element and at least one logical expression is received.
One of the displayed plurality of logical operators applied to any of the plurality of conditional elements, the plurality of logical expressions and the at least one conditional element and at least one logical expression for which the selection is accepted. Accepts the selection of two logical operators,
Creating a logical expression composed of any of a plurality of conditional elements, a plurality of logical expressions, and at least one conditional element and at least one logical expression, and a logical operator that has received the selection; Display
A program for deleting display of any of a plurality of conditional elements, a plurality of logical expressions, and at least one conditional element and at least one logical expression for which the selection has been accepted.
前記算出された論理式に含まれる全ての条件要素及び論理演算子の各描画サイズに基づいて、前記論理式に含まれる全ての条件要素及び論理演算子の各描画開始位置を算出する手段と、
前記算出された前記論理式に含まれる全ての条件要素及び論理演算子の各描画開始位置から前記算出された論理式に含まれる全ての条件要素及び論理演算子の各描画サイズで、各条件要素及び論理演算子の枠を描画し、かつ前記描画された枠内に、対応する条件要素或いは論理演算子の文字を描画する手段と
を具備することを特徴とする論理式描画装置。 Drawing size calculation means for calculating each drawing size of all the conditional elements and logical operators included in the logical expression based on the type of logical operator, the number of characters and the font;
Means for calculating each drawing start position of all the condition elements and logical operators included in the logical expression based on the respective drawing sizes of all the conditional elements and logical operators included in the calculated logical expression;
Each condition element at each drawing size of all condition elements and logical operators included in the calculated logical expression from each drawing start position of all conditional elements and logical operators included in the calculated logical expression And a logical expression drawing apparatus comprising: a frame for drawing a logical operator; and a means for drawing a character of a corresponding conditional element or logical operator in the drawn frame.
前記算出された論理式に含まれる全ての条件要素及び論理演算子の各描画サイズに基づいて、前記論理式に含まれる全ての条件要素及び論理演算子の各描画開始位置を算出し、
前記算出された前記論理式に含まれる全ての条件要素及び論理演算子の各描画開始位置から前記算出された論理式に含まれる全ての条件要素及び論理演算子の各描画サイズで、各条件要素及び論理演算子の枠を描画し、かつ前記描画された枠内に、対応する条件要素或いは論理演算子の文字を描画することを特徴とする論理式描画方法。 A drawing size calculation for calculating all drawing sizes of all condition elements and logical operators included in the logical expression based on the type of logical operator, the number of characters and the font;
Based on the drawing sizes of all the conditional elements and logical operators included in the calculated logical expression, the drawing start positions of all the conditional elements and logical operators included in the logical expression are calculated,
Each condition element at each drawing size of all condition elements and logical operators included in the calculated logical expression from each drawing start position of all conditional elements and logical operators included in the calculated logical expression And a logical expression drawing method, wherein a logical operator frame is drawn, and a corresponding conditional element or logical operator character is drawn in the drawn frame.
前記プログラムは、前記論理式描画装置に、
論理式に含まれる全ての条件要素及び論理演算子の各描画サイズを論理演算子の種別、文字数及びフォントに基づいて算出する描画サイズ算出させ、
前記算出された論理式に含まれる全ての条件要素及び論理演算子の各描画サイズに基づいて、前記論理式に含まれる全ての条件要素及び論理演算子の各描画開始位置を算出させ、
前記算出された前記論理式に含まれる全ての条件要素及び論理演算子の各描画開始位置から前記算出された論理式に含まれる全ての条件要素及び論理演算子の各描画サイズで、各条件要素及び論理演算子の枠を描画し、かつ前記描画された枠内に、対応する条件要素或いは論理演算子の文字を描画させることを特徴とするプログラム。 In the program used in the logical drawing device,
The program is stored in the logical expression drawing device.
The drawing size is calculated based on the type of logical operator, the number of characters and the font, and the drawing size of all conditional elements and logical operators included in the logical expression,
Based on the drawing sizes of all the conditional elements and logical operators included in the calculated logical expression, the drawing start positions of all the conditional elements and logical operators included in the logical expression are calculated,
Each condition element at each drawing size of all condition elements and logical operators included in the calculated logical expression from each drawing start position of all conditional elements and logical operators included in the calculated logical expression And a logical operator frame, and a corresponding conditional element or logical operator character is drawn in the drawn frame.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP2008251374A JP2010086051A (en) | 2008-09-29 | 2008-09-29 | Logical expression input device and logical expression visualization device |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP2008251374A JP2010086051A (en) | 2008-09-29 | 2008-09-29 | Logical expression input device and logical expression visualization device |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JP2010086051A true JP2010086051A (en) | 2010-04-15 |
Family
ID=42249995
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP2008251374A Pending JP2010086051A (en) | 2008-09-29 | 2008-09-29 | Logical expression input device and logical expression visualization device |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP2010086051A (en) |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN110858117A (en) * | 2018-08-24 | 2020-03-03 | 阿里巴巴集团控股有限公司 | Configuration method and device of service information and electronic equipment |
| CN112395268A (en) * | 2020-11-12 | 2021-02-23 | 中国人寿保险股份有限公司 | Visual configuration method and device for complex condition rules |
Citations (6)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH06301735A (en) * | 1993-04-09 | 1994-10-28 | Oki Electric Ind Co Ltd | Data base retrieving device |
| JPH07230538A (en) * | 1994-02-15 | 1995-08-29 | Internatl Business Mach Corp <Ibm> | Graphical user interface |
| JPH10187762A (en) * | 1996-10-22 | 1998-07-21 | Fujitsu Ltd | Retrieval logic expression input device |
| JPH10289251A (en) * | 1997-02-17 | 1998-10-27 | Dainippon Screen Mfg Co Ltd | Data retrieving method and recording medium where program for performing its process is recorded |
| JP2001154771A (en) * | 1999-12-01 | 2001-06-08 | Nec Corp | Schematizing method of logical expression and information processor |
| JP2002117056A (en) * | 2000-10-06 | 2002-04-19 | Max Management:Kk | Method and system for data search and display, and data search engine equipped with data search and display method |
-
2008
- 2008-09-29 JP JP2008251374A patent/JP2010086051A/en active Pending
Patent Citations (6)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH06301735A (en) * | 1993-04-09 | 1994-10-28 | Oki Electric Ind Co Ltd | Data base retrieving device |
| JPH07230538A (en) * | 1994-02-15 | 1995-08-29 | Internatl Business Mach Corp <Ibm> | Graphical user interface |
| JPH10187762A (en) * | 1996-10-22 | 1998-07-21 | Fujitsu Ltd | Retrieval logic expression input device |
| JPH10289251A (en) * | 1997-02-17 | 1998-10-27 | Dainippon Screen Mfg Co Ltd | Data retrieving method and recording medium where program for performing its process is recorded |
| JP2001154771A (en) * | 1999-12-01 | 2001-06-08 | Nec Corp | Schematizing method of logical expression and information processor |
| JP2002117056A (en) * | 2000-10-06 | 2002-04-19 | Max Management:Kk | Method and system for data search and display, and data search engine equipped with data search and display method |
Cited By (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN110858117A (en) * | 2018-08-24 | 2020-03-03 | 阿里巴巴集团控股有限公司 | Configuration method and device of service information and electronic equipment |
| CN110858117B (en) * | 2018-08-24 | 2023-05-02 | 阿里巴巴集团控股有限公司 | Service information configuration method and device and electronic equipment |
| CN112395268A (en) * | 2020-11-12 | 2021-02-23 | 中国人寿保险股份有限公司 | Visual configuration method and device for complex condition rules |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| JP2009205623A (en) | Text display device, text display method, and program | |
| US9767069B2 (en) | Formula display control device, formula display method, and recording medium storing program | |
| JP4611116B2 (en) | Information processing apparatus and program used for presentation | |
| US20180074659A1 (en) | Application user interface design tool | |
| Knearem et al. | Exploring the future of design tooling: The role of artificial intelligence in tools for user experience professionals | |
| JP2010086051A (en) | Logical expression input device and logical expression visualization device | |
| WO2018220921A1 (en) | Program development support device, program development support method, and program development support program | |
| JP2016027473A (en) | Formula display control unit and program | |
| JP5903276B2 (en) | Display control program and apparatus | |
| JP2007265315A (en) | Business support device, and program used therefor | |
| JP2011048477A (en) | Device, method, and program for drawing flow chart | |
| JP5651450B2 (en) | Screen design evaluation apparatus, screen design evaluation method and program | |
| JP2019149019A (en) | Support system | |
| KR20200069476A (en) | Method of Providing User Interface for 3D Printing Mesh Model Error Correction | |
| JP2020086472A (en) | Graphic data creation program | |
| JP2017016411A (en) | Development support program, recording medium, development support method, and development support device | |
| KR101518566B1 (en) | Method and apparatus for providing online service experince modeling | |
| KR20190011186A (en) | Web-based chart library system for data visualization | |
| JP5202598B2 (en) | Workflow management device and workflow management program | |
| JP2013037623A (en) | Formula input device and program | |
| JP2008176562A (en) | Electronic equipment and electronic equipment control program | |
| JP2024003204A (en) | Operation support device, operation support method and computer program | |
| JP2001014302A (en) | Allocation processor | |
| Gladfelter | AutoCAD 2016 and AutoCAD LT 2016 No Experience Required: Autodesk Official Press | |
| JP5532890B2 (en) | Display device and program |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20110622 |
|
| A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20110705 |
|
| A02 | Decision of refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A02 Effective date: 20111101 |