(57)【要約】  一般的に、計算式は結果を与えるために用いられうる変数、定数、作用素、関数、限定2007535740.tif 000024計算式の適用は、公式を創造し、データバンクに対する一連の検索を実現させる。本技術は、洗練された計算式の実現を容易なものにする。そのため、ツリー状のグラフ構造から計算式を組み立て、それを判定する。その構造は、様々な異なる種類をとりうる。
2007535740.tif 000002
【特許請求の範囲】
【請求項１】
計算式を管理するシステムは、ツリー図を一つ以上示すための手段を包含する。ツリー図は、ツリー形式で計算式を示し、また異なる種類のツリー図が存在する。
【請求項２】
請求項１に沿ったシステムは、ツリー図を編集するための手段を包含する。編集の際、次に示す作用の１つ以上を含む。（１）ゼロから創造する。（２）修正する。（３）ゼロから創造し、修正する。（４）他の種類の作用。
【請求項３】
請求項１と２に沿ったシステムは、
−１つ以上のグラフを発生させるための方法や、そのグラフを編集するための方法が、コンピューター化されたシステムに導入される。
−そのコンピューター化されたシステムの画面に、前述のグラフが示され、
−選択的にそのグラフの異なる部分を際立たせるため、付加手段を包含する。異なる部分とは、例えば、ツリーのノードやターム、エレメント、または他の部分を言う。
【請求項４】
請求項１に沿ったシステムで、前述のツリー構造の１つがタワー構造である。タワー構造は、
−ツリーのノードが、垂直的に配置されており、
−どのノードがどのノードの親になっているのかを示す手段を包含している。
【請求項５】
請求項１に沿ったシステムで、前述のツリー構造の１つが垂直構造である。垂直構造は、
−ツリーのノードが垂直的に開かれているので、もし１つのノードが決まった高さにまで及べば、その子ノードは異なる高さにまでしか及ばず、
−どのノードがどのノードの親になっているのかを示す手段を包含している。
【請求項６】
請求項１に沿ったシステムで、前述のツリー構造の１つが段階的構造である。段階的構造は、
−ツリーのノードがある図の異なるレベルに配列され、一定のノードが、図で一定のレベルにおいて可視的なものになる。そのため、式を読み取るためにノード間の推移レベルが変化し、
−さらに、全体の式を持つ要約セルが存在する。
【請求項７】
請求項１に沿ったシステムで、前述のツリー構造の１つが水平構造である。水平構造は、
−ツリーのノードが水平的に開かれているので、親ノードはその子ノードに関して異なる水平位置を持ち、
−どのノードがどのノードの親になっているのかを示す手段を包含している。
【請求項８】
請求項１に沿ったシステムで、前述のツリー構造の１つが線状構造である。線状構造では、ツリーのノードが、計算式の下に位置する平行線を用いて際立つ。そのためその線は、ツリーの異なるノードに一致する。
【請求項９】
請求項１に沿ったシステムで、前述のツリー構造の１つがレリーフ構造である。レリーフ構造では、ツリーのノードが、計算式の下部域を示して際立つ。そのため、その域がツリーの異なるノードに一致し、確実で明白なものになる。
【請求項１０】
請求項１に沿ったシステムは、等位分類という特徴を適用するための手段を包含する。等位分類ではそのシステムが、兄弟関係にある異なるノードを結合している作用素を等しいものにさせる。
【請求項１１】
請求項１に沿ったシステムは、非協同作用素の逐次配列という特徴を適用するための手段を包含する。非協同作用素の逐次配列ではそのシステムが、兄弟関係にある異なるノードを結合している作用素に、それ自身の間で協同的特性を持たせる。
【請求項１２】
請求項１に沿ったシステムは、説明的テクストの機能性という特徴を適用するための手段を包含する。説明的テクストの機能性は、グラフに示される１つ以上のノードがノードを描写する際にもたらすテクストに関連する。
【請求項１３】
請求項１に沿ったシステムは、増加情報処理の機能性という特徴を適用するための手段を包含する。増加情報処理の機能性は、
−１つ以上のノードに対し、そのノードに関連する数値を示す。数値は、ノードに対する式の判別に依存し、
−その式を判別するに従い、数値の判定を選択的に動学的な形式で示しうる。
【請求項１４】
請求項１に沿ったシステムは、ある位置の最小タームを認証するための手段を包含する。そのため、暗黙の最小タームもしくは明確な最小ターム、またはその両方が問題となる。
【請求項１５】
請求項１に沿ったシステムは、ある瞬間に選択されたタームの親タームを選択するための手段を包含する。
【請求項１６】
請求項１に沿ったシステムは、ツリー構造に示されたノードを開閉するための手段を包含する。
【請求項１７】
請求項１に沿ったシステムは、計算用紙、コード編集やほかの状況といった周囲に対して公式の組み立てを簡単なものにするための手段を包含する。
【請求項１８】
請求項１に沿ったシステムは、例えばデータバンクやインターネット検索、他の周囲の状況に対し、一連の検索の組み立てを簡単なものにするための手段を包含する。
【請求項１９】
計算式を管理するための手続きは、次に示す段階を経る。
−１つ以上のツリー図を作成する。
−利用者に、作成したツリー図を提示する。
ツリー図は、ツリー形式で計算式を示す実体であり、異なる種類がある。
【請求項２０】
請求項１９に沿った手続きは、前述のツリー図を編集するための段階を経る。編集の際、次に示す作用を含む。（１）ゼロから創造する。（２）修正する。（３）ゼロから創造し、修正する。（４）別の種類の作用。
【請求項２１】
請求項１９と２０に沿った手続きは、次に示す段階を経る。
−コンピューター化されたシステムの画面に、１つ以上のツリー図を示す。
−選択的に、ツリー図の異なる部分を際立たせる。異なる部分とは例えば、ツリーのノード、ターム、エレメントや他の周囲の状況を言う。
【請求項２２】
請求項１９に沿った手続きで、ツリー図の一つがタワー構造である。タワー構造については、請求項４で説明した。
【請求項２３】
請求項１９に沿った手続きで、ツリー図の一つが垂直構造である。垂直構造については、請求項５で説明した。
【請求項２４】
請求項１９に沿った手続きで、ツリー図の一つが段階的構造である。段階的構造については、請求項６で説明した。
【請求項２５】
請求項１９に沿った手続きで、ツリー図の一つが水平構造である。水平構造については、請求項７で説明した。
【請求項２６】
請求項１９に沿った手続きで、ツリー図の一つが線状構造である。線状構造については、請求項８で説明した。
【請求項２７】
請求項１９に沿った手続きで、ツリー図の一つがレリーフ構造である。レリーフ構造については、請求項９で説明した。
【請求項２８】
請求項１９に沿った手続きは、それ自身の間で異なる作用素を持つような、兄弟関係にあるノードが存在しないように、システムが利用者に計算式を再構築するよう強要する段階を経る。つまりその段階は、等位分類という特徴を行使する。等位分類については、請求項１０で説明した。
【請求項２９】
請求項１９に沿った手続きは、それ自身の間で協同的な特徴を果たさない作用素を持つような、兄弟関係にあるノードが存在しないように、システムが利用者に計算式を再構築するよう強要する段階を経る。つまりその段階は、非協同的作用素の逐次配列という特徴を行使する。非協同的作用素の逐次配列については、請求項１１で説明した。
【請求項３０】
請求項１９に沿った手続きは、説明的テクストの機能性を行使する段階を経る。機能性については、請求項１２で説明した。
【請求項３１】
請求項１９に沿った手続きは、増加情報処理の機能性を行使する段階を経る。機能性については、請求項１３で説明した。
【請求項３２】
請求項１９に沿った手続きは、ある位置の最小タームを認証する段階を経る。最小タームは、暗黙の最小ターム、明確な最小ターム、またはその両方のことを指す。
【請求項３３】
請求項１９に沿った手続きは、ある瞬間に選択されているタームの親タームを、自動的に選択する段階を経る。
【請求項３４】
請求項１９に沿った手続きは、ツリー構造のノードを開閉する段階を経る。
【請求項３５】
請求項１９に沿った手続きは、生じる計算式を、計算用紙やコード編集などの周囲の状況に割り当てる段階を経る。
【請求項３６】
請求項１９に沿った手続きは、生じる計算式を、データバンクやインターネット検索などの周囲の状況に適用させる段階を経る。
【請求項３７】
コンピュータープログラムは、請求項１から１８の一つ以上のシステムを実現させる。
【請求項３８】
コンピュータープログラムは、請求項１９から３６の一つ以上のシステムを実現させる。
【請求項３９】
何らかの方法で読むことの出来る媒体は、請求項３７、３８で言及した何らかのコンピュータープログラムを包含する。
【発明の詳細な説明】
【技術分野】
【０００１】  本技術は、計算式管理に従事するツールや、情報処理に対応する。【０００２】  技術の現状
近年、情報の広がりにより、情報学に精通していない多くの人々が、習慣的にコンピューターを使用するようになった。そのため、一定の情報に関する課題を実現できる形式を、単純化させる必要が生じてきた。【０００３】  この課題の一つが計算式の創造である。一般的な用語で言えば、計算式とは変数、定数、作用素、関数、限定文字、その他結果を手に入れるために用いられうる可能な限りの要素の合一である。表１は、ある計算式の例を表している。
【表１】
2007535740.tif 000003
【０００４】  限定文字として、丸括弧やブランケットがよく用いられる。しばしば一つのタイプの限定文字が用いられるが、もっとも一般的な場合においては、異なる性質を持った、異なるタイプの限定文字が存在しうる。ここでは、存在する唯一の限定文字が、丸括弧であると仮定する。描写を簡潔にするため、計算の一部分を担う変数または定数をエレメントと名づけることにする。例えば、表１にあっては“Ａ”“Ｂ”“２”がエレメントである。【０００５】  計算式は特に、書式を組み立て、一連の検索を実現するために用いられる。書式は、計算用紙やコード資料の出版物または他の状況の中で、用いられることが多い。一連の検索は、データバンクやインターネットまたは他の周囲の状況に基づいた情報の検索を創造するために実現されることが多い。【０００６】  計算式は、論理的または算術的なものであることが多い。実に様々な性質を有した計算式が構築される。例えば、論理的なものであるとか、算術的なものであるとか、テクストであるとか言った、色々な種類が混ぜ合わさったエレメントや作用素、関数を持つ計算式が存在するのだ。【０００７】  論理的、算術的、または他の種類の相関を持つような断片も、用いられることがある。例えば、比較断片を用いることがある。それは、“Ｔｏｐｉｃ＝’Ｅｓｓａｙ’”（“主題＝’試行’”）といった場合で、その時、“主題”は変数で、“’試行’”は数値となる。そのため、変数である“主題”が、数値である“’試行’”を取るのであれば、断片は真になる。【０００８】  インターネット利用者が慣習的に行うように、変数が暗黙で用いられることもある。暗黙で用いられる変数は、実に様々な方法で現れる。最も一般的な場合では、文字列ＸＹＺが存在する。その文字列は、計算式が見積もられるために、それぞれの実体に対し真あるいは偽の数値を生じさせる原因となる様、複合的な方法で定義されうる特定の規則に従い、計算される。例えばインターネット検索者は、“ｈｏｕｓｅ  ＡＮＤ  ｈｏｍｅ  ＡＮＤ  ＮＯＴ（ｍｏｕｎｔａｉｎ  ＯＲ  ｃｏｕｎｔｒｙ））”という一連の検索を構築する。このとき、エレメントである“ｈｏｕｓｅ”（家）、“ｈｏｍｅ”（家庭）、“ｍｏｕｎｔａｉｎ”（山）、“ｃｏｕｎｔｒｙ”（田舎）は、検索の結果がそれらの単語を含む、あるいは含まないものであることを、暗に意味している。文字列ＸＹＺは、例えば、“Ｐｙｔｈａｇｏｒａｓ  ｗａｓ  Ｇｒｅｅｋ”（ピタゴラスはギリシア人であった。）といったかなり広い意味を持ちうるので、もし検索されているものがその状況へ何らかの言及をしているのであれば、数値が明らかにされる。言外的な方法で変数を用いる付加的な形式は、“Ｈｏｕｓｅ’Ｉｎ  Ｔｉｔｌｅ”（“題名に家”）のように断片を用いることであろう。もし“家”が題名に含まれていれば、断片は真になる。示した例以外にも、計算式を組み立てるほかの方法が存在する。【０００９】  説明を簡単なものにするため、この文書では、“ａｎｄ”“ｏｒ”“ｎｏｔ”“ＡＮＤ”“ＯＲ”“ＮＯＴ”を用いる。つまり、大文字であれ小文字であれ、用いられるコンテクストに存在する文字への混乱を避けるために、これらの単語を用いることにする。【００１０】  計���式に関する序を終えるため、表２では算術的な作用素と変数からなる計算式を、表３では両方の種類の作用素と変数を包含する計算式を、表５では比較断片を用いている計算式を示した。
【表２】
2007535740.tif 000004
“Ａ”“Ｂ”“Ｃ”は数値をとる変数である。
【表３】
2007535740.tif 000005
“Ｕ”“Ｖ”“Ｚ”は論理的な数値をとる変数であり、“ｏｒ”と“ａｎｄ”は、論理的な作用素である。
【表４】
2007535740.tif 000006
再び、Ａ，Ｂ，Ｃは数値をとる変数になる。“Ｕ”は論理的な数値をとり、“ａｎｄ”“ｏｒ”は、論理的な作用素である。
【表５】
2007535740.tif 000007
“Ｔｏｐｉｃ”（主題）はテクストの変数で、他のデータは前もって定義されている。【００１１】  計算式を創造することは、情報学・数学に精通していない者にとっては難しいものである。また、特に計算式が様々な種類の挿入を有するときには、それらの学問に精通している者に対してでも、とても複雑なものとなりうる。例えば表６は、可能な限り複雑化された計算式を表している。異なる丸括弧が貼りつけられた断片を確認することが、難しくなっている。
【表６】
2007535740.tif 000008
【００１２】  この難しさをさらに示すために、表７の例では、括弧が故意的に除去された間違いを挿入している。表６と比較することなく表７の形式を個別に観察するのなら、この種の式に日常的に従事している者であっても、間違いを見つけ出すことは困難であろう。
【表７】
2007535740.tif 000009
【００１３】  実際、計算用紙のプログラムや、データバンクの管理に関する周囲の状況においては、計算式の創造を容易にするような、ある種の方法が存在する。【００１４】  例えば、Ｍｉｃｒｏｓｏｆｔ  Ｅｘｃｅｌでは、プログラムが丸括弧を包含する式を見積り、関連した異なる開閉丸括弧の確認を容易にするため、色をつけてコード化する。しかしながらこのようにしても、それなりに長い計算式の場合は、複雑になる。さらに、創造された式が正しかったとしても、創造しようとした意味を持とうとするのなら、査定するのは難しい。【００１５】  またＭｉｃｒｏｓｏｆｔ  Ｅｘｃｅｌでは、式が計算されるに従い、少しずつ式を査定してくれる使用法も存在する。この使用の短所は、それぞれの段階で、すでに計算された段階にある重要な情報が失われてしまうことである。【００１６】  一連の検索を構築する計算式の場合、式の創造を容易にする様々な方法が存在する。例えば、Ｍｉｃｒｏｃｏｆｔ  Ａｃｃｅｓｓは、表８に図式的に示すような式を創造する使用法を包含している。表８のデータに適合する式は、表９に示している。
【表８】
2007535740.tif 000010
【表９】
2007535740.tif 000011
【００１７】  これは有益なツールである。異なるセルの状況に応じるような、いかなる論理的な式であれ創り出すことができるからだ。そのため、どのような論理的な式でも、積の和の組み
2007535740.tif 000012
して簡単には置かれることのない多くの式が存在することである。例えば、表１０で示されているように、多くの人々にとって明確ではない変形を必要とするものがある。
【表１０】
2007535740.tif 000013
【００１８】  検索を簡潔化するほかの方法で、特にインターネットでの情報検索のシステムで用いられる方法は、使用するのに最も簡単で単純なインターフェイスに基づいている。この短所は、全く洗練されていない検索を許してしまうことである。この例としては、Ｇｏｏｇｌｅの検索インターフェイスがある。【００１９】  結論としては、洗練された計算式の簡単な実現を許すような他の案を、計算プログラムの能力を完全に開発させるように向上させ、効率的に現在存在する膨大な情報にアクセスすることが必要となる。計算式が何年も前から用いられているにも関わらず、−特に情報学では初期のコンピュータープログラムが世に出てきてから用いられているが−今までこの必要性に満足のいく解決策がなかった。【００２０】  技術の説明
本技術により、洗練された計算式を簡単に管理することができる。そのため、本技術はツリーを表す図式的な構造から計算式を管理することに基礎を置いている。別段落で説明するように、この基礎を伴い異なる利点を引き起こす。例えば、好ましい実現において、前述の図式的構造は、それぞれの瞬間の独特な状況に従い、データを編集し取り入れたデータを分類・分離・操作する情報システムによって制御されている。【００２１】  例えば表１１の計算式は、図１、２、３で示される図式的な構造のように表される。
【表１１】
2007535740.tif 000014
【００２２】  ツリーを図式的に表すような、異なる種類の図式的構造が存在する。図１，２，３で用いた３種類の図式的構造はそれぞれ、タワー構造、垂直構造、段階的構造である。本文書で示されるこれらの、またはほかの表示は、本技術を描写するために用いられる具体的な例であることを考慮し、例は本技術において制限的なものではないということを理解しなければならない。本技術はこれらの種類の図式的な表示を１つないし多くを包含し、他の異なる種類の図式化されたツリー状の表示を許す。“他の実現に関する説明”の段で、他の種類の図式化されたツリー状の表を説明する。【００２３】  表１１は、一般的にいかなるヘルプ機能を用いる必要がない程度に十分簡潔であるし、本技術の説明にはよく役立つ。【００２４】  図１は表１１に対し、タワー構造と呼ばれるツリー状の構造を表している。このタワー構造の本質は、ツリーの異なるノードが、垂直的に組織されていることである。Ｍｉｃｒｏｓｏｆｔ  Ｗｉｎｄｏｗｓの処理機能で用いられているＭｉｃｒｏｓｏｆｔ  Ｔｒｅｅｖｉｅｗのコントロールは、タワー構造の例である。【００２５】  図２は、表１１の式の垂直的な構造を表している。垂直構造は、ツリーとグラフに関しての数学的な研究において用いられる、古典的構造である。【００２６】  図３は、表１１の計算式の段階的構造を表している。段階的構造は、それぞれのノードや単語が持つ挿入のレベルに応じて、多線的な図の異なるレベルに、ノードを分ける。この例では、上位レベル３００１が付加される。異なるレベルに属するエレメントの位置を、複雑な式に占める位置と簡単な方法で比較できるように複雑な式を示すため、上位レベル３００１は、太い線で３００２と分けられている。そのため、両方の位置を視覚的に比較することが可能である。【００２７】  タワー構造や、垂直構造とは異なる段階的構造の利点は、それぞれのレベルで、計算式の水平経路を観察できることである。つまり、それぞれのレベルで現れる、エレメントや作用素、関数が、他のレベルにあるエレメントと並んでいるので、もし水平的に進ませれば、レベルを変化させることなしに、すべての式を完全なものにできるのである。【００２８】  本技術の本質をさらに説明するため、計算式に関するいくつかの位置を決定し、いくつかの概念を定義することが望ましい。まず計算式は、明確な丸括弧と暗黙の丸括弧を包含する。明確な丸括弧は、観察される限定文字のことである。例えば、表１２では、‘Ａ’と‘Ｂ’の間の開丸括弧と、‘Ｂ’の後の閉丸括弧が明確な丸括弧である。暗黙の丸括弧とは、式中の異なる作用素や関数を添付する順序と、関係のある丸括弧を指す。この順序は、他の作用素に関するいくつかの作用素や、異なるエレメントが式に占める位置の特徴によっ
2007535740.tif 000015
メントは暗黙の丸括弧の間に含まれていると理解できる。
【表１２】
2007535740.tif 000016
【表１３】
2007535740.tif 000017
【００２９】  巧く構成されている式では、それぞれの開丸括弧に対して閉括弧が一つ存在する。式を簡単なものにするため、このように関連した各一対の丸括弧をこの文書では、「結合丸括弧」と呼ぶことにする。また、二つの結合丸括弧の中に含まれる、式の断片を「ターム」と名づけることにする。つまり、開丸括弧とそれに対応する閉丸括弧の間にあるものである。またこの文書では、もしタームを囲む丸括弧が明確な丸括弧ならば、タームを「明確なターム」と言い、また、タームを囲む丸括弧が暗黙の丸括弧である場合は、タームを「暗黙のターム」と言うことにする。この文書で孤立したエレメントは、もし丸括弧の間に位置するのであれば、式は同じ数値を持つはずあろうが、暗黙のタームのようには解釈されないことにする。【００３０】  巧く構成された計算式が、これまでに言及してきたようにツリー形式に判断されうると考えることは簡単である。これは、巧く構成された式に対して、タームが次に挙げる状況を達成することによる。“どんなものであれ、もし二つのタームが論理的な式の何らかの断片を共有するのなら、タームのうちのひとつは、完全にもう一方のタームに含まれる。”このように、あるタームＡが別のタームＢに含まれ、さらに両方の間に第三のタームが存在しないのであれば、Ｂが親タームである。このことが、一つあるいは一つも親タームを持っていないタームであれ、同じ親タームを持つタームが兄弟タームになる原因となる。そのため、タームはツリー状に組織されうるのである。【００３１】  ツリーはノードで構成されている。どのように式をとらえるかによって、それぞれのノードにはひとつのタームとエレメントが存在する。前述のタームは様々な種類のものでありうる。例えば、
１．他の明確なタームを含むターム
２．他の明確なタームを含まないターム
３．暗黙のタームになりうるターム
４．エレメント
５．他の種類のターム【００３２】  続いて本技術の利点に関する見解を容易なものとして進めるため、前述のものよりはるかに複雑化した、異なる計算式に対して、様々なツリー状の構造を示すことにする。【００３３】  例えば、本のデータバンクが存在すると仮定すると、本は表１４に現れる、次に掲げる特徴と数値を有する。また、“経理、財政、実業家、人的資源、戦略、マーケティング”といった数値が、ビジネスの下範疇であると仮定する。
【表１４】
2007535740.tif 000018
【００３４】  この場合、表１５に示されるような論理的条件を持った、閲覧が希望されていると仮定する。
【表１５】
2007535740.tif 000019
【００３５】  この計算式のタワー構造は、図４のようになる。図５，６，７はツリーのノードの開閉を促す選択的観点が付加された、特定の実現の場合を示している。子をもつノードは、その子ノードの構成に相当することが、それぞれの子ノードに割り当てられる論理的な作用素を用いることで分かる。例えば、ノード４００１、“Ｌａｎｇｕａｇｅ＝Ｒｕｓｓｉａｎ  ＡＮＤ  Ｙｅａｒ＞２００２”は、ノード４００３、“Ｙｅａｒ＞２００２”とともに、ノード４００２、“Ｌａｎｇｕａｇｅ＝Ｒｕｓｓｉａｎ”を構成しており、それらに作用素４００４の“ＡＮＤ”が貼りつけられている。同じプロセスが、ノードの配置や作用素の種類を変化させることなく、すべてのツリー状のグラフ構造のノードに適応される。【００３６】  本技術の可能なほかの例示では、図８のように特に複雑で算術的な式のタワー構造を表すものもある。図８は、表６の計算式に対応している。図９は、図８の式の垂直構造を表している。図１０は、ノードが閉じてしまった、同じく図９の垂直構造を示している。図１１は、図８の式の段階的構造を表している。【００３７】  図１１はさらに、段階的構造の選択的な観点を示している。図からわかるように、この例では、タームの左側に兄弟関係として現れるエレメントが（例えばエレメント“Ａ”１１０１）、兄弟関係にあるタームの以前のレベルに位置しており、右側に現れる兄弟関係にあるタームが（例えばエレメント“Ｆ”１１０２）、そのタームと同じレベルに位置している。これが特定の実現の裁定であり、他の実現においては、このレベルの割り当ては異なったものになる。【００３８】  本技術に用いられる特定の実現と付加される機能性に従い、本技術は多用な目的に対して使用される。例えば、組み立てられた式を理解するために、また式を構築するために、またはその両方の目的を伴って、用いられる。【００３９】  すでに組み立てられた式を理解するために、本技術に式が導入され、その構造が観察できる。また、巧く組み立てられていない式の場合に対しても利用することができるだろう。これらの場合に対して、本技術であれば、一つ以上の丸括弧を知られないように実現し、計算式に適合する可能なツリーを発生させる。【００４０】  式を組み立てる場合に対し、図１２は追従されうるプロセスの例を表している。このプロセスを説明するために、まず同系と呼ばれる概念を定義する。同系は、限定作用素がそれぞれの括弧内に適用できるよう、また、親セルから子セルに変化するように、ひとつ以上のセルを関連付けさせることに基づいている。同系は、新たな親セルを作り、存在している親を持つほかのセルと結びつくことができる。また、二つのセルが選択され、そのうちの一つつがもう一方の親セルとなることが決定される。このことがいかにして成されるのかは、具体的な実現による。図１２は、説明を簡単にするため、可能な限り図式的に構成されている。本技術の実際での組みあわせにおいて、図で言及されている作用を実現させるような、方法やコントロール、メカニズムが存在すると分かる。さらに本技術の利用は、正確に描写された作用やその数値、順序を何が辿っているのかについては判断をしておらず、示された作用が本技術の選��的な観点を描写するたった一つの目的だと判断している。【００４１】  この例において、プロセスは、構造が創られる白紙のバックグラウンドで始まる。本技術の可能な実現に対する利用法は、例えば以下のような作用を実行する。【００４２】１．作用１．利用者は最初のセルを創造する。セル内には作用素や変数が導入されうる。
２．作用２．利用者は二つ目のセルを創造し、二つの変数‘Ｄ’と‘Ｅ’を導入する。
３．作用３．利用者は作用素‘＋’をセル内の一方に加える。
４．作用４．利用者は存在する二つのセルを結びつける。またこの例では結果として、システムはセルを創りだす。セルはこのとき、親として機能し、さらに存在する変数に存在する作用素を適用させる。この特定の例では、システムは次のようなことも実現させる。開かれた親セルを指し示すフラッグを加え、兄弟セルを親セルの子セルであると示すために兄弟セルをインデントし、それが副次的なセルであると示すために親セルの内容に下線をひく。
５．作用５．利用者はさらに二つのセルと新しい作用素を作る。
６．作用６．利用者は視覚的に捉えることのできる変数ＢとＣのセルを結びつける。ここから、変数や作用素を付け加えることができ、表１１に示される式の構造の原因となっている。【００４３】  他の種類のツリー状になっている図式的な表象とともに、これに似ているプロセスを進めることができる。そしてプロセスは、それぞれの種類の表象に特有の特徴に適合する必要がある。【００４４】  図１３と１４は、いかにして本技術がデータバンクやインターネット、または他の周囲の状況に対して複雑な検索の創造を容易にしているかを表す、選択的な側面を描写している。利用者に対する最初の段階は、図１３に現れているような、多数の状況を創り出すことである。一旦利用者にとって重要な全ての状況が創り出されれば、利用者は図１４で示されているようなもっとも複雑なタームを形成しようと、それらの状況を付加し始める。図１４では、２つのセル１４０１と１４０２が結びつけられ、親セル１４０３が創り出される。【００４５】  本技術の利点
図や式で示されてきたように、本技術には基本的に二つの利点がある。
１．特定の計算式の意味をより理解するのを助ける。つまり、もし利用者がなんらかの手段で形式的に正しい式を組み立てるなら、利用者が望むそのものの意味に式がなっているかを評価することができる。この利点は、特に利用者がかなり前に作った式を見直すときや、式を作った人物とは他の人物が式を見直すときに重要である。
２．現在存在する技術を用い、もっとも安全な方法で、計算式を創造することを容易にする。【００４６】  本技術の技術的な特徴は、計算式が何年も前から使用されてきたが、それが知られるまでのここ何年かは、本技術で説明されているような提案が一つもされなかった、という事実によっている。例えば、アメリカ特許５，４７１，６１３の“ＳＱＬクローズ（節）の三つの構造表象”では、ツリーに基礎を置き、データバンクに対して参照する際の創造の問題についての解決を提示している。しかしながら、問題に取り組む形式は、本特許出願の形式とは異なっており、その最終的な提案を実行することはとても難しい。【００４７】  図の説明
図１は、簡単な式に対するタワー構造を表している。
図２は、簡単な式に対する垂直構造を表している。
図３は、簡単な式に対する段階的構造を表している。【００４８】  図４は、論理的に複雑な計算式に対するタワー構造を表している。
図５は、根幹となるノードが閉じた状態の、論理的に複雑な計算式に対するタワー構造を表している。
図６は、様々なノードが閉じた状態で存在する、論理的に複雑な計算式に対するタワー構造を表している。
図７は、様々なノードが閉じた状態で存在する、論理的に複雑な計算式に対するタワー構造を表している。
図８は、数値的に複雑な計算式に対するタワー構造を表している。
図９は、数値的に複雑な計算式に対する垂直構造を表している。
図１０は、ひとつのノードが閉じた状態の、数値的に複雑な計算式に対する垂直構造を表している。
図１１は、数値的に複雑な計算式に対する段階的構造を表している。【００４９】  図１２は、タワー構造を創り出すための、可能なプロセスを表している。
図１３は、一連の検索を実現するために、論理的な式の組み立てを始められる方法を表している。
図１４は、一連の検索を実現するために、論理的な式の組み立てを継続させる方法を表している。【００５０】  図１５は、一つのノードが閉じた状態のタワー構造を表している。
図１６は、一つのノードが閉じた状態の垂直構造を表している。
図１７は、一つのノードが閉じた状態の段階的構造を表している。
図１８は、一つのレベル全体が閉じた状態の段階的構造を表している。【００５１】  図１９は、タワー構造においてノードとタームを際立たせる方法を表している。
図２０は、垂直構造においてノードとタームを際立たせる方法を表している。
図２１は、段階的構造においてノードとタームを際立たせる方法を表している。
図２２は、段階的構造においてノードとタームを際立たせる方法を表している。
図２３は、段階的構造においてノードとタームを際立たせる方法を表している。
図２４は、段階的構造においてノードとタームを際立たせる方法を表している。
図２５は、複雑な計算式に対し、段階的構造においてノードとタームを際立たせる方法を表している。
図２６は、複雑な計算式に対し、段階的構造においてノードとタームを際立たせる方法を表している。
図２７は、複雑な計算式に対し、段階的構造においてノードとタームを際立たせる方法を表している。【００５２】  図２８は、一つの変数のある機能が使用されている、タワー構造を表している。
図２９は、二つの変数のある機能が使用されている、タワー構造を表している。
図３０は、一つの変数がもう一方の変数の上で使用されている、タワー構造を表している。【００５３】  図３１は、様々な兄弟ノードが、共同的な特徴を達成していない作用素によって結びつけられている構造を表している。
図３２は、様々な兄弟ノードが、共同的な特徴を達成していない作用素によって結びつけられないような方法を表している。【００５４】  図３３は、明確なテクストの機能性を図示した構造を表している。
図３４は、部分的な結果と増加する情報処理の機能性を図示した構造を表している。【００５５】  図３５は、最小のタームを識別する機能性を図示した構造を表している。
図３６は、タームの上昇機能性を図示した構造を表している。【００５６】  図３７は、本技術を実現するために用いられうる、情報化したシステムのウインドーを図示的に表している。
図３８は、本技術を実現するために用いられうる、いくつかのコントロールを表している。
図３９は、とても長い計算式に対して、完全な形で段階的構造を示しうる方法を表している。【００５７】  図４０は、水平構造を表している。
図４１は、線状構造を表している。
図４２は、線状構造を表している。
図４３は、線状構造を表している。
図４４は、レリーフ構造を表している。
図４５は、レリーフ構造を表している。
図４６は、丸括弧が除去された段階的構造を表している。【００５８】  本技術の実現に関する方法の説明
好ましい実現に関する説明
様々な付加的観点
言及されてきた付加的観点は、使用されるツリー構造に対する、ノードの古典的な開閉機能使用法である。本技術の利点をさらに説明するために、付加的な観点を描写しなければならない。ノードを閉じることは、ツリー内部の異なるレベルに選択的に着眼するためには、とても有益である。また選択的に、あるノードが開いた状態にあるか閉じた状態にあるかを指し示す図示的な方法を導入することも可能である。【００５９】  図１５は、あるノードが閉じた状態にある図１のタワー構造を表している。図示されたインターフェイスにあるように、具体的な実現においては、あるノードが閉じた状態にあるのか、または開いた状態にあるのかを示すフラッグが図示されて存在することが分かる。この具体的な場合、フラッグ１５０１はノードが開いた状態にあることを示し、フラッグ１５０２はノードが閉じた状態にあることを示している。これらすべての場合、フラッグの使用とフラッグの種類は、選択的な問題とされる。このことはさらに、技術の状態の内部にも見られる。【００６０】  図１６は、ノードの内の一つが閉じた状態にある垂直構造を表している。この具体的な例では、あるノードが閉じた状態にあるということを示すために、フラッグ１６０１を加える。この例で用いられているフラッグは、閉じた状態にあるセルの下部に位置する二本の横線である。【００６１】  段階的構造では、他の二種類の構造でなされているのとは異なる方法で、ノードが開閉する。図１７は、下部にあるノードの内の一つが閉じた状態にある、段階的構造を表している。図１８は、最終レベルにある全てのノードが閉じた状態にある、同じ構造を表しており、そのことが完全にそのレベルを閉じた状態にさせる原因となっている。これら二つの具体的な例では、あるノードが閉じた状態にある、またはあるレベル全体が閉じた状態にあることを示すために、異なるフラッグが用いられた。一つのノードが閉じた状態にある場合、一つのセルの左側に、太線で書かれた１７０１という垂直線が加えられる。レベル全体が閉じた状態にある場合、記号“＋”１８０１が、閉じているセルより上方にあるセルの左側に加えられる。【００６２】  本技術は、特有のタームを際立たせるためのメカニズムを持ちうる。図１９，２０，２１，２２，２３，２４は、表１１の式を示すツリー構造に対するメカニズムの利用についての様々な例を表している。これらの例が単に例証にすぎず、タームを際立たせるためのほかの方法も利用できることが理解できる。【００６３】  図１９は、どのようにタームを際立たせるのかについての例を表している。タームはツリーのノードで、さらに他のノードの一部分でもある。図２０は、垂直的構造で示された同じ式を表している。図２０は、図１９と同じタームを際立たせている。図２１は、同じタームを目立たせている、図１９と図２０のタームと同じタームを際立たせる方法を表している。【００６４】  段階的構造は、図２２，２３，２４で見られるように、タームやノードを際立たせる付加的な方法を許す。図２２は、異なったレベルの式に、ある種の強調をいかにして行うのかを表している。図２３では、ノードのレベルに対応していない１つのセル内の、何らかのタームを反駁する技術が用いられ、さらに知覚することを容易にさせるため、反駁されたタームが際立たせられている。反駁されたタームは、不連続の太字で際立たせられる。しかし、好ましい実現においては、文字が異なる色になって用いられる。図２４は、図２３と同じ技術を表しているが、図２４の場合は、下部にある２つのノードの上に貼りつけられる。【００６５】  図２５，２６，２７は、複雑な式に対する段階的構造の付加的な例を表している。ノードを際立たせるため，上述した技術が用いられている。【００６６】  本技術は、作用素のほかに関数の使用も許す。図２８は、“サイン”と呼ばれる機能の使用を表している。図２９は、２つの変数の機能を利用するような、方法の一つを表している。図３０は、親ノードが子ノードを一つだけ有している場合に、機能（“コサイン”）を用いる形式を表している。さらに図３０は、異なる機能（この場合“サイン”“コサイン”）を宿らせうるのである。【００６７】  他の選択的観点は、等位分類という特性であり、その日的は計算式にあまり精通していない者に対し、本技術の利用を容易なものにする。この特性は、同じ種類の作用素、または同じ特性を持つ作用素によって、兄弟関係にあるノードをすべて結合状態にさせる。つ
2007535740.tif 000020
2007535740.tif 000021
という式と同じ意味を持つのだと考えられるからである、【００６８】  他の選択付随的側面は、非協同的作用素の逐次配列である。その目的は、専門家でない人々に対し、本技術の使用を簡単なものにすることである。この特徴は、同じ種類のまたは異なる種類の作用素が複数存在するような、式の計算と関係がある。複数の作用素はその場合、同じ種類の特性を有している可能性があるが、協同的な特性には到っていない。例えば、式Ａ／Ｂ／Ｃ／Ｄを図３１に示した。この式は形式的に（（（Ａ／Ｂ）／Ｃ）／Ｄ）と酷似している。しかしこれらのことにあまり精通していない者は、形式的に（Ａ／（Ｂ／（Ｃ／Ｄ）））に相当するのだと誤って考えてしまうかもしれない。この種の誤りを回避するため、非協同的な作用素の逐次配列は、図３２に示されるように、この種の式に丸括弧が明確に印づけられていなければならないと利用者に強要する。【００６９】  いかなる強要も制限も利用者に課すことなく、以上のような誤りを回避する代替的な方法は、言及してきたように誤りを生む可能性がある特徴を持った式に直面したとき、利用者にそのことを知らせることである。【００７０】  以上のように説明してきた選択的側面の他に、本技術はまた、他の異なる選択的機能性をも有している。【００７１】  選択的機能の内の一つが、説明的テクストの機能性である。この機能性により、利用者は各セルの内容を訳し易くなる。この機能性は、各セルに加えられる動詞表現から成り立っており、その動詞表現は計算式と関係している可能性がある。この機能性は、様々に異なった方法で成し遂げられる。図３３は、実現可能な形式を表している。セル３３０１は、左側のセルの内容を持つ動詞的描写を包含する。この機能性は、すべての種類の計算式−それが算術的なものであれ論理的なものであれ、また他の種類のものであれ−に適用することができる。【００７２】  別の選択的な機能性には、部分結果というものがある。図３４に示した。図３４では、この機能性が、それぞれのノードに対する計算式を評価した結果を表している一連の域、３４０１を用いている。図３４のように、計算式がある機能を果たしているとき、その域で示される数値は、計算プロセスのその点において果たされる機能の数値である。式が、一連の検索のために使用される場合、例えば、データバンクや他の周辺機器において、セル内の数値は、記録数値、または各ノードの基準値を満たす実体の数値である。論理的な計算式の場合、異なる計算のプロセスにおいて、特に記録または実体に対しての数値は、式の論理的数値に等しくなる。【００７３】  部分結果に加えられる他の選択的機能性は、増加情報処理である。式の判定に関する動態的な証明に基礎を置いている。つまり、判別されていくに従い、ツリーの異なるノードを連続的に際立たせ、利用者は指揮の数値が判別されるのを観察できる。通常、判別の異なる順序は可能な限り存在する。一般的に、判定は常に最もはめ込まれたレベルから始まり、最もはめ込まれていないレベルにまで下がっていく。図３４では、域３４０２が、可能な順序を示している。下部にあるノードから上部にあるノードにまで進化しているが、他の順序もまた可能である。【００７４】  話を進める���に、最小のタームに関する概念を定義する。式のそれぞれの位置に対して、−エレメントにしろ、丸括弧にしろ、作用素にしろ、関数にしろ、スペースにしろ、または他のものにしろ−この文書では、最小タームと名づけてきた。最小タームは、前述の位置を占め，代わりにその位置にあるようなほかのタームを一切持たないタームを言う。例えば、表１６においては、エレメント“Ｂ１”の最小タームが、“（Ａ＋Ｃ）／Ｄ＋Ｂ１”であり、作用素“＋２”の最小タームは“Ａ＋２Ｃ”である。
【表１６】
2007535740.tif 000022
【００７５】  この意味で、用いられているようなツリー表示に加えることができる、他の選択的機能性を、この文書で最小ターム認証と名づける。利用者が計算式の位置を選択するとき、システムがその位置にある最小タームを選択するからである。例えば、図３５で利用者が位置３５０１を選択するとしよう。そうすればシステムは、その位置にある最小ターム“Ｅ
2007535740.tif 000023
ひくことで際立たせ、図３５のノード３５０２に現れるような、タームと合致するノードを探し、そのノードを選択する。この機能により、利用者は本技術の内部構造をより理解することができる。【００７６】  関連したほかの選択的機能性は、この文書で協同的タームとしているものである。利用者の行動に従い、本技術はある瞬間に選ばれているタームの、親タームを選択する。例えば、図３５の構造に、本機能性を適用すれば、本技術の可能な実現において、図３６の構造になる。この機能によりまた、式の構造を利用者は理解することができる。【００７７】  本技術の導入
望ましい実現は、コンピューター化されたシステムにおいて実現される。特に、他の媒体プログラムの補完として創られる。プログラムは、データバンクや計算用紙、展開の周辺機器、また他のプログラムの管理を行う。【００７８】  望ましい実現においては、異なるファイルを発生させ、図３７に示されるように、ファイルを組みあわせるための異なるコントロールを有しているという利点がある。図３７では、域３７０１は、ツリーを示すグラフ構造を作るのに割り当てられ、域３７０２は、利用されるコントロールに割り当てられ、メニュー３７０３は、適用可能な異なる作用を集める。前述の作用は、コントロールを通じて適用される作用に対応する。【００７９】  情報の機能性は、展開の多用な周辺機器によって実現可能となる。例えばＭｉｃｒｏｓｏｆｔ  Ｖｉｓｕａｌ  Ｂａｓｉｃ▲Ｒ▼がこの例となる。コントロールに関しては、Ｍｉｃｒｏｓｏｆｔ  ＣｏｍｍａｎｄＢｕｔｔｏｎ▲Ｒ▼がこの例で、また、ツリー図示構造のセルは、Ｍｉｃｒｏｓｏｆｔ  ＲｉｃｈＴｅｘｔｂｏｘ▲Ｒ▼のコントロールがその例となる。また、タワー状のツリー構造を創るため、Ｍｉｃｒｏｓｏｆｔ  Ｔｒｅｅｖｉｅｗ▲Ｒ▼のコントロールも使用されうる。【００８０】  望ましい実現において利用者は、パーソナルコンピューターにおいて日常的になされているように、“コントロール”キーや“全角”キーを通じて、様々なツリー構造のセルを同時に選ぶことができる。１つのセルが選択されれば、その縁は太線で強調される。段階的構造の場合、その選択は適用されない。【００８１】  望ましい実現において存在しうるコントロールを、図３８に示した。コントロール３８０１は、どの種類のツリー構造を示すべきかを決定するために用いられる。ある特定の種類のツリー構造が存在するときに、別の種類であるツリー構造のコントロールを選択すれば、その計算式は、新しいツリー構造の形をとって現れる。【００８２】  他の全てのコントロールが、全ての種類のツリー構造に用いられるというわけではない。特定のツリー構造の種類を選択すれば、適切でないコントロールを不活性の状態にしてしまうのである。【００８３】  コントロール３８０２は、新しいセルを創るのに役立つ。新しいコントロールは、いかなる場合にも適応し、新しいセルを一つ創る。そのセルは、域の同じ位置に常に創られる。親コントロール３８０４は、選択された複数のセルの親セルになるような新しいセルを創造する。Ｓｉｓ  Ａｎｔ３８０５．３８０５とＳｉｓ  Ｐｏｓ．３８０６のコントロールは、選択されたセルと兄弟関係にあるようなセルを創り、その子コントロール３８０７は、子セルを創る。【００８４】  フィールド３８０８のコントロールは、データバンクに基づく式が作成された際に、能動的かつ視覚的に現れる。このコントロールは、データバンクのフィールドを包含する。【００８５】  Ｓｅｌ  Ｓｉｓ．３８０９と、Ｓｅｌ  Ｐａｒ３８１０のコントロールは、セルを選択し、それらに特定の特徴を割り当てる。あるセルが兄弟として選ばれ、また別のセルが親として選ばれ、Ｓｉｎｔｅｒｉｎｇ３８１１のコントロールが作用するなら、兄弟として選ばれたセルは、親として選ばれたセルの子セルへと変化す��。【００８６】  コントロール３８１２は、ツリー構造に、都合の良いと考えられている機能ないし作用素を加える。もっとも目にする作用素だけが示されているが、全種類の作用素に対しコンロールを作成することができる。コントロール３８１３は、特に望ましい実現において用いられる機能を指し示す。【００８７】  異なったツリー表示を構築するような形式は、本技術の状態の内にあると考えられる。段階的構造に特有の場合、例えばＭｉｃｒｏｓｏｆｔ  Ｒｉｃｈ  ＴｅｘｔＢｏｘのような、テクストコントロールを用いながら構築することはとても簡単である。テクストコントロールは、それぞれのコントロールが、問題となっている計算式の内容を含むよう、ウインドー内に垂直的に構成される。つづいて、それぞれのコントロール内に、問題となっているはめ込みのレベルに対応しない式の不可視部分が、色をつけた文字になって配置される。【００８８】  画面にツリー構造が収まらない場合にも、利用者に全体像を見せる様々な方法が存在する。図３９は、あまりにも大きい段階的構造を示すための方法を表している。【００８９】  望ましい実現において、異なるツリー構造を達成させる図形式と関係がある、他の具体的な側面も存在するだろうが、描写を複雑化させないため、言及は控える。いかなる場合であれ、情報システムの発展に関する慣習的な実践に関連しており、そのため情報やプログラミングに精通している人物にまで達することができるのだ。【００９０】  他の実現に関する説明
容易に分かるように、ツリーの図示において、根幹ノードや上部に位置するノードから、子ノードや下部に位置するノードまで、決められた方向感覚が存在する。それぞれのツリー構造に対し、構造がある意味で、または反対の意味で発展するということが考えられる。例えば根幹ノードが下部に位置し、ノードが上昇意味で発展するような、垂直構造を組み立てることができるだろう。同じことが、他のツリー構造にも当てはまる。【００９１】  一般的に、描写した特徴や機能性、選択的側面の異なる種類と、これまで示してきたツリー構造の異なる種類とを組みあわせながら、いくらでも構築実現が可能になるだろう。【００９２】  可能な実現においては、タワー構造がＭｉｃｒｏｓｏｆｔ  Ｔｒｅｅ  Ｖｉｅｗのコントロール形式によって組み立てられる。さらにタワー構造が、情報システムＭｉｃｒｏｓｏｆｔ  Ｗｉｎｄｏｗｓ内において慣習的なファイルの形式でアイコンを使用するだろう。【００９３】  別の可能な実現においては、水平構造が存在する。水平構造は、図４０で表されているように、ツリーが水平に発展する。【００９４】  また別の可能な実現においては、線状構造が存在する。線状構造は、図４１で表されているように、線を通じて発展する。図４２と図４３で表されているように、線状構造は異なる方法で異なるタームやノードを際立たせることもできる。【００９５】  さらに別の可能な実現においては、レリーフ構造が存在する。図４４と図４５において、可能な二つの形式で表している。【００９６】  またさらなる別の可能な実現においては、図４６で表されているように、丸括弧を除去しうる段階的構造がある。
図４・図５・図６・図７・図１３・図１４の用語（アルファベット順）
Ａｃｃｏｕｎｔｉｎｇ（会計）
Ｂｉｏｇｒａｐｈｙ（伝記）
Ｂｕｓｉｎｅｓｓ（ビジネス）
Ｅｎｇｌｉｓｈ（英語）
Ｅｓｓａｙ（エッセイ）
Ｆｉｎａｎｃｅ（財政）
Ｆｒｅｎｃｈ（フランス語）
Ｈｉｓｔｏｒｙ（歴史）
Ｌａｎｇｕａｇｅ（言語）
Ｏｒｉｅｎｔａｔｉｏｎ（方向）
Ｒｕｓｓｉａｎ（ロシア語）
Ｓｔｙｌｅ（様式）
Ｔｏｐｉｃ（主題）
Ｙｅａｒ（年）
図３３の用語
Ｔｏｔａｌ  ｒｅｖｅｎｕｅ（総収入）
Ｐｒｉｃｅ  ｐｅｒ  ｆｕｒｎｉｔｕｒｅ  ｉｔｅｍ（１備品あたりの値段）
Ｎｕｍｂｅｒ  ｏｆ  ｆｕｒｎｉｔｕｒｅ  ｉｔｅｍｓ（備品の数量）
Ｔｏｔａｌ  ｐｅｒｉｏｄ（総合段階）
Ｓｔａｒｔ  ｐｅｒｉｏｄ（初期段階）
Ｆｉｎａｌ  ｐｅｒｉｏｄ（最終段階）
Ｆｕｒｎｉｔｕｒｅ  ｐｒｏｄｕｃｔｉｏｎ（調度製品）
Ｔａｂｌｅ  ｐｒｏｄｕｃｔｉｏｎ（テーブル類）
Ｃｈａｉｒ  ｐｒｏｄｕｃｔｉｏｎ（椅子類）
【図１】
2007535740.tif 000025
【図２】
2007535740.tif 000026
【図３】
2007535740.tif 000027
【図４】
2007535740.tif 000028
【図５】
2007535740.tif 000029
【図６】
2007535740.tif 000030
【図７】
2007535740.tif 000031
【図８】
2007535740.tif 000032
【図９】
2007535740.tif 000033
【図１０】
2007535740.tif 000034
【図１１】
2007535740.tif 000035
【図１２】
2007535740.tif 000036
【図１３】
2007535740.tif 000037
【図１４】
2007535740.tif 000038
【図１５】
2007535740.tif 000039
【図１６】
2007535740.tif 000040
【図１７】
2007535740.tif 000041
【図１８】
2007535740.tif 000042
【図１９】
2007535740.tif 000043
【図２０】
2007535740.tif 000044
【図２１】
2007535740.tif 000045
【図２２】
2007535740.tif 000046
【図２３】
2007535740.tif 000047
【図２４】
2007535740.tif 000048
【図２５】
2007535740.tif 000049
【図２６】
2007535740.tif 000050
【図２７】
2007535740.tif 000051
【図２８】
2007535740.tif 000052
【図２９】
2007535740.tif 000053
【図３０】
2007535740.tif 000054
【図３１】
2007535740.tif 000055
【図３２】
2007535740.tif 000056
【図３３】
2007535740.tif 000057
【図３４】
2007535740.tif 000058
【図３５】
2007535740.tif 000059
【図３６】
2007535740.tif 000060
【図３７】
2007535740.tif 000061
【図３８】
2007535740.tif 000062
【図３９】
2007535740.tif 000063
【図４０】
2007535740.tif 000064
【図４１】
2007535740.tif 000065
【図４２】
2007535740.tif 000066
【図４３】
2007535740.tif 000067
【図４４】
2007535740.tif 000068
【図４５】
2007535740.tif 000069
【図４６】
2007535740.tif 000070
【国際調査報告】
2007535740.tif 000071
2007535740.tif 000072
2007535740.tif 000073
2007535740.tif 000074
2007535740.tif 000075
2007535740.tif 000076