(57)【要約】ソフトウェアの開発要件を、主語＝［名詞、属性］で定義し、基本構造（ＳＦ）並びに前記基本構造の関係と成立条件をＰＲＤとしてとらえるステップと、名詞の属性からベクトル（Ｌ４，Ｌ２，Ｌ３，Ｉ２，０４，Ｓ４，Ｒ４，Ｒ２Ｃ，Ｒ２，Ｒ３Ｒ，Ｒ３Ｃ，Ｒ３Ｄ，Ｒ３Ｍ，Ｒ３Ｅ）を決定し、各ベクトルの未定義部分に名詞の情報を埋め込むことにより前記ベクトルを形成するステップと、ベクトルを基本構造ごとに、３つのパレット：（０１）Ｗ０４ｉ＝Φ［｛｛Ｌ４｝＋｛０４｝＋｛Ｓ４｝＋Ｒ４｝ｉ］（０２）Ｗ０２ｉ＝Φ［｛｛Ｌ２｝＋｛Ｉ２｝＋Ｒ２Ｃ＋Ｒ２｝ｉ］（０３）Ｗ０３ｉ＝Φ［｛｛Ｌ３｝＋Ｒ３Ｒ＋Ｒ３Ｃ＋Ｒ３Ｄ＋Ｒ３Ｍ＋Ｒ３Ｅ｝ｉ］に集合させるステップと、パレット連鎖関数を用いて前記パレットをプログラム化するステップと、からなるソフトウェア開発方法。【特許請求の範囲】
【請求項１】
開発対象のソフトウェアに関する要件を、要件をとらえる最小単位である主語＝［名詞，狭義の属性，広義の属性］で定義する第１のステップと、
名詞が属する入力定義体、出力定義体をとらえる構造である基本構造（ＳＦ）、並びに、これら基本構造の関係と成立順序を所定の規則に従って、ＰＲＤ（プロセス・ルート・ダイアグラム）として捉える第２のステップと、
前記第１のステップで定義された名詞の属性から、各名詞に該当する予め規定された１４種類のベクトル（サブルーチン・プログラム）：
Ｌ４、Ｌ２、Ｌ３、Ｉ２、０４、Ｓ４、Ｒ４、Ｒ２Ｃ、Ｒ２、Ｒ３Ｒ、Ｒ３Ｃ、Ｒ３Ｄ、Ｒ３Ｍ、Ｒ３Ｅ
を決定し、各ベクトルの未定義部分に該当する名詞の情報を埋め込み、未定義部分を埋め込むことで前記ベクトルをサブルーチン・プログラムとして形成する第３のステップと、
前記サブルーチン・プログラムとして形成したベクトルを、前記基本構造ごとに、ベクトルの実行を管理するパレット関数を伴う３つのパレット：
（０１）Ｗ０４ｉ＝Φ４［｛｛Ｌ４｝＋｛０４｝＋｛Ｓ４｝＋Ｒ４｝ｉ］
（０２）Ｗ０２ｉ＝Φ２［｛｛Ｌ２｝＋｛Ｉ２｝＋Ｒ２Ｃ＋Ｒ２｝ｉ］
（０３）Ｗ０３ｉ＝Φ３［｛｛Ｌ３｝＋Ｒ３Ｒ＋Ｒ３Ｃ＋Ｒ３Ｄ＋Ｒ３Ｍ＋Ｒ３Ｅ｝ｉ］
に集合させる第４のステップと、
基本構造ごとに集合されたパレットの実行を管理するパレット連鎖関数を用いて前記パレットをプログラム化する第５のステップと
を具備することを特徴とするソフトウェアの生産方法。
【発明の詳細な説明】
【技術分野】
【０００１】  本発明は、業務用ソフトウェアやゲーム用ソフトウェア、その他あらゆる分野のソフトウェアに適用されるソフトウェアの生産方法、処理装置、開発装置、開発支援装置、管理装置、処理方法及び該ソフトウェアが記録される記録媒体に関する。
【背景技術】
【０００２】  どれだけＯＳやパッケージが良く作られても、それだけでは利用者の要求を満たすことができない。ソフトにはユーザーが自前で開発しなければならない論理部分が必ず存在するからである。重要なことはその部分についてソフトの生産技術が適用されなければならないことである。即ち、生産技術とはソフトの短期開発、保守課題からの解放、上流仕様とプログラム仕様を関数的あるいは理論的に連接する方法、プログラムの機能品質を保証する等の効果が発揮されるものでなければならない。【０００３】  従来方法は要件機能を抽出してソフト化する機能分割法であるが、機能分割法からは付加的なロジックが派生することが殆どの場で理解されていない。そして、この思考方法が基本的な欠陥であり、すべてのソフト課題はここから生じていると言っても過言でない。
【非特許文献１】根来  文生著、「要求定義とソース・コードの間の関係構築のための公理法則に関する研究」、知識ベース・システムについての国際会報、エルスビア・サイエンス出版、２００３年秋
【非特許文献２】根来  文生著、「Ｌｙｅｅの仮説的世界」、『ソフトウェア方法論、ツール及び技術における新潮流』予稿集８４巻、アイオーエス出版、ｐ．３−２２、２００２年
【非特許文献３】根来  文生著、「決定論的方法によるソフトウェアの決定のための方法論」、『情報技術及び情報ネットに関する国際会議』予稿集（ＩＣＩＩ２００１）、会議室Ｄ、ｐ．１２４−１２９、２００１年
【非特許文献４】根来  文生著、「ソースコード生成のための意識操作化論」、システミクス、サイバネティクス及びインフォマティクスについての世界多極会議会報予稿集（ＳＣＩ２００１）、ＩＳＢＮ９８０−０７−７５５４−４、第１４巻、コンピュータ科学及びエンジニアリング：第２章、ｐ．４９６−５０３、２００１年
【非特許文献５】アイ・エイ・ハミド、根来  文生著、「２１世紀のソフトウェア実行方法の革新」、『情報技術及び情報ネットに関する国際会議』予稿集（ＩＣＩＩ２００１）、会議室Ｄ、ｐ．４８７−４８９及びｐ．２３５−２４５、２００１年
【非特許文献６】根来  文生他著、「意思工学への提言」、インターネット上の電子的商取引、科学及び教育のための基盤の進歩に関する国際会議予稿集（ＳＳＧＲＲ２００１）、第１４回、ＩＳＢＮ８８−８５２８０−６１−７、ＣＤ−ＲＯＭ、２００１年
【非特許文献７】根来  文生著、「ソフトウェアの意思表現のための述語構造」、ＡＣＩＳソフトウェア工学、人工知能、ネットワーキング及び並行／分散コンピューティングに関する第２回国際会議予稿集（ＳＮＰＤ’０１）、ｐｐ９８５−９９２、２０００年
【非特許文献８】根来  文生著、「Ｌｙｅｅソフトウェアの原理」、データベース及び情報システムの進歩に関する第５回東欧会議予稿集（ＡＤＢＩＳ２００１）、第２巻、個人指導・専門家通信及びレポート、ｐｐ７−１８、２００１年
【非特許文献９】根来  文生著、「Ｌｙｅｅソフトウェアの原理」、２１世紀における情報社会についての国際会議会報（ＩＳ２０００）、ｐｐ４４１−４４６、２０００年
【非特許文献１０】イー・ダブリュ・ダイクストラ他著、「構造化プログラミング」、科学出版社、１９７５年
【非特許文献１１】ジェイ・ディー・ウォーニア、ビー・エム・フラナガン著、「プログラムの同期化」第１巻「プログラム構造」、第２巻「その実践」、オーガニゼーション版、１９７１年、１９７２年
【非特許文献１２】エフ・ハームセン、エス・ブリンクケンパー著、「ＣＡＳＥ環境におけるメソッド・ベース・マネジメント・システムの設計と実践」、第２回ＡＰＳＥＣ会議予稿集、ＩＥＥＥコンピュータ社会出版、１９９５年
【非特許文献１３】エイ・アール・ガルシアディエゴ（ダンタン）著、「バートランド・ラッセルと“パラドックス”集合理論の創設者達」、バーゼル、ビルクホイザ出版、１９９２年
【非特許文献１４】ピー・フラスコラ著、「ヴィットゲンシュタインの数学哲学」、ロンドン、１９９４年
【非特許文献１５】アール・エイチ・エム・エルヴェス訳、「理解の改良について」、「倫理」ラテン原語からの（１８８３年）翻訳文、ニューヨーク、ドーヴァ出版、１９５１年、ＩＳＢＮ０４８６  ２０２５０  Ｘ
【発明の開示】
【発明が解決しようとする課題】
【０００４】  上述したように、従来方法は要件機能を抽出してソフト化する機能分割法であるが、機能分割法からは付加的なロジックが派生することが殆どの場で理解されていない。そして、この思考方法が基本的な欠陥であり、すべてのソフト課題はここから生じていると言っても過言でない。この問題を基本的に改善するにはこの思考方法に替わる新しい概念、即ち、要件事象を一義化する理論が必要である。【０００５】  本発明者は、かかる理論を案出し、これをＬｙｅｅ（ＧＯＶＥＲＮＭＥＮＴＡＬ  ＭＥＴＨＯＤＯＬＯＧＹ  ｆｏｒ  ＳＯＦＴＷＡＲＥ  ＰＲＯＶＩＤＥＮＣＥ）と命名した。本理論は意味論についての新たな取り扱い方の基準を与えるものである。【０００６】  ソフトの生産保守性の非効率性及び開発期間の不安定性はソフト構築の手段をソフトの特質を無視する機械機能的なパッケージ化に向かわせている。このパッケージ自体もまた一義性がない点で非正解型である。結果的に利用者の利用環境は次第に信頼性、可用性、適用性（ＲＡＳ）機能の局面で悪化の一途をたどっている。この時期必要なことは生産の為の基盤整備である。【０００７】  この分野においては、生産技術の問題に手をつけずにいながら、即ち、プログラムの単位的な処理機能を品質的に管理する方法を持たず、上流だけで良質のソフトが決定できると主張するのである。異常と言わねばならない所以である。ソフトの生産方法は上流下流に分けて行われるような性質のものではなく、理論的に捉える所から始めなければならない。Ｌｙｅｅ理論は正にこれを満たすものである。【０００８】  即ち、本発明の目的は以下の目的を達成するソフトウェアの生産方法、処理装置、開発装置、開発支援装置、管理装置、処理方法及び該ソフトウェアが記録される記録媒体を提供することである。
（１）ソフト開発者及び保守者の生産能力を向上させること。
（２）上流情報と下流情報とを理論的に連接させること。
（３）単に業務ソフトの開発に限らず、ＯＳ、ミドルソフト、ゲームソフト等幅広いソフト分野の開発に適用できるプログラム構造を提供すること。
（４）上流情報を最小化しソースプログラムを生成すること。
【課題を解決するための手段】
【０００９】  かかる課題を解決するために本発明は、開発対象のソフトウェアに関する要件を、要件をとらえる最小単位である主語＝［名詞，狭義の属性，広義の属性］で定義する第１のステップと、名詞が属する入力定義体、出力定義体をとらえる構造である基本構造（ＳＦ）、並びに、これら基本構造の関係と成立順序を所定の規則に従って、ＰＲＤ（プロセス・ルート・ダイアグラム）として捉える第２のステップと、前記第１のステップで定義された名詞の属性から、各名詞に該当する予め規定された１４種類のベクトル（サブルーチン・プログラム）：
Ｌ４、Ｌ２、Ｌ３、Ｉ２、０４、Ｓ４、Ｒ４、Ｒ２Ｃ、Ｒ２、Ｒ３Ｒ、Ｒ３Ｃ、Ｒ３Ｄ、Ｒ３Ｍ、Ｒ３Ｅ
を決定し、各ベクトルの未定義部分に該当する名詞の情報を埋め込み、未定義部分を埋め込むことで前記ベクトルをサブルーチン・プログラムとして形成する第３のステップと、前記サブルーチン・プログラムとして形成したベクトルを、前記基本構造ごとに、ベクトルの実行を管理するパレット関数を伴う３つのパレット：
（０１）Ｗ０４ｉ＝Φ４［｛｛Ｌ４｝＋｛０４｝＋｛Ｓ４｝＋Ｒ４｝ｉ］
（０２）Ｗ０２ｉ＝Φ２［｛｛Ｌ２｝＋｛Ｉ２｝＋Ｒ２Ｃ＋Ｒ２｝ｉ］
（０３）Ｗ０３ｉ＝Φ３［｛｛Ｌ３｝＋Ｒ３Ｒ＋Ｒ３Ｃ＋Ｒ３Ｄ＋Ｒ３Ｍ＋Ｒ３Ｅ｝ｉ］
に集合させる第４のステップと、基本構造ごとに集合されたパレットの実行を管理するパレット連鎖関数を用いて前記パレットをプログラム化する第５のステップとを具備することを最も主要な特徴とする。【００１０】  本発明の異なる実施体としての「開発対象のソフトウェア」を生産するためのプログラム（ソフトウェア）、プログラム生成装置、プログラム処理装置、ツール（装置として或いはソフトウェアとしての双方を含む）、ソフトウェア開発装置、ソフトウェア開発支援装置、ソフトウェア開発管理装置は、開発対象のソフトウェアに関する要件を、要件をとらえる最小単位である主語＝［名詞，狭義の属性，広義の属性］での定義に係る名詞が属する入力定義体、出力定義体をとらえる構造である基本構造（ＳＦ）、並びに、これら基本構造の関係と成立順序を所定の規則に従って、ＰＲＤ（プロセス・ルート・ダイアグラム）として捉えるＰＲＤ手段（或いはＰＲＤ部）と、前記定義された名詞の属性から、各名詞に該当する予め規定された１４種類のベクトル（サブルーチン・プログラム）：
Ｌ４、Ｌ２、Ｌ３、Ｉ２、０４、Ｓ４、Ｒ４、Ｒ２Ｃ、Ｒ２、Ｒ３Ｒ、Ｒ３Ｃ、Ｒ３Ｄ、Ｒ３Ｍ、Ｒ３Ｅ
を決定し、各ベクトルの未定義部分に該当する名詞の情報を埋め込み、未定義部分を埋め込むことで前記ベクトルをサブルーチン・プログラムとして形成するベクトル形成手段（或いはベクトル形成部）と、前記サブルーチン・プログラムとして形成したベクトルを、前記基本構造ごとに、ベクトルの実行を管理するパレット関数を伴う３つのパレット：
（０１）Ｗ０４ｉ＝Φ４［｛｛Ｌ４｝＋｛０４｝＋｛Ｓ４｝＋Ｒ４｝ｉ］
（０２）Ｗ０２ｉ＝Φ２［｛｛Ｌ２｝＋｛Ｉ２｝＋Ｒ２Ｃ＋Ｒ２｝ｉ］
（０３）Ｗ０３ｉ＝Φ３［｛｛Ｌ３｝＋Ｒ３Ｒ＋Ｒ３Ｃ＋Ｒ３Ｄ＋Ｒ３Ｍ＋Ｒ３Ｅ｝ｉ］
に集合させるパレット手段（或いはパレット部）と、基本構造ごとに集合されたパレットの実行を管理するパレット連鎖関数を用いて前記パレットをプログラム化するパレット連鎖関数手段（或いはパレット連鎖関数部）とを具備するように構成することもできる。【００１１】  本発明はさらに、上述の「開発対象のソフトウェアを生産する方法」によって生産されたソフトウェア、及び当該ソフトウェアが搭載された記録媒体或いは当該ソフトウェアが搭載された装置（ハードウェア）としても実現されるが、この場合の本発明は、予め規定された１４種類のベクトル（サブルーチン・プログラム）：
Ｌ４、Ｌ２、Ｌ３、Ｉ２、０４、Ｓ４、Ｒ４、Ｒ２Ｃ、Ｒ２、Ｒ３Ｒ、Ｒ３Ｃ、Ｒ３Ｄ、Ｒ３Ｍ、Ｒ３Ｅ
が、ベクトルの実行を管理するパレット関数を伴う３つのパレット
（０１）Ｗ０４ｉ＝Φ４［｛｛Ｌ４｝＋｛０４｝＋｛Ｓ４｝＋Ｒ４｝ｉ］
（０２）Ｗ０２ｉ＝Φ２［｛｛Ｌ２｝＋｛Ｉ２｝＋Ｒ２Ｃ＋Ｒ２｝ｉ］
（０３）Ｗ０３ｉ＝Φ３［｛｛Ｌ３｝＋Ｒ３Ｒ＋Ｒ３Ｃ＋Ｒ３Ｄ＋Ｒ３Ｍ＋Ｒ３Ｅ｝ｉ］
に集合（パレット化）されて得られる全体に、基本構造ごとに集合されたパレットの実行を管理するパレット連鎖関数が配置される構造を有するように構成することもできる。【００１２】  ここで、「ＰＲＤ（プロセス・ルート・ダイアグラム）手段」とは、名詞が属する入力定義体、出力定義体をとらえる構造である基本構造（ＳＦ）、並びに、これら基本構造の関係と成立順序を所定の規則に従って、ＰＲＤ（プロセス・ルート・ダイアグラム）として捉えるための機能を有する専用チップ・専用回路等の「ＰＲＤ部」として、または当該機能をコンピュータに果たさせるためのソフトウェア（ツールとしてのソフトウェアも含む）、或いは該ソフトウェアを記録した記録媒体、当該記録媒体を搭載した処理装置・管理装置・ツールとして実現することが可能であり、本願発明はこれらの実施形態総てを網羅するものである。【００１３】  「ベクトル形成手段」とは、定義された名詞の属性から、各名詞に該当する予め規定された１４種類のベクトル（サブルーチン・プログラム）：
Ｌ４、Ｌ２、Ｌ３、Ｉ２、０４、Ｓ４、Ｒ４、Ｒ２Ｃ、Ｒ２、Ｒ３Ｒ、Ｒ３Ｃ、Ｒ３Ｄ、Ｒ３Ｍ、Ｒ３Ｅ
を決定し、各ベクトルの未定義部分に該当する名詞の情報を埋め込み、未定義部分を埋め込むことで前記ベクトルをサブルーチン・プログラムとして形成するするための機能を有する専用チップ・専用回路等の「ベクトル形成部」として、または当該機能をコンピュータに果たさせるためのソフトウェア（ツールとしてのソフトウェアも含む）、或いは該ソフトウェアを記録した記録媒体、当該記録媒体を搭載した処理装置・管理装置・ツールとして実現することが可能であり、本願発明はこれらの実施形態総てを網羅するものである。【００１４】  「パレット手段」とは、サブルーチン・プログラムとして形成したベクトルを、該基本構造ごとに、ベクトルの実行を管理するパレット関数を伴う３つのパレット：
（０１）Ｗ０４ｉ＝Φ４［｛｛Ｌ４｝＋｛０４｝＋｛Ｓ４｝＋Ｒ４｝ｉ］
（０２）Ｗ０２ｉ＝Φ２［｛｛Ｌ２｝＋｛Ｉ２｝＋Ｒ２Ｃ＋Ｒ２｝ｉ］
（０３）Ｗ０３ｉ＝Φ３［｛｛Ｌ３｝＋Ｒ３Ｒ＋Ｒ３Ｃ＋Ｒ３Ｄ＋Ｒ３Ｍ＋Ｒ３Ｅ｝ｉ］
に集合させるための機能を有する専用チップ・専用回路等の「パレット部」として、または当該機能をコンピュータに果たさせるためのソフトウェア（ツールとしてのソフトウェアも含む）、或いは該ソフトウェアを記録した記録媒体、当該記録媒体を搭載した処理装置・管理装置・ツールとして実現することが可能であり、本願発明はこれらの実施形態総てを網羅するものである。【００１５】  「パレット連鎖関数手段」とは、基本構造ごとに集合されたパレットの実行を管理するパレット連鎖関数を用いてパレットをプログラム化するための機能を有する専用チップ・専用回路等の「パレット連鎖関数部」として、または当該機能をコンピュータに果たさせるためのソフトウェア（ツールとしてのソフトウェアも含む）、或いは該ソフトウェアを記録した記録媒体、当該記録媒体を搭載した処理装置・管理装置・ツールとして実現することが可能であり、本願発明はこれらの実施形態総てを網羅するものである。【００１６】  またさらに本発明は、上述の「開発対象のソフトウェアを生産する方法」によってソフトウェアを生産するために用いられるソフトウェアコードの雛型としてのソフトウェア、及び当該ソフトウェアが搭載された記録媒体或いは当該ソフトウェアが搭載された装置（ハードウェア）としても実現されるが、この場合のうちの１４種類のベクトル（サブルーチン・プログラム）いずれかとしての本発明は、
Ｌ４（論理要素）：未来の自己を表す名詞に真偽値を決定する為の機能を有する；
Ｌ２（論理要素）：子孫を有しない自己を表す名詞に真偽値を定義する為の機能を有する；
Ｌ３（論理要素）：過去の自己を表す名詞に真偽値を決定する為の機能を有する；
Ｉ２（入力作用要素）：上記Ｌ２の成立を支援する為の機能を有する；
０４（出力作用要素）：上記Ｌ４の結果を宣言する為の機能を有する；
Ｓ４（同期作用要素）：ベクトルの領域を用いてＳＦの周期性を整備する為の機能を有する；
Ｒ４（経路作用要素）：Ｗ０４とＷ０２に順序性を与える為の機能を有する；
Ｒ２Ｃ（経路作用要素）：Ｗ０２と隣下位のＷ０４に順序性を与える為の機能を有する；
Ｒ２（経路作用要素）：Ｗ０２とＷ０３に順序性を与える為の機能を有する；
Ｒ３Ｒ（経路作用要素）：Ｗ０３とＷ０４に順序性を与える為の機能を有する；
Ｒ３Ｃ（経路作用要素）：Ｗ０３と隣下位のＷ０４に順序性を与える為の機能を有する；
Ｒ３Ｄ（経路作用要素）：Ｗ０３と隣上位のＷ０３に順序性を与える為の機能を有する；
Ｒ３Ｍ（経路作用要素）：Ｗ０３と隣々上位のＷ０４に順序性を与える為の機能を有する；
Ｒ３Ｅ（経路作用要素）：ＳＦの作用を終了させる為の機能を有する；
のいずれかであることを特徴とする。【００１７】  また、上記「開発対象のソフトウェアを生産する方法」によってソフトウェアを生産するために用いられるソフトウェアコードの雛型としてのソフトウェア、及び当該ソフトウェアが搭載された記録媒体或いは当該ソフトウェアが搭載された装置（ハードウェア）としても実現される場合のうちのベクトルの実行管理を行うパレット関数（サブルーチン・プログラム）としての本発明は、
（０１）Ｗ０４ｉ＝Φ４［｛｛Ｌ４｝＋｛０４｝＋｛Ｓ４｝＋Ｒ４｝ｉ］
（０２）Ｗ０２ｉ＝Φ２［｛｛Ｌ２｝＋｛Ｉ２｝＋Ｒ２Ｃ＋Ｒ２｝ｉ］
（０３）Ｗ０３ｉ＝Φ３［｛｛Ｌ３｝＋Ｒ３Ｒ＋Ｒ３Ｃ＋Ｒ３Ｄ＋Ｒ３Ｍ＋Ｒ３Ｅ｝ｉ］
のいずれかの集合化と其の網羅とを行うΦ４、Φ２、Φ３のいずれかの機能を構造として具備することを特徴とする。【００１８】  上記「開発対象のソフトウェアを生産する方法」によってソフトウェアを生産するために用いられるソフトウェアコードの雛型としてのソフトウェア、及び当該ソフトウェアが搭載された記録媒体或いは当該ソフトウェアが搭載された装置（ハードウェア）としても実現される場合のうちのパレット関数の実行管理を行うパレット連鎖関数（プログラム）としての本発明は、３種のパレット：
（０１）Ｗ０４ｉ＝Φ４［｛｛Ｌ４｝＋｛０４｝＋｛Ｓ４｝＋Ｒ４｝ｉ］
（０２）Ｗ０２ｉ＝Φ２［｛｛Ｌ２｝＋｛Ｉ２｝＋Ｒ２Ｃ＋Ｒ２｝ｉ］
（０３）Ｗ０３ｉ＝Φ３［｛｛Ｌ３｝＋Ｒ３Ｒ＋Ｒ３Ｃ＋Ｒ３Ｄ＋Ｒ３Ｍ＋Ｒ３Ｅ｝ｉ］
で構成されるＳＦに対して、
ＳＦｉ＝Φ０［Ｗ０４＋Ｗ０２＋Ｗ０３］ｉ
で規定されるΦ０の構造を具備することを特徴とする。【００１９】  さらに、本発明は、上述の「開発対象のソフトウェアを生産する方法」による、要件から抽出した情報（ドキュメント（紙、データ））たる名詞情報、入出力定義体情報、ＰＲＤ情報のいずれかの情報の抽出方法として、またかかる抽出方法によって抽出された情報（ドキュメント（紙、データ））として、さらには当該抽出された情報の使用方法として、或いは、これらの情報が搭載された情報記録媒体として、または情報の抽出方法／使用方法がコード化されたソフトウェア、当該ソフトウェアが搭載された記録媒体／装置（ハードウェア）として、いずれも実現することができるが、この場合の本発明は、要件から抽出すべき情報として、
名詞情報：名詞＝［名称，識別子，所定の２２種のいずれかに分類される名詞種別］により定義されるべき情報；
入出力定義体情報：入力定義体、出力定義体、並びにそれらに属する名詞の関係に関する情報；
ＰＲＤ情報：所定の規則によってＳＦを順序づける情報
を備えることを特徴とする。【００２０】  本発明における思考モデルは電算機上で定義される。【００２１】  換言すれば，この思考モデルは電算機上で定義可能となるように定義される。
結果から言えば，この思考モデルを定義する仕方は電算機のソフトを開発する場合の思考法を反映する。其して，本論で述べている様に，其の定義の仕方には公式と見なせる普遍性が成立する。【００２２】  これは本研究の成果である。【００２３】  この普遍性の証明は，結果的に添付されているベクトルの定義規則（資料１），ＴＭＰ（資料２）で与えられる。【００２４】  其処には例外のない規則が論述されているだけである。
本研究では，思考は自己に成立する意識の作用として定義される。其して，この作用をモデル化する為に本研究では存在論をモデル化する。其れは存在，意図，自己，意識をモデル化する事である。
本研究では，思考は存在論の部分を成す作用であると考える。其の為，存在論の全体をモデル化する必要がある。そうでなければ，論理的に妥当な思考モデルを定義する事が出来ないからである。本研究が長期にわたる時間を要した理由はこの為である。
本研究の存在に関する思想性は基本概念（第２章２．３），存在の概念（第２章２．４．１）で明示されている。其して，本研究では其れらを裏付ける為に集合論の概念を用いて，モデル化が行われる。
本研究では，存在は連鎖として定義される。其して，連鎖の要素は論理原子である。論理原子は概念であり，その概念は本研究で仮説されている。其して，論理原子は本研究で仮説される時間速度から導かれる。
本研究では，存在は集合の概念を用いてモデル化される。この為に，時間速度，並びに論理原子は重要な位置を占める。【００２５】  時間速度は，限定的で無次元の有理数である。其して，本研究では存在が空間を占める概念であると考える事から，論理原子は空間を表す有理数として位置付けられる。
本研究では，意識は自己に内在する連鎖である。【００２６】  其して，本研究は，思考を以下の様に定義する。即ち，意識に内在する連鎖が自己を介して開放される様相が思考の作用である。
本研究では，思考の作用を脈絡と定義する。脈絡に属す全ての連鎖が言表出来れば，其の全言表の集合は其の思考の限界を越える作用を成立させる事になる。これが，本研究で行われる存在論に関する論考の結論である。
本研究では，叙述と言表の用法を区別している。叙述は存在の定義を意味し，言表は存在が存在する事の証明を意味する。叙述は時間的に過去の存在を定義する事が出来る。【００２７】  しかし，言表は時間的に未来の存在しか証明する事が出来ない。
脈絡に属す連鎖の成立を証明する為には，其の連鎖の過去と未来の連鎖の言表が成立する事が必要である。何とならば，自分で自分を証明する事は出来ないからである。其れ故，今の連鎖の過去の連鎖が未来の連鎖と同じ位置付けになる様に，脈絡の構造は修正される。其れがＥＮＷである。其して，言表の構造がＰＳである。ＥＮＷの全体を言表する構造がＴＤＭである。思考モデルの仮説を電算機を用いて実証する基本構造がＳＦである。其して，其れを一般的に実証する構造がＰＲＤである。ＥＮＷの全体を言表する構造は，ＴＤＭから与えられる二つの制御プログラム（Φ０，ΦＰ）である。これらプログラムには，普遍性が成立する。
ＰＳはＳＦ，ＰＲＤにおいては要件を捉える最小単位に変わる。其れがベクトルである。ベクトルの定義の仕方は普遍的な規則になる。其れをプログラム言語で言表したものがＴＭＰである。【００２８】  即ち，電算機上で実証される思考モデルは二つの普遍的な制御プログラム，ベクトルで定義する事が出来る。其して，其の思考モデルは要件を満たす役割を電算機上で果たす。【００２９】  其の働きが妥当であるならば，本研究における仮説もまた，妥当性であると考えられる。
本方法で定義されるプログラム（ＳＦ，またはＰＲＤ）は，ＳＦの定義から其れを実装する工学的環境，即ち，入出力作用要素を除き，定義される。其れは，従来の方法によりプログラムが成立する位置と異なるものである。其れを図２１に示す。【００３０】  これは，本方法論によるプログラムの役割が従来のプログラムの役割と必ずしも同じでない事を意味する。本方法論によるプログラムは，要件を捉えるプログラムとして位置付けられる。従来のプログラムは，要件をプログラムで再定義する役割として位置付けられる。即ち，従来のプログラムは要件に矛盾がない事を前提に定義される事になる。其の為に，事前に要件の妥当性を検証しておく必要がある。【００３１】  其れに対し，本方法論によるプログラムは，従来のプログラムと同じ様に電算機上で可動可能であるが，要件の矛盾を発見する仕組になっている。付言すれば，本方法論のプログラムのソースライン数は従来のプログラムのソースライン数に較べ概算７倍〜１０倍となるが，其の役割の中には従来のプログラムが担っていない要件の矛盾を発見する仕組も含まれているのである。
本研究では，意味とは同期状態において新たな存在が定義される作用の事だと定義する。
其して，其の作用は意識の世界で成立すると考える。
本研究では，この作用をモデル化する。付言すれば，このモデルが本研究で言うソフトを定義する為の役割を果たす。
【発明の効果】
【００３２】  本研究の成果は，この思想に基づいて論考された結果である。例えば，要件の曖昧さを回避して要件を定義するベクトルは，われわれの思考法を成立させる最小単位の発見に匹敵する概念である。この事によって，以下の問題を克服する原動力に成ると思われる。
（０１）われわれの思考法に生じる曖昧さの問題
（０２）論理の中に潜む恣意的な問題
（０３）言表不可能な事態に対処する問題
其れは，本研究の成果を用いて既に開発されているシステムを考察すれば，其の事を予感する事が出来る。正常な評価は，現在の状況では成し難いと思われるが，本研究の成果である概念を認識すれば，其の効果も容易に認識する事が出来る筈である。
本研究の成果であるＰＲＤを考察すれば，われわれの論理的史観の深層に位置する性質を捉えている事が分かる。この性質は，論理的史観を前提とする立場で捉える事は困難であるかもしれない。しかし，既存のプログラムから普遍的なアルゴリズムでＰＲＤを捉える事が出来る。この場合のこのアルゴリズムは，本研究の成果から得られるものである。即ち，本研究の成果は，既存のソフトの世界とは無縁ではなく，深層において繋がっている。この事は，本研究の成果が既存のソフトの世界の課題を克服する為に用いる事が出来る事を示している。
以上の本研究の成果は，ベクトルの定義規則が種別化された主語（要件に属す名詞）により決まり，其の定義規則に従えば，最小クラスの機能が求められる。其して，主語の種別数，ベクトルの定義規則の数，其れによって決まる最小クラスの機能の種別は，全て既定値となる事によるものである。
付言すれば，要件を捉える為のわれわれの思考法に改善を齎す。例えば，要件に関する関係者の認識から曖昧さを除く事が出来るので，能率的に要件に関する合意を作り出すことが出来る。ソフトの世界に最小クラスの概念を導入する事は，要件を捉える為のわれわれの思考の単位となり得るだけでなく，プログラムを定義する１命令文までを公共化する効果を獲得する事が出来る。
【発明を実施するための最良の形態】
【００３３】題目：ソフトウェア構築の摂理に関する統一理論の研究
Ｒｅｓｅａｒｃｈ  ｏｎ  Ｍｅｔｈｏｄｏｌｏｇｉｃａｌ  Ｕｎｉｖｅｒｓａｌ  Ｆｒａｍｅｗｏｒｋ  ｆｏｒ  Ｓｏｆｔｗａｒｅ  Ｄｅｖｅｌｏｐｍｅｎｔ
要旨
本研究の狙点は，ソフトをプログラム言語で述定する為に開発要件をアルゴリズム化する公式を求める事である。
例えば，われわれが言葉を発する直前迄，発する言葉を記憶する事が出来ないにも拘らず，われわれは言葉を無意識的に紡いで文章にしている。
本研究では，これと同じ原理でプログラムが述定出来ないだろうかとして論考される。
この為に，本研究では「存在」「意図」「意識」に関する論考を形而上学的に行う。其して，其の結果，ソフトは「意識を成立させる外延的な存在を内包する作用」として定義される。【００３４】  其して，この定義から誘導される新たな定義により，プログラムを定義する公式が求められる。
本論文はこの研究に関する報告である。
Ｋｅｙｗｏｒｄｓ：
仮想存在，仮想空間（ＴＤＭ），自己なる存在の構造，意識を表す存在，存在の証明，言表の構造，仮想空間の実装構造，要件を捉える公式。
本研究を始める動機は，ソフトに対するわれわれの考え方の不自然さに対する疑問である。其れ故，本研究の前半は其の動機の精神性を現象的に検証する事に費やされ，プログラムの分析，開発への参画，開発工程の分析，論文調査，プロダクトの分析等が行われた。後半は，其の不自然さの原因を克服する思考方法を求める事であった。
目次
［本発明の思想的背景］
第１章  序論
１．１  思考の曖昧
１．２  思考の限界
１．３  本研究の狙点
第２章  仮想存在
２．１  仮想存在の連糸
２．２  言表
２．３  基本概念
２．４  存在の構造
２．４．１  存在の概念
２．４．２  連鎖の概念
２．５  不可知空間
２．６  ＩＤＳ
２．７  連鎖
２．７．１  意識連鎖
２．７．２  確立連鎖
２．７．３  事象連鎖
２．７．４  多重連鎖
２．７．５  群化多重連鎖
２．７．６  自然連鎖
２．７．７  群化自然連鎖
２．７．８  仮想存在の属性に関する仮想の為の思想
２．８  自己なる存在のモデル
２．８．１  臨界連鎖
２．８．２  特異連鎖
２．８．３  意図のモデル
２．８．４  意識のモデル
２．９  思考モデル
２．９．１  脈絡の定義
２．９．２  客体化
２．９．３  陳述
２．９．４  同化
２．９．５  記憶  ３４
第３章  仮想空間（ＴＤＭ）
３．１  存在の位置
３．２  言表の仕組
３．３  言表の構造
３．４  脈絡構造の再定義
３．５  存在の証明
３．６  ＴＤＭの定義
［本発明の内容］
第４章  仮想空間の実装構造（ＳＦ）
４．１  要件
４．２  主語
４．３  ベクトルの原型
４．４  ベクトルの集合
４．５  ベクトルの定義規則
４．６  パレット関数
４．７  パレット連鎖関数
４．８  パレット
４．９  ＳＦ
第５章  要件を捉える公式（ＰＲＤ）
５．１  ＰＲＤの構造
５．２  ＳＦの結合規則
５．３  端点と始点の関係
５．４  入力定義体と出力定義体の相補関係
５．５  ＳＦの縮約規則
５．６  ベクトルの座標
５．７  テンプレート（ＴＭＰ）の意義
５．８  適応化の幾つかの工夫  ５
５．９  本方法論の総括
第６章  結論
本論文で用いる図・表・参考資料一覧
図１  ：ＩＤＳ
図２  ：論理原子の空間速度
図３  ：占有速度
図４  ：空の連鎖
図５  ：単元の連鎖
図６  ：連糸
図７  ：臨界連鎖
図８  特異連鎖
図９  ：意図
図１０：意識
図１１：自己なる存在のモデル
図１２：脈絡のモデル
図１３：存在の証明
図１４：未来の自己の言表構造（ＰＳ４）
図１５：過去でも未来でもない自己の言表構造（ＰＳ２）
図１６：過去の自己の言表構造（ＰＳ３）
図１７：未来の自己が存在しない自己の言表構造（ＰＳ２−１）
図１８：ＥＮＷのモデル
図１９：ＴＤＭのモデル
図２０：要件の捉え方
図２１：プログラムの位置付け
図２２：ベクトルの標準形
図２３：ＳＦ（基本構造）
図２４：ＰＲＤ
図２５：パレット連鎖関数の標準形
図２６：パレット連鎖関数の標準形
図２７：パレット関数の標準形
表１  ：名詞種別と主語種別（ベクトル種別）の関係
表２  ：名詞の種別
表３  ：名詞の狭義の属性
表４  ：ベクトルの原型
表５  ：Ｓ４ベクトルの主語の種別
表６  ：ベクトルの原型と領域の関係
表７  ：名詞の広義の属性
表８  ：経路制御情報テーブル
表９  ：開発実績一覧表
資料１：ベクトルの定義規則
資料２：テンプレート（プログラム言語がＶＢの例）
［本発明の思想的背景］
第１章  序論
ここでは，本研究の目的を得る為に強い影響を受ける２つの問題，思考の曖昧さと思考の限界の問題が整理される。其して，本研究の目的が明らかにされる。
１．１  思考の曖昧
われわれの言表行為は，言表不可能な意識を反映している。【００３５】  しかし，言表行為にも限界がある。其の意味で，われわれの言表行為は意識を十分に反映しているとは考え難い。
ヴィトゲンシュタインは，言葉の意味を其の言葉の使われ方として捉えている（参考文献１４参照）。本研究では，言葉の意味をヴィトゲンシュタインの立場では論じない。【００３６】  其の代わり，われわれが用い得る言葉の数の概念を論じる。其して，其の言葉の数は時間と共に増加すると考える。【００３７】  本研究では，この限界の問題を次の様に解釈する。即ち，われわれが今使える言葉の数をｎ個とすれば，われわれは其の数を越えて言表を行う事が出来ない。
他方，われわれの言表行為は時間の流れの中で逐次的に行われるので，其の行為は外延的に成立する。即ち，われわれの言表行為はｎ個の言葉を用いて未来の事態を定義する関係になっている。
しかし，本研究では，未来では言葉の数は経時的に増加し，われわれが言表した時点では其の言葉の数は既にｎ個よりも大きくなっていると考える。【００３８】  例えば，其の時点での言葉の数をｍ個とすれば，われわれは，本来，ｍ個の言葉で定義されるべき事態をｎ個の言葉で言表している事になる。【００３９】  この言葉の数の違いが，言表に内在する曖昧さとしてわれわれに啓示されると考えられる。何となく釈然としない事態が自己に引き起こされている事である。【００４０】  しかし，この様な性質の問題をわれわれの言表で克服する事は不可能である。
われわれの言表行為は，上述の様に外延的に成立している。換言すれば，未来に向かって成立している。其れ故に，過去の事態を言表する事は不可能である。【００４１】  譬え，今朝の出来事でさえ，其れを言表する瞬間に其の出来事は未来の事態として述定されてしまう事になる。
また，われわれは，経験から未来を予測する事が不得手な事はわかっている。しかし，われわれの言表は未来を予測する事に似ている。しかし，どの程度の未来の述定であるかは不明である。【００４２】  其れは，言表出来ないからである。【００４３】  其処で，本研究では，言表はほんの一瞬の未来を述定するのだと考える。【００４４】  其して，われわれの言表では未来とは言えないほどのほんの一瞬の未来が述定されているのだと考える。其の限りにおいても，われわれの言表には曖昧さが生じていると推論する。
例えば，通常，厳密性があると思われるプログラムのロジックにも曖昧さが内在する事を拙著の論文［Ａｍｂｉｇｕｉｔｙ  ｈｉｄｄｅｎ  ｉｎ  ｔｒａｄｉｔｉｏｎａｌ  ｐｒｏｇｒａｍｓ  ａｎｄ  ｍｅａｎｉｎｇ  ｏｆ  Ｖｅｃｔｏｒｓ  ｏｆ  ＬＹＥＥ″（ｐｐ．２００−２１３）ＮＥＷ  ＴＲＥＮＤＳ  ＩＮ  ＳＯＦＴＷＡＲＥ  ＭＥＴＨＯＤＯＬＧＩＥＳ，ＴＯＯＬ  ＡＮＤ  ＴＥＣＨＮＩＱＵＥＳ（Ｖｏｌｕｍｍｅ９８），″″Ｅｄｉｔｅｄ  ｂｙ  Ｈａｍｉｄ  Ｆｕｊｉｔａ  ａｎｄ  Ｐａｕｌ  Ｊｏｈａｎｎｅｓｓｏｎ  ，ＩＯＳ  Ｐｒｅｓｓ］で明らかにしている。″
本項の主張を裏付けるものとして提示する。
１．２  思考の限界
本研究では，われわれが行う言表は思考作用の結果として位置付けられる。其して，其れらは新たな存在を定義する為に行われる作用であると推論する。其の作用の源は意識であると推論する。【００４５】  即ち，言表は意識を反映する作用として成立する。この前提に立てば，われわれが行う言表は意識を十分に反映しているかどうか，と言う疑問がある。【００４６】  われわれの言表がどの程度，意識を反映しているかは自己も含めて誰も分からないからである。
本章１．１で述べる様に，言表の為に其の時点で用いられる言葉の数ｍ個を認識する事が出来ないからである。要約すれば，われわれは恒常的にいつも言葉不足の中に置かれている。【００４７】  換言すれば，われわれの思考は新たな事態を創造する為に行われるのではなく，既に成立している存在から既に成立している存在を述定する為に行われている様に思われる。【００４８】  創造される存在は，われわれの思考とは別のところで定義されているに違いない。これが，本研究の基底に置かれる思想である。
１．３  本研究の狙点
われわれが言表不能な事態に遭遇すれば，其れがわれわれの思考の限界である。【００４９】  例えば，言葉の発報者は発報前の事態，並びに発報する言葉を認識する事は出来る。しかし，其の言葉を発報する直前の事態は認識出来ない。この事は，認識可能な事態と発報直前の事態が異なる成立の仕方をするからだと考えられる。
本研究の目的は，発報直前の認識不可能な事態をモデル化する事にある。其れは，本章１．１の言葉の数の変化の仕組をモデル化する事と同じになると想定される。【００５０】  其して，其の仕組のモデルは，意識を表す存在と其れを反映する存在の関係を論じなければならない事は明らかである。其の事が，本章２．２の思考に内在する問題を克服する手立てを其の仕組のモデルに取り入れる論拠を与えるであろうと推測されるからである。
この為に，本研究では存在を仮想（図１）し，其れを基に上述の仕組のモデルを定義する為に以下の仕組を論考する。即ち，
（０１）思考を成立させる自己なる存在の仕組
（０２）上記（０１）の仕組を基に思考の限界を克服する仕組
（０３）上記（０１）（０２）の意義を実証する為の仕組
結果的に，上記（０１）は図１１に，上記（０２）は図１９に，上記（０３）は図２３，２４に帰結する。それぞれの図の説明は，それぞれの章で行われる。
ソフトは，言葉を基に電算機を用いて新たな言葉を利用者に成立させる事態として定義する事が出来る。（因に，言葉の意味は人に宿り電算機には宿らない）
本ソフトの定義は，上記（０２）の思考の限界を克服する仕組（図１９）でソフトが定義出来る事を意味する。【００５１】  この場合，この仕組で定義されるソフトは，要件が成立する限界の事態を要件として成立するものである。其れ故，本ソフトはこれ迄のソフトとは認識上の位置が異なる。【００５２】  因に，図２１参照。【００５３】  本ソフトを従来のソフトと同じ役割を果たさせる為には，認識上の位置を従来のソフトの位置に移動させる必要がある。本ソフトは，其の作用を電算機で行わせる。
この事から，上記（０２）の仕組は本ソフトの定義が容易に行える様に，また，電算機の役割が能率的に果たせるようにする為に，上記（０３）のモデル（図２３，２４）に書き換えられる。
結果的に，上記（０３）の仕組は要件を定義する公式に帰着する。この公式の意味は，数学で言う公式の概念と同義である。
本ソフトと従来のソフトを定義作業の能率性の観点から比較すれば，其れは，上記（０１）（０２）の論考の意義，並びに仮想の妥当性が検証出来る事になる。即ち，本ソフトの定義作業が従来のソフトの定義作業に較べ，能率性の改善性が認められれば，其れは本研究の仮想に妥当性があると考えられるからである。
上記（０３）の仕組を用いて，これ迄に開発され，稼動しているソフトを表９で示す。【００５４】  この中には，開発終了の後，周辺関係者の思惑や風聞に晒され，従来のソフトに置き換えられたと報告されているものが１件ある。
これら開発事例を用いて，本研究の意義を科学的に評価する事は可能である。【００５５】  しかし，其れはまだ行われていないので，今後の課題である。
第２章  仮想存在
本研究では，自己なる存在が仮想される。其の為に，様々な仮説が行われる。【００５６】  本章では，其の仮説を述べる。
２．１  仮想存在の連糸
自己なる存在は過程を得て成立する。其の過程を，本研究では存在の連糸（以下，連糸）と記す。連糸は，段階的に定義される存在により段階的に作り上げられる。
本研究では，どの段階に於いても，其の段階を成立させる為の存在を定義する作用が確率的に中断させられる事である。これは，本研究で仮説されるもののひとつであるが，其の中でも基本を成す概念である。其れは，われわれの世界における全ての存在が時間的に移り行く様相を見せる事を，本研究のモデルの上にどのように表すかと言う論点から設定されている。連糸を作る段階で，中断させられる事態が生じれば，其れまでの連糸は破棄され，最初の段階から改めて作り直される。
連糸は，其れを成立させる為の存在の定義の仕方により，経緯，群化，脈絡の段階に分けられる。換言すれば，存在は，経緯，群化，脈絡により定義の仕方が異なる。
経緯では，自己なる存在を導く元になる存在が定義される。【００５７】  群化では，其の元になる存在から自己なる存在に至る存在が定義される。この過程で，自己なる存在が定義される。【００５８】  其して，脈絡では，自己なる存在に統治される存在が新たに自己なる存在として定義される。本研究では，この事を意識を表す存在が新たな存在を解き放すと言う言い方をする。
経緯の段階では，連糸の１本を紡ぐ存在が成立する。其の存在を本研究では確立連鎖，事象連鎖と記す。其して，この段階の最終局面では，其の１本の連糸を徹底的に解す為の存在が定義される。この存在を本研究では多重連鎖と記す。連鎖の詳細は，本章２．７で述べる。同時に，其の最終段階では其れらを統治する作用が生じる。この作用を，本研究では群化と記す。群化の詳細は，本章２．７の２．７．５と２．７．７に述べる。
群化により，解される存在（多重連鎖）を統治する存在が成立し，中には其れら存在を限界まで統治する存在が成立する。この存在を，本研究では特異連鎖と記す。特異連鎖は，自己なる存在を成立させる候補である。
自己なる存在を図１１でモデルとして表す。詳細は，本章２．８で述べる。
記述の様に，脈絡として自己なる存在が定義されれば，其の存在は直ちに自己を介して統治している存在を新たな自己なる存在として解き放つ。【００５９】  脈絡の過程で中断が生じなければ，脈絡の停止条件に遭遇する迄，其の作用は継続される。【００６０】  脈絡の停止条件に遭遇すれば，連糸を定義する最初の段階である経緯の初めに戻る。【００６１】  図６は，連糸の構造を示す。本図では自己なる存在は省略されている。また，図中の意識λ集合の列，認識λ集合の列，開示，連想の概念は，本章２．７で述べる。
２．２  言表
本研究では，存在は主語と属性で定義される。これを叙述と記す。この叙述は，其の存在が成立している事を証明するものではない。本研究では，存在が存在している事の証明は，言表によるものとする。其の言表の構造を，ＰＳと総称する。即ち，ＰＳの叙述が成立すれば，其の事が言表となり，其の言表により其の存在の成立が証明される。【００６２】  ＰＳについては，第３章３．２と３．３で述べる。其れに関係する図は、図１４，１５，１６，１７参照。
存在Ａと其の叙述ａをＡ（ａ），存在Ａを統治する存在Ｂと其の叙述ｂをＢ（ｂ）とする。この場合，存在Ａ（ａ）は解き放される存在，存在Ｂ（ｂ）は存在Ａ（ａ）を統治する意識を表わす存在とする。解放される存在の詳細は，本章２．９の２．９．１で述べる。
其して，存在Ｂを統治する存在Ｃと其の叙述ｃをＣ（ｃ）とする。この存在Ｃ（ｃ）は，本研究では自己なる存在を代表する存在である。この存在の詳細は，本章２．８で述べる。【００６３】  この場合，本研究のモデルではＡがＢとＣを介して解き放される。解き放される構造を，言表と記す。其して，存在Ａ，Ｂ，Ｃの間には，以下の関係が成立する。【００６４】  即ち，Ｃ（ｃ）⊃Ｂ（ｂ）⊃Ａ（ａ）である。
解き放される存在には，上記の関係Ｃ（ｃ）⊃Ｂ（ｂ）⊃Ａ（ａ）の基で以下の（０１）〜（０４）の関係が成立する。即ち，
（０１）Ｃ’（ｃ’）⊃Ｂ’（ｂ’）⊃Ａ’（ｃ’⊃ｂ’⊃ａ’）
（０２）Ｃ（ｃ）→Ｃ’（ｃ’）
（０３）Ｂ（ｂ）→Ｂ’（ｂ’）
（０４）Ａ（ａ）→Ａ’（ｃ’⊃ｂ’⊃ａ’）
本来的に存在の連糸を構成する存在の叙述は外延的である。其れは，叙述ａ，ｂ，ｃの間に大小の関係がないと言う意味である。【００６５】  しかし，解き放される存在Ａの叙述ａ’には，上記（０４）の関係により，大小関係が成立してしまう。【００６６】  即ち，ａ’がｂ’，ｃ’に内包化されてしまう事である。この関係の元で叙述されるａ’が，本研究で言うＡ’の言表である。【００６７】  本研究では，言表が成立する存在を物質的存在と記す。其して，叙述に留まる存在を非物質的存在と記す。
２．３  基本概念
仮想存在（以下，存在）を定義する為の基本概念を以下に示す。
（０１）存在は，固有の空間である。
（０２）其の空間には，其の空間の定義と其の空間が成立する仕組が叙述されている。
（０３）空間の定義は，其の存在の性質を示す。
（０４）空間が成立する仕組の定義は，其の存在の役割を示す。
（０５）同じ役割の存在は，同じクラスを作る。
（０６）存在が成立する仕組には，終局がある。
（０７）空間の定義の叙述が失われる事がある。
（０８）空間が成立する仕組の定義の叙述が失われる事がある。
（０９）存在の叙述が失われる事がある。
本研究では，存在は主語と補語で定義される文章に例える事が出来る。其して，既に成立している文章で，其れらのどちらかが失われれば，其の文章は成立しなくなる。本研究では，これを存在の叙述が失われると言う。【００６８】  本研究では，存在は連鎖として定義される。其れ故，この事態は既に成立している連鎖において生じる事になる。連鎖については，本章２．７で述べられる。
２．４  存在の構造
本研究では原理的な空間が仮想される。其の空間を空間速度と記す。其れを成立させる要因を論理原子と記す。論理原子は，本章２．６で述べる。仮想される存在はこの論理原子を用いて定義される。仮想される存在を連鎖と記す。連鎖は，本章２．７で述べる。本節では，通常の存在の概念と連鎖の対応関係を示す。
２．４．１  存在の概念
スピノザの思想は，例えば，人が想像力によって理解出来ない事態は形而上学的な仕方でのみ理解されるべきであると言うものである（非特許文献１５参照）。其の為にスピノザは，存在を論考するに際し形而上学的な仮説を公理として定め，存在の理解を果たそうとしている。本研究は，思考の限界をモデル化する立場から，スピノザが論考しようとする立脚点と同じ立場に立つとしている。
上述の１．３の基本概念は，存在についての仮説であり，其れをモデル化する為の概念，即ち，本研究では公理となる概念がここで示される。
（０１）存在は，属性と其れを基に決まる実体とで構成される。
（０２）属性は，存在の役割を示す。
（０３）存在の役割は，既に約束されている。
（０４）実体は，存在を代表する。
（０５）実体が成立しなければ，其の属性は無役となる。
（０６）存在は，属性が実体を介して属性の性質を叙述する。
（０７）実体と属性が成立するクラスは異なる。
（０８）属性を決定する規則により実体のクラスが定義される。
２．４．２  連鎖の概念
本研究では，仮想される存在を連鎖と記す。連鎖は，本章２．４．１の存在の概念を基に定義される。即ち，
（０１）属性は論理原子の集合である。
（０２）実体は論理原子の集合を属性に変える１個の論理原子の事である。論理原子が表す空間を空間速度，論理原子の集合が表す空間速度を占有速度と記す。占有速度の概念を図３で示す。
（０３）実体は，論理原子の集合の占有速度に近似する空間速度を有す論理原子が選ばれる。
（０４）論理原子の集合が実体を選ぶ其の選び方には，占有速度の外側から選ぶ道筋と内側から選ぶ道筋がある。
０１．前者の場合，実体は其の集合に属す以外の論理原子から選ばれる。この場合，其の属性は自己が部分である事を実体を介して叙述する。この属性と実体の関係を単元と記す。
０２．後者の場合，実体は其の集合に属す論理原子の中から選ばれる。この場合，其の属性は自分が全体である事を実体を介して叙述する。この属性と実体の関係を空と記す。
２．５  不可知空間
本研究では，根源的な要素と其の集合が仮説される。其の要素を時間速度（Ｖｉ），其の集合を不可知空間と記す。不可知空間に同じ時間速度は属さないものとする。
本節では，不可知空間に属す時間速度を元に成立する概念について述べる。不可知空間と時間速度は，論理原子を成立させる為の前段の役割を果たす。
（０１）時間速度の値は其の値の活力となる。
０１．時間速度の値は＋値である。
（０２）不可知空間の部分集合は成立しない。
０２．不可知空間の活力は不可知空間に属す時間速度の総和である。即ち，Σ１φＶｉで表す。
０３．Σ１φＶｉは定数である。
０４．Σ１φＶｉは分割される事はない。
０５．Φは不可知空間に属す時間速度の総数で定数である。
０６．Σ１φＶｉは時間速度の最大値よりも大きい。
０７．Σ１φＶｉは時間速度ではない。
０８．Σ１φＶｉの逆数（２ε）は定数である。
０９．２εの逆数は不可知空間の空間の大きさを表す。
１０．２εは最小の時間速度を表す。
１１．２εは不可知空間に属す時間速度の順序列の共通差分を表す。
１２．値εは定数でゼロを代理する。
１３．値εの逆数（１／ε）は定数で最大の自然数である。
１４．Φと１／εは一致する。この自然数を臨界自然数と記す。
１５．Σ１φＶｉは臨界自然数よりも小さい。
１６．２εの倍数の逆数は時間速度になる。
（０３）時間速度とは上記０１〜１６を条件として満たす値の事である。
（０４）時間速度は果断なく逐次無作為に選ばれ，複写されて対となる。【００６９】  この作用の為の活力は，不可知空間の活力で賄われる。
（０５）複写される時間速度の片方は直ちに不可知空間の補集合領域に移る。【００７０】  この作用は，移る時間速度の活力を用いて行われる。
本研究は，序論で述べた様に，思考の曖昧さや思考の限界の影響を受ける課題である。換言すれば，本研究は，無限性の問題を議論せざるを得ない立場に立たさている。其の為に，不可知空間に属す限定的な有理数となる時間速度の値Σ１φＶｉは，カントールの連続体仮説，或いは，ラッセルの逆説に触れる事になる（非特許文献１３参照）。この問題を回避する為に，本研究では，上記（０２）０５，１２が定義される。この定義の妥当性については，本稿ではこれ以上触れない。
２．６  ＩＤＳ
ＩＤＳとは，不可知空間の補集合領域に属す時間速度を要素とする集合である。図１にこの概念を示す。
本研究では，自己なる存在が成立すれば，其処に属す意識を表す存在が作り出す存在の脈絡を思考として定義する。其して，本研究で言う言表は，脈絡を成す存在により成立する。しかし，其の源となる意識を表す存在に，言表を成立させる事は出来ない。【００７１】  言表を成立させる事が出来ない意識を表す存在が，本研究で言う思考の限界を示す存在である。
本研究の目的は，この意識を表す存在を言表する仕組のモデルを定義する事に帰着する。この目的の為に，存在が仮想される。其して，其の仮想される存在を連鎖と記す。其の連鎖を定義する為には，更に其の前段を成す仮説が必要になる。ＩＤＳは，其の仮説を述定する為のモデルの事である。【００７２】  図１に記される用語は，定義される仮説上の概念の称呼である。其の詳細は適宜本論文中で述べられる。
ＩＤＳは，不可知空間に倣い同じ値の時間速度を其の要素とする事が出来ない。即ち，不可知空間から到来する時間速度が重複する事になれば，其の場合，別のＩＤＳが作られる。其れ故，ＩＤＳは唯ひとつとは限らない。本研究では１個のＩＤＳが論考される。
ＩＤＳの論考から連鎖を成立させる前段の概念が定義される。論理原子も其の概念のひとつである。本節では，ＩＤＳに成立する概念を以下に示す。
（０１）境界時間速度：ＶＢ
ＩＤＳに属す時間速度の個数は，不可知空間で行われる時間速度の複写により，逐次，増加する。其の個数が３個を越えれば，其の都度，時間速度の値の順序列が定義し直される。其の順序列の時間速度を大なる方から数えて，中点に位置する時間速度は其の時点でＩＤＳに属す時間速度を代表する。この時間速度を境界時間速度と記す。
（０２）時間速度（Ｖｉ）の位置活力：｜Ｖｉ−ＶＢ｜
ＩＤＳに属す時間速度は，この概念で相対化される。
（０３）境界原子の位置活力：ε
本研究では，全てが存在として位置付けられる。例えば，数学的ゼロも存在と認められない。其の為に，数学的ゼロはεに置き換えられる。
（０４）論理原子の空間速度：１／｜Ｖｉ−ＶＢ｜
空間速度とは体積的空間の広がりの事である。其の尺度が空間速度と呼ぶ値である。空間速度と同じ値の時間速度がＩＤＳに存在する場合に限り，空間速度は成立する。
（０５）境界時間速度の空間速度：１／ε
この値は定数で，且つ最大の値になる。其れ故，この値の空間速度は，最大の空間速度になる。この事から，境界原子の空間速度はＩＤＳ其れ自体を代表する空間速度となる。境界時間速度が入れ替わっても，この空間速度は定数となる。
（０６）論理原子
時間速度，位置活力，空間速度の３種の値で定義される概念である。境界時間速度を含め，其れよりも大きい時間速度を有する論理原子を意識原子，境界時間速度より小さい時間速度を有する論理原子を認識原子と記す。【００７３】  特に，境界時間速度の論理原子を区別する必要があれば，境界原子と記す。【００７４】  図２に論理原子の空間速度を示す。論理原子とは，連鎖を叙述する為に用いられる要素である。
（０７）存在線
不可知空間と論理原子が着座するＩＤＳで成立する座標の集合が存在線である。論理原子になり得ない時間速度は，存在線に着座する事が出来ない。其れら時間速度は単にＩＤＳに浮遊する。
新たな時間速度が不可知空間から到来すれば，境界原子が定義し直される。其の為に，存在線に着座している論理原子は，時間速度に戻りＩＤＳに浮遊する。【００７５】  其れは存在線の消滅を意味し，同時に着座していた不可知空間は，其のＩＤＳから去る。其の後，境界原子，並びに論理原子の再定義が行われる。其して，存在線が成立すれば，不可知空間は再来して着座する。【００７６】  新たな時間速度が不可知空間から到来する都度，存在線の消滅と再定義が繰り返し行われる。
（０８）不可知空間の座標
存在線が成立すると，不可知空間は境界原子の時間速度の値を座標として存在線に着座する。
（０９）境界原子の座標
不可知空間は，境界原子の時間速度を座標として存在線に着座する。境界原子は，自己の時間速度の値εが加えられた値を座標として存在線に着座する。
（１０）論理原子の座標
意識原子の存在線における座標は，境界原子の座標を共用する。しかし，意識原子の空間速度の値は変わらない。認識原子は，それぞれの時間速度を存在線の座標として着座する。
（１１）回帰と転位
境界原子の再定義が行われる事により，其れ迄の境界原子が認識原子に，或いは其れ迄の認識原子が境界原子に入れ替わる事がある。前者を転位，後者を回帰と記す。【００７７】  この概念が連鎖（存在）が解体される条件になる。詳細は連鎖の所で述べる。
（１２）論理原子の複写回数
存在線に属す論理原子は，連鎖の実体となる場合に複写される。【００７８】  不可知空間で複写される片方の時間速度が，其処に止まる事が出来ない為に其の補集合領域（ＩＤＳ）に移されるように，存在線に属す論理原子が連鎖の実体となる場合，其の論理原子は複写される。其の複写される論理原子は，ＩＤＳに止まる事が出来ない。其の為，其の論理原子は其の活力を用いてＩＤＳの補集合領域に移る。【００７９】  この場合の複写回数には上限があり，其れを超えて複写される事はない。【００８０】  因に，不可知空間に属す時間速度の複写回数には制限がない。
本研究では，複写回数の上限の値を次の様に想定する。即ち，ＩＤＳは，新たな論理原子が到来すると，其の都度，其の新たな論理原子を含め，全ての論理原子に対し複写回数の上限の値を付与する。其の値は，ＩＤＳに属す全ての論理原子の到来順位を逆に振り替えたものである。
認識原子で定義される連鎖には，６種族（確立連鎖，事象連鎖，多重連鎖，群化多重連鎖，自然連鎖，群化自然連鎖）がある。其して，同じ種族の連鎖の中には，実体が重複する物がある。この理由により，認識原子には複写回数の上限を越える事態が生じる場合がある。他方，意識原子で定義される連鎖には実体が重複する事がないので，意識原子には複写回数の上限を超える事態は生じない。連鎖に関する詳細は，本章２．７で述べる。
２．７  連鎖
連鎖は，属性が実体を介して行う属性の叙述の事である。【００８１】  其れは，論理原子を用いて定義される仮想存在の事である。連鎖の属性とは，論理原子の集合である。この集合は存在線上で定義される。
実体として選ばれる論理原子は複写される。其して，ＩＤＳの補集合領域に移る。この補集合領域を，（０１）意識空間，（０２）確立空間，（０３）事象空間，（０４）多重空間，（０５）自然空間と記す。【００８２】  本章２．６（０１２）で触れた６種族の連鎖の実体は，この空間の要素になっている。
これら空間は，境界原子の空間速度の外側（補集合領域）に成立する。其して，意識空間は瞬きの様に成立と消滅を繰り返しながら次第に膨張する。意識空間については、本章２．７．１で述べる。【００８３】  存在の属性は存在線上で成立し，実体は上記の空間で成立する。即ち，実体と属性は，異なる２つのクラスにより成立している。
既に述べている様に，連鎖の成立の段階には，経緯，群化，脈絡がある。以下に各段階で定義される連鎖を概観する。
（０１）経緯で定義される連鎖
経緯で定義される連鎖には，以下のものがある。
０１．意識連鎖
０２．確立連鎖
０３．事象連鎖
０４．多重連鎖
実体が其の属性に属す論理原子の中から選ばれる場合，其の実体と属性の相補関係を，本研究では，空と記す。空の関係で定義される連鎖が意識連鎖である。図４参照。【００８４】  空で定義される意識連鎖の属性は，其の属性が全体の性質を有する存在である事を示す。実体が其の属性外の論理原子から選ばれる場合，其の実体と属性の相補関係を，本研究では，単元と記す。単元の関係で成立する連鎖を認識連鎖と総称する。図５参照。【００８５】  確立連鎖，事象連鎖，多重連鎖は認識連鎖である。【００８６】  単元で定義される認識連鎖の属性は自己が部分の性質を有する存在である事を示す。
（０２）群化で定義される連鎖
群化で定義される連鎖には，以下のものがある。
０１．群化多重連鎖
０２．自然連鎖
０３．群化自然連鎖
これらの連鎖も認識連鎖である。【００８７】  また，自己なる存在を成立させる候補の連鎖は，群化の終局に定義される群化自然連鎖のひとつで，特異連鎖（図８）と記される。【００８８】  特異連鎖は，本章２．８の２．８．２で述べる。
（０３）脈絡で定義される連鎖
脈絡の段階では，意識を表わす群化自然連鎖に統治されている群化自然連鎖は，意識を表わす群化自然連鎖，並びに意図を成立させる特異連鎖の実体を介して解き放される。【００８９】  意図を成立させる構図は図９参照。【００９０】  解き放される群化自然連鎖は，解き放される事により，其の性質を変える。本研究では，性質を変えた其の群化自然連鎖を物質的存在と記す。其して，物質的存在が言表を成立させる。解き放される群化自然連鎖は，群化の過程を通じて統治される群化自然連鎖である。其れ故，解き放される群化自然連鎖は，群化の過程に係る群化自然連鎖が其の逆の過程を経て再定義し直されるものである。
解き放される存在（群化自然連鎖）は，意識を表わす存在を脈絡の始まりの核として，次々と存在を解き放す。其して，其れら存在もまた，核となり，次々と存在を解き放す。  其して，解き放される存在が群化の始まりである多重連鎖に遭遇すれば，其の存在は次の存在を解き放す核となる事が出来ない。脈絡をモデル化して表し，其れをＥＮＷと記す。ＥＮＷは，第３章３．４で述べる。
本研究では，解き放される存在が言表可能な存在であるとし，其れらを用いて言表不可能な意識を表す存在を捉える仕組を定義する為の論考が行われる。
２．７．１  意識連鎖
意識連鎖は定義の機会に至れば，中断されない限り成立する限りの意識連鎖が定義される。意識連鎖の役割は確立連鎖から事象連鎖を成立させる触媒的役割，並びに意識連鎖の特別な形態である臨界連鎖は意図を成立させる役割を担う事である。【００９１】  しかし，意識連鎖は連鎖の連糸に加わらない。
（０１）意識連鎖の属性
存在線が成立すると，３個以上で且つ重複しない奇数個の意識原子を要素として，これが成立する限り集合が定義される。【００９２】  但し，集合間の意識原子の重複は認められる。これを意識λ集合と記す。【００９３】  其の全意識λ集合の組み合わせの任意のひとつが，意識λ集合に順位を与える順列となる。其れを意識λ集合列と記す。【００９４】  意識λ集合列に属す意識λ集合が意識連鎖の属性候補となる。【００９５】  意識λ集合，意識λ集合列を決める過程で中断が起きれば，論理原子の定義を成立させる段階に戻る。中断が起きなければ，意識連鎖の属性候補の実体を選ぶ作用に進む。
（０２）意識連鎖の実体
意識連鎖の実体は其の属性に属す意識原子である。【００９６】  意識連鎖の属性候補（意識λ集合）に属し，属性候補の占有速度に可能な限り小側で近似する空間速度を有する意識原子が，意識連鎖の実体として選ばれる。実体が成立すれば其の属性候補はこの意識連鎖の属性となる。其の結果，意識連鎖が成立する。選ばれるべき意識原子が既に別の意識連鎖の実体として選ばれていれば，次善の意識原子が選ばれる。【００９７】  実体を選ぶ事が出来なければ，其の属性候補を属性とする意識連鎖は成立しない。其の場合，意識λ集合列の順番に従い次の属性候補の実体を選ぶ。この作用は意識λ集合列の最後に並ぶ属性候補迄進められる。【００９８】  この過程で中断が起きれば，論理原子を成立させる段階に戻る。【００９９】  中断が起きなければ，確立連鎖の実体を選ぶ作用に進む。
（０３）意識空間
意識連鎖が成立すれば，其の実体はＩＤＳの補集合領域に移り集合を作る。この集合を意識空間と記す。意識空間は全体を要素とする集合である。【０１００】  回帰により，意識連鎖の実体となる意識原子が認識原子に変われば，其の実体は消滅する。この場合，意識連鎖は無条件に一斉に解体される。即ち，意識空間は消滅する。【０１０１】  転位の場合も同様の事態になる。
２．７．２  確立連鎖
確立連鎖は単元で定義される。図５参照。【０１０２】  確立連鎖は定義の機会に至れば，１個の確立連鎖が定義される。確立連鎖の役割は連鎖の連糸の始まりを表し，且つ意識空間に事象連鎖を成立させる為の開示を行う。
（０１）確立連鎖の属性
存在線が成立すると３個以上で且つ重複しない奇数個の認識原子を要素とする成立する限りの集合が定義される。【０１０３】  但し，集合間の認識原子の重複は認められる。これを認識λ集合と記す。其の全認識λ集合の重複順列の任意のひとつが，認識λ集合に順位を与える順列となる。其れを認識λ集合列と記す。認識λ集合列に属す先頭の認識λ集合が確立連鎖の属性候補となる。【０１０４】  認識λ集合，認識λ集合列を決める過程で中断が起きれば，論理原子の定義を成立させる段階に戻る。中断が起きなければ，確立連鎖の属性候補の実体を選ぶ作用に進む。
（０２）確立連鎖の実体
確立連鎖の実体は其の属性以外の認識原子である。即ち，単元を成す。【０１０５】  確立連鎖の実体は，属性候補の占有速度に可能な限り大側で近似する空間速度を有する認識原子が，其の属性候補以外の認識原子から選ばれる。実体が成立すれば其の属性候補はこの確立連鎖の属性となる。【０１０６】  其の結果，確立連鎖が成立する。【０１０７】  選ばれるべき認識原子が既に他の確立連鎖の実体，或いは事象連鎖の実体として選ばれていたり，複写回数が限界に達していれば，次善の認識原子が選ばれる。【０１０８】  実体を選ぶ事が出来なければ，其の属性候補を属性とする確立連鎖は成立しない。其の場合は，論理原子を成立させる段階に戻り，新たな時間速度の到来を待つ。【０１０９】  この過程で中断が起きれば，論理原子を成立させる段階に戻る。【０１１０】  実体が選ばれ且つ中断が起きなければ，事象連鎖を定義する段階に進む。
（０３）確立空間
確立連鎖が成立すれば，其の実体はＩＤＳの補集合領域に移り集合を作る。この集合を確立空間と記す。実体は都度蓄積される。【０１１１】  確立空間に同じ認識原子が重複して属す事は出来ない。また，事象空間に属す認識原子とも重複する事は出来ない。【０１１２】  回帰により，確立連鎖の実体である認識原子が意識原子に変われば，其の実体は消滅する。この場合，属性に属す認識原子が上記の影響を受ければ，其の属性は解体される。其の事により其の属性の実体も消滅する。【０１１３】  転位の場合も同様の事態になる。但し，確立空間は意識空間の様に一斉に消滅する事はない。
２．７．３  事象連鎖
事象連鎖は開示される確立連鎖に対応して，１個定義される。其の役割は確立連鎖に続く連鎖の連糸を成し，且つ，多重連鎖の定義を成立させる前段の役割を担う。図５参照。
無作為的に定義される確立連鎖は，意識空間により正式化される。其の事態が事象連鎖である。
（０１）事象連鎖の属性
確立連鎖の定義が成立すれば，其の実体の空間速度よりも可能な限り大側で近似する空間速度を有する意識原子の実体が其れに応じる。【０１１４】  この関係を成立させる確立連鎖の作用を，開示と記す。【０１１５】  意識空間は，其の意識連鎖の属性に属す意識原子の個数と同数であり，且つ其の意識連鎖の実体の空間速度よりも可能な限り大側で近似する占有速度を有する認識λ集合を，其の確立連鎖を成立させた認識λ集合列の中から選ぶ。【０１１６】  この関係を成立させる意識空間の作用を，連想と記す。【０１１７】  連想の条件を満たす認識λ集合は，１個とは限らない。其の場合は，意識空間は認識λ集合列の順位の低い方の認識λ集合を優先して選ぶ。
（０２）事象連鎖の実体
事象連鎖の実体は其の属性以外の認識原子である。即ち，単元を成す。【０１１８】  実体の決定方法は確立連鎖の場合とほぼ同じである。【０１１９】  事象連鎖の実体は属性候補の占有速度に可能な限り大側で近似する空間速度を有する認識原子が，其の属性候補以外の認識原子から選ばれる。実体が成立すれば其の属性候補はこの事象連鎖の属性となる。【０１２０】  其の結果，事象連鎖が成立する。【０１２１】  選ばれるべき認識原子が既に確立連鎖の実体，或いは他の事象連鎖の実体として選ばれていたり，複写回数が限界に達していれば，次善の認識原子が選ばれる。【０１２２】  実体を選ぶ事が出来なければ，其の属性候補を属性とする事象連鎖は成立しない。其の場合は，論理原子を成立させる段階に戻り，新たな時間速度の到来を待つ。この過程で中断が起きれば，論理原子を成立させる段階に戻る。【０１２３】  実体が選ばれ且つ中断が起きなければ，多重連鎖を定義する段階に進む。
（０３）事象空間
事象連鎖が成立すれば，其の実体はＩＤＳの補集合領域に移り集合を作る。この集合を事象空間と記す。実体は都度蓄積される。【０１２４】  事象空間の成立方法は確立空間の場合とほぼ同じである。【０１２５】  事象空間には同じ認識原子が重複して属す事は出来ない。また，事象空間に属す認識原子とも重複する事は出来ない。【０１２６】  回帰により，事象連鎖の実体である認識原子が意識原子に変われば，其の実体は消滅する。この場合，属性に属す認識原子が上記の影響を受ければ，其の属性は解体される。其の事により其の属性の実体も消滅する。【０１２７】  転位の場合も同様の事態になる。但し，事象空間は意識空間の様に一斉に消滅する事はない。
２．７．４  多重連鎖
多重連鎖は，事象連鎖が定義されれば其れに引き続き定義される。多重連鎖は事象連鎖を解す連鎖となり，且つ，群化多重連鎖の定義を成立させる前段の役割を担う。
（０１）多重連鎖の属性
事象連鎖の定義が成立すれば，其の属性が解されて多重連鎖の属性の候補となる。即ち，事象連鎖の属性に属す認識原子の個数をαとすれば，解される多重連鎖の属性候補の個数は（αα−１）個で表される。
（０２）多重連鎖の実体
多重連鎖の実体は，基になる事象連鎖の実体である。実体は確立連鎖の実体，事象連鎖の実体，多重連鎖の実体と重複して，複写回数の限界迄選ぶ事が出来る。【０１２８】  （αα−１）個の属性候補の実体が其の途中で複写回数の限界に達すれば，其れ以降の属性候補は無役となる。実体は属性候補の占有速度が大なる方から割り当てられる。【０１２９】  （αα−１）個の属性候補の全てに実体が割り当てられなければ，其の属性候補を属性とする多重連鎖は成立しない。其の場合は，論理原子を成立させる段階に戻り，新たな時間速度の到来を待つ。【０１３０】  この過程で中断が起きれば，論理原子を成立させる段階に戻る。【０１３１】  実体が選ばれ且つ中断が起きなければ，群化多重連鎖を定義する段階に進む。【０１３２】  多重連鎖の実体は其の属性外の認識原子である事に於いて単元である。他方，占有速度と実体の空間時間の大小関係は，全ての多重連鎖が単元の概念で律されているわけではない。
（０３）多重空間
多重連鎖が成立すれば，其の実体はＩＤＳの補集合領域に移り集合を作る。この集合を多重空間と記す。実体は都度蓄積される。【０１３３】  多重空間には同じ認識原子が重複して属す。また，確立空間，事象空間，に属す認識原子とも重複する事が出来る。【０１３４】  回帰により，事象連鎖の実体である認識原子が意識原子に変われば，其の実体は消滅する。この場合，属性に属す認識原子が上記の影響を受ければ，其の属性は解体される。其の事により其の属性の実体も消滅する。【０１３５】  転位の場合も同様の事態になる。但し，多重空間は意識空間の様に一斉に消滅する事はない。
２．７．５  群化多重連鎖
多重連鎖は，其の全てが単元で律されているわけではない。これは，連鎖を定義する律性の秩序が失なわれている事である。【０１３６】  この事態を改善する為に，多重連鎖並びに群化多重連鎖を群化する作用が生じる。其の作用を多重群化と記す。其して，この作用で連鎖の連糸を群化として，更に進める新たな連鎖が定義される。其の連鎖が群化多重連鎖である。
結果的に，群化多重連鎖は全て単元で律される事になる。しかし，この連鎖の属性に属す認識原子の個数が偶数個になる場合がある。この事は多重群化律で明らかになる。其の場合の連鎖は，自然連鎖となる。多重群化の作用のモデルを以下に示す。
（０１）多重群化の骨組
０１．この作用が開始される時点で多重空間に存在する実体の全連鎖，即ち，多重連鎖，並びに群化多重連鎖を要素として組合せを作り，其の任意のひとつを多重連鎖順序列とする。
［１，２，３，・…］
０２．多重連鎖順序列を基に成立する限りの連鎖の対が，以下の様に作られる。この連鎖の対を多重群化対，其の順序列を多重群化対の順序列と記す。
［（１，２），（１，３），（１，４）・…，（２，３），（２，４），（２，５）・…，（３，４），・…］
０３．多重群化対（Ｘ，Ｙ）で，Ｘの実体の空間速度がＹの実体の空間速度よりも大となれば，この関係を多重群化の主従対と記す。
０４．この主従対が成立すれば，Ｘを主，Ｙを従とする多重群化律が実行される。この主従対が成立しなければ其の多重群化対は無役となり，次の主従対に多重群化律が進められる。
０５．多重群化律は，主従対の成立順番に従い無役の多重群化対を飛び越し実行される。
０６．多重群化律は連鎖Ｘ，Ｙから新たな連鎖Ｚの属性を定義する作用を行う。
０７．群化多重連鎖の実体は単元で定義される。
０８．この過程で中断が起きれば，論理原子を成立させる段階に戻る。
０９．多重群化律が全ての主従対に作用し終われば，論理原子を成立させる段階に戻る。
１０．多重群化で自然連鎖が成立すれば，引き継がれる多重群化の継続点を残し，自然群化に進む。
１１．自然群化で群化多重連鎖が成立すれば，多重主従対の成立順番の継続点に戻る。
（０２）多重群化律
０１．連鎖Ｘの属性に属す認識原子の空間速度を大小の順に並べる。
０２．連鎖Ｙの属性に属す認識原子の空間速度を大小の順に並べる。
０３．上記０１，０２の認識原子の順番を対応付ける。
０４．対応付けられる認識原子の空間速度がＸ＞Ｙとなる場合に限り，ＸとＹの属性の認識原子を新たな連鎖（群化多重連鎖）の属性の要素として取り込む。
０５．対応付けられないＸの認識原子は，新たな群化多重連鎖の属性候補として取り込む。
０６．多重群化律ではＸとＹから新たな連鎖（群化多重連鎖）の属性を定義する為の作用が行われる。
０７．新たな群化多重連鎖の属性候補の認識原子の空間速度を大小の順に並べる。
０８．同じ空間速度の認識原子は其の後位の方から除く。【０１３７】  ここで，属性候補の認識原子の個数が偶数であれば，其の属性候補は群化自然連鎖の属性候補となる。其して，属性候補の認識原子の個数が奇数であれば，其の属性候補は群化多重連鎖の属性候補となる。
０９．多重空間は，この群化多重連鎖の属性候補が属性となる為の実体を単元で選ぶ。選ばれる認識原子が複写の限界を越えていなければ，其の認識原子は実体となる。其して，其の属性候補は属性になる。この場合，其の属性に属す認識原子の個数が偶数となれば，  其の連鎖は群化自然連鎖，奇数となれば，其の連鎖は群化多重連鎖となる。選ばれる認識原子が複写の限界を越えていれば，次善の認識原子が選ばれる。実体を選べなければ，この属性候補は無役となる。
１０．群化多重連鎖の実体は多重連鎖の実体と同様に多重空間の要素になる。
２．７．６  自然連鎖
多重群化律で成立する群化多重連鎖の属性に属す認識原子の個数が偶数となる場合，この連鎖が成立すると其の多重群化の作用は停止され，この連鎖の実体は多重空間と異なる空間に移される。この連鎖を自然連鎖，其の異なる空間を自然空間と記す。
自然連鎖が成立すると多重連鎖の群化律とは異なる群化律が成立する。其れを自然群化律と記す。これは自然連鎖の属性に属す認識原子の個数が偶数である事により生じる作用である。【０１３８】  この自然群化律で定義される連鎖を群化自然連鎖と記す。【０１３９】  自然群化律は，本章２．７の２．７．７で述べる。群化自然連鎖の実体は，自然空間の要素になる。
２．７．７  群化自然連鎖
自然連鎖の属性に属す認識原子の個数が偶数になる事において，其の事態を改善する為に，多重群化律に準じる作用が生じる。其して，この作用で連鎖の連糸を更に進める新たな連鎖が定義される。其の連鎖が群化自然連鎖である。【０１４０】  この場合にも，この連鎖の属性に属す認識原子の個数が奇数個になる場合がある。この事は本章２．７の２．７．７で述べる自然群化律で明らかになる。【０１４１】  自然群化の作用のモデルを以下に示す。
（０１）自然群化の骨組
０１．この作用が開始される時点で自然空間に存在する実体の全連鎖，即ち，自然連鎖，並びに群化自然連鎖を要素として組合せを作り，其の任意のひとつを自然連鎖順序列とする。
［１，２，３，・…］
０２．自然連鎖順序列を基に成立する限りの連鎖の対が以下の様に作られる。この連鎖の対を自然群化対，其の順序列を自然群化対の順序列と記す。自然群化対は多重群化の場合と若干異なる。
［（１，２），（１，３），（１，４）・…，（２，３），（２，４），（２，５）・…，（３，４），・…］
０３．無
０４．自然群化対では多重群化対の場合の様に主従対の条件は不要である。Ｘを主，Ｙを従とする自然群化律が実行される。
０５．自然群化律は自然群化対の成立順番に従い実行される。
０６．自然群化律ではＸとＹから新たな連鎖（群化自然連鎖）の属性を定義する為の作用が行われる。
０７．群化自然連鎖は単元で定義される。
０８．この過程で中断が起きれば，論理原子を成立させる段階に戻る。
０９．自然群化律が全ての主従対に作用し終われば，論理原子を成立させる段階に戻る。
１０．自然群化で多重連鎖が成立すれば，引き継がれる自然群化の継続点を残し多重群化の継続点に進む。
１１．無
（０２）自然群化律
０１．連鎖Ｘの属性に属す認識原子の空間速度を大小の順に並べる。
０２．連鎖Ｙの属性に属す認識原子の空間速度を大小の順に並べる。
０３．上記０１，０２の認識原子の順番を対応付ける。
０４．対応付けられる認識原子の空間速度がＸ＞Ｙとなる場合に限り，ＸとＹの属性の認識原子を新たな連鎖（群化多重連鎖）の属性の要素として取り込む。
０５．対応付けられないＸの認識原子は，新たな群化自然連鎖の属性候補として取り込む。
０６．対応付けられないＹの認識原子は，新たな群化自然連鎖の属性候補として取り込まない。
０７．新たな群化自然連鎖の属性候補の認識原子の空間速度を大小の順に並べる。
０８．同じ空間速度の認識原子は其の後位の方から除く。ここで，属性候補の認識原子の個数が奇数であれば，其の属性候補は群化多重連鎖の属性候補となる。【０１４２】  其して，属性候補の認識原子の個数が偶数であれば，其の属性候補は群化自然連鎖の属性候補となる。
０９．この群化自然連鎖の属性候補を満たす実体を単元で選ぶ。選ばれる認識原子が複写の限界を越えていなければ，実体となる。其して，この属性候補は属性になり，属性に属す認識原子の奇数偶数により，群化自然連鎖，群化多重連鎖が成立する。【０１４３】  選ばれる認識原子が複写の限界を越えていれば，次善の認識原子が選ばれる。実体が選べなければ，この属性候補は無役となる。
１０．群化自然連鎖の実体は自然連鎖の実体と同様に自然空間の要素になる。
２．７．８  仮想存在の属性に関する仮想の為の思想
ここでは，仮想存在（連鎖）を決定付ける属性がどの様な思想を基にして論考されているかを告知する。
（０１）本研究が仮想する存在の属性は集合で表される。
（０２）本研究では其の集合の要素の概念は空間と時間で定義されるものとする。仮説される論理原子はこの定義を具現化する為のものである。
（０３）本研究では存在を空間に割り込む空間と定義する。そして，其の空間は時間の概念を帯同し，其の影響を受けるものとする。
（０４）これは存在の非絶対性を宣言する為である。本研究で用いられる思想である。
（０５）論理原子は存在の属性を定義するだけに止まらず，存在の実体の概念を定義する事が出来る様に仮説されている。
（０６）本研究の存在の属性の集合に属す要素（論理原子）の個数は奇数個である事に其の本質性があるものとする。
（０７）本研究で定義される属性の候補である意識λ集合，認識λ集合に属す論理原子の個数は奇数で定義されるのはこの本質性の為である。
（０８）境界原子（論理原子）はこの本質性を意義付ける為の基本的な概念として定義されている。
（０９）論理原子は存在の属性，存在の実体，そして，境界原子の概念の定義が可能となる様に仮説されている。
（１０）確立連鎖，事象連鎖の属性は其の本質性を満たしている。
（１１）意識連鎖の属性は其の本質性を満たしている。
（１２）本研究の課題は自己なる存在を定義する事にある。
（１３）其の発端として，確立連鎖が誕生する。
（１４）意識連鎖も確立連鎖と同じ様に誕生する。
（１５）意識連鎖は可能的に成立する限り定義されるが，確立連鎖は其の誕生周期に於いては唯１個である。
（１６）其の確立連鎖は誕生すると意識連鎖により，正規化される。
（１７）誕生する１個の確立連鎖と既に成立している複数の意識連鎖の間で開示が行われ，其の確立連鎖が成立する周期では，其れに対応する意識連鎖が連想して，１個の事象連鎖が誕生する。
（１８）本研究の仮説では存在の発端である確立連鎖は確率的な作用により定義されるものとする。他方，存在は何らかの規範で律されているものと期待する。【０１４４】  本研究に於ける開示，連想の仕組は確率的な存在を規範に基づく存在に定義し直す為の作用であり，其れはこの思想を反映させる為である。
（１９）本研究では仮想される存在の属性候補となる論理原子の集合の列がこの規範を与える縁として位置付けられる。
（２０）本研究の課題は「自己なる存在」を定義する事である。其の過程を本研究では存在の連糸と呼んでいる。
（２１）確立連鎖が誕生し，意識連鎖により規範が与えられ事象連鎖が誕生する。【０１４５】  本研究では事象連鎖は，意識連鎖により正規化され，最早，確率的な存在ではないと考える。
（２２）他方，事象連鎖が成立しても，其れで「自己なる存在」が定義出来るわけではない。其の為には更に連糸を紡ぐ必要がある。
（２３）更に連糸を紡ぐ為には更に新たな作用を求め，其れにより属性を定義し，新たな存在を成立させる事である。この段階では事象連鎖の属性から新たな作用で属性を定義し，事象連鎖と異なる連鎖を成立させる事である。
（２４）事象連鎖の属性から新たな属性を定義するとは其の属性である集合の要素（認識原子）を多重的に再定義し直し，集合を定義する事である。この段階では，これ以外の作用を見つける事が出来ないからである。【０１４６】  其の集合を属性とする連鎖が多重連鎖である。【０１４７】  しかし，多重連鎖が成立しても，其れで「自己なる存在」が定義出来るわけではない。  其の為には更に連糸を紡ぐ必要がある。
（２５）更に連糸を紡ぐ為には更に新たな作用を求め，其れにより属性を定義し，新たな存在を成立させる必要がある。【０１４８】  この段階では，多重連鎖の属性から新たな作用で属性を定義し直し，多重連鎖とは異なる連鎖を成立させる事である。
（２６）多重連鎖の属性から新たな属性を定義するとは其の属性である集合間の要素（認識原子）を可能な限り組み合わせて，新たな集合を定義し直す事である。この段階では，これ以外の作用を見つける事は出来ないからである。【０１４９】  其の様にして再定義し直される集合を属性とする連鎖が群化多重連鎖である。
（２７）多重連鎖並びに群化多重連鎖の属性の集合間の要素を組み合わせて新たな属性を再定義する作用の律性が多重群化律である。【０１５０】  しかし，群化多重連鎖が成立しても，其の事で「自己なる存在」が定義出来るわけではない。其の為には更に連糸を紡ぐ必要がある。
（２８）この群化多重連鎖の属性を定義する過程で，其の集合に属す要素（認識原子）の個数が偶数になる事がある。【０１５１】  其の様な集合を属性とする連鎖は群化多重連鎖ではあり得ない。其の連鎖が自然連鎖である。
（２９）しかし，この自然連鎖が成立しても「自己なる存在」が定義出来るわけではない。其の為，この自然連鎖から更に連糸が紡がれる。
（３０）多重群化律が生じる理由は多重連鎖の実体が重複する事，並びに其の属性に属す認識原子が重複する事である。そして，自然連鎖が生じる理由は自然連鎖の実体が重複する事，並びに其の属性に属す認識原子が偶数となる事である。
（３１）上述の理由から自然連鎖が誕生すると，其れ迄の多重群化律は停止し，自然連鎖の間でに群化作用が生じる。其の作用が自然群化律である。
（３２）自然群化律は多重群化律に準じる作用で，自然連鎖並びに群化自然連鎖の属性の集合間の要素を多重群化よりも更に可能な限り組み合わせて新たな属性を再定義する作用である。この連鎖が群化自然連鎖である。
（３３）自然群化律で属性に属す要素（認識原子）の個数が奇数になれば，其の群化自然連鎖は群化多重連鎖となる。【０１５２】  其の事により，自然群化律は停止し，多重群化律が再開される。即ち，多重群化律と自然群化律は其処で決定される属性により其れに応じる連鎖を成立し，連糸を紡ぐ。
（３４）本研究では多重群化律並びに自然群化律が仮説される。
（３５）群化自然連鎖は其の群化の終局で特異連鎖に到達する。其の事により，臨界連鎖により「自分なる存在」の定義が可能になる。
（３６）「自己なる存在」には意識を表す連鎖を決定し，其処から脈絡を構成する存在が出現する。其の脈絡の展開される様相が，本研究で言う思考作用である。
（３７）本研究では所謂自然界に於ける森羅万象は全て「自己なる存在」を成し，其処では思考作用が行われていると考えるのである。
２．８  自己なる存在のモデル
自己なる存在のモデルは，図１１で示す。【０１５３】  自己とは決して成立する事のない全体と部分が等価になる関係が成立する事である。これが，本研究で論考される意図の構図（図９）である。本研究で言う自己なる存在とは，この意図を基に成立する構図の事である。【０１５４】  其して，この関係に於ける全体（臨界連鎖）は，其の部分（特異連鎖）の中に其の全体（臨界連鎖）と等価になるより妥当的な部分（群化自然連鎖）を探索する。この探索は，最初に全体（臨界連鎖）に対応する部分（特異連鎖）が境界原子を実体とする疑似性を有する事から，其れを取り除く為に行われる作用である。探索される部分（群化自然連鎖）が本研究で論考される意識を表す存在となる。
探索される意識を表す存在（群化自然連鎖）は，其の存在が統治する存在（群化自然連鎖，含む自然連鎖）を客体化と陳述により解き放す。【０１５５】  解き放す存在は脈絡を成し，意識を表す存在が全体に対応する部分である事を言表する。この過程を，本研究では思考のモデルと考える。
解き放される存在は，自己なる存在の特異連鎖の実体の中で成立する関係である。其の事により，解放される存在は自己なる存在の中で成立する。【０１５６】  換言すれば，解き放される存在はそれぞれが新たな自己なる存在を成立させる事を意味する。【０１５７】  本研究では，森羅万象は全て自己なる存在となる。其して，其のひとつひとつが自己となる。
記述の様に，自己なる存在を代表するのは１個の特異連鎖である。其の特異連鎖には，複数の臨界連鎖が呼応する。其の事により，１個の特異連鎖には複数の意識を表す存在が成立する事になる。
以上の事から，自己なる存在は，（０１）特異連鎖，（０２）臨界連鎖，（０３）意識を成立させる連鎖で構成される。自己なる存在が，意識を表す存在が統治する存在を解き放す。【０１５８】  この作用が連糸の最終局面である。
２．８．１  臨界連鎖
意識連鎖の属性候補が境界原子を実体として選ぶ事により，成立する意識連鎖を臨界連鎖と記す。臨界連鎖とは，境界連鎖を実体とする意識連鎖の事である。【０１５９】  意識連鎖を定義する仕組は，属性の占有速度に内側から近似する意識原子を実体として選ぶ事である。即ち，空の関係を成立させる事である。【０１６０】  其れ故，属性に境界原子が含まれる場合，臨界連鎖は成立する。図７にこのモデルを示す。臨界連鎖は全体の性質の極致を表す。
２．８．２  特異連鎖
群化自然連鎖の属性候補が境界原子を実体として選ぶ事により成立する群化自然連鎖を特異連鎖と記す。特異連鎖とは，境界連鎖を実体とする群化自然連鎖の事である。【０１６１】  群化自然連鎖を定義する仕組は，属性の占有速度に外側から近似する認識原子を実体として選ぶ事である。即ち，単元の関係を成立させる事である。【０１６２】  通常では，境界原子が群化自然連鎖の実体になる事はあり得ない。しかし，複写の限界から，実体として選ばれる認識原子が次善に選ばれる認識原子も含めて，最早，選ばれる事が出来なくなれば，境界原子が選ばれる。
境界原子は意識原子に属す論理原子であるが，存在線上意識原子と認識原子の境界に位置し，両者を兼ねる性質を有する論理原子である。其の事が境界原子が群化自然連鎖の実体になり得る理由である。【０１６３】  その場合の群化自然連鎖が特異連鎖である。付言すれば，特異連鎖とは究極の群化自然連鎖の事である。図８にこのモデルを示す。特異連鎖は部分の性質の極致を表す。
２．８．３  意図のモデル
臨界連鎖の属性は他の意識連鎖と同様に空で其の実体を選ぶので，他の意識連鎖と同様に其の実体を介して其の属性が全体である事を叙述する。【０１６４】  他方，特異連鎖の属性は他の群化自然連鎖と同様に単元で其の実体を選ぶので，他の群化自然連鎖と同様に其の実体を介して其の属性が部分である事を叙述する。臨界連鎖，並びに特異連鎖の実体は，共に境界原子である。其れ故，この状態は全体が一致する関係を表す事になる。本研究ではこの関係を意図として定義する。
この関係は，特異連鎖が成立する事により，既に成立している臨界連鎖が其の特異連鎖に呼応して成立する。其の呼応関係は，特異連鎖１個に対し，臨界連鎖はｎ個となる。即ち，１個の特異連鎖が成立すれば，其の特異連鎖に統治される群化自然連鎖で其の属性に属す認識原子の数と同じ数の意識原子を属性とする臨界連鎖が其の特異連鎖に呼応する。其して，其の群化自然連鎖が意識を表す存在となる。即ち，１個の特異連鎖には最大臨界連鎖の数の意識を表す存在が成立する関係になる。図９にこの関係を示す。
２．８．４  意識のモデル
特異連鎖の属性に属す認識原子の個数は，認識原子の総数となる事に於いて其の特定は不可能になる。【０１６５】  他方，臨界連鎖の属性に属す意識原子の個数は総数ではない。【０１６６】  其れ故，其の数をｍ個とすれば，特異連鎖に至る群化の過程でｍ個の認識原子を属性とする群化自然連鎖が成立している。この関係を成立させる群化自然連鎖が意識を表す存在である。【０１６７】  この関係は，意図の成立の基で定義される。同じ個数の認識原子を要素とする群化自然連鎖が複数存在する場合には，実体の空間速度の大なる方が優先して選ばれる。図１０にこの関係を示す。
２．９  思考モデル
意識を表す連鎖が決まると，其の連鎖の実体並びに意図を成立させる特異連鎖の実体を介す事により其の意識を表す連鎖の属性が新たな自己なる存在を言表する。【０１６８】  この存在が脈絡で定義される存在である。【０１６９】  存在の連糸は，この存在により更に進められる。本研究では，この存在が進める連糸がわれわれの思考に相当する作用であると考える。其の意味で，脈絡の構造は自己なる存在に成立する思考モデルとして位置付ける事が出来る。
脈絡の過程は，多重連鎖を起因として始まる自然連鎖の群化の過程が逆に辿られる様相の事である。図６を再見すれば，この事が確認される。
群化の段階では自己なる存在が未だ成立していない状態で存在が作り出される。其れに対し，脈絡の段階では自己なる存在が更なる存在を作り出す関係になる。【０１７０】  これが，群化と脈絡が作り出す存在の違いである。
２．９．１  脈絡の定義
自己なる存在が成立すれば，其の基で意識を成立させる群化自然連鎖が選ばれ，其の存在が核となり，其の存在が統治している群化自然連鎖（複数）を其の意識を表す存在の実体，並びに，特異連鎖の実体を介して言表される。この存在が解き放される存在である。選ばれる群化自然連鎖が統治している群化自然連鎖は，自然連鎖順序列（本章２．７．７（０１））に属しているものである。この構造を図１２で示す。
解き放される存在は，客体化，並びに陳述として区別される。陳述で定義される存在には記憶を成立させる存在と記憶を成立させられない存在とが生じる。記憶を成立させられない存在を同化される存在と記す。これらの定義は，本章２．９．４と２．９．５で述べる。但し，思考モデルでは同化される存在は除かれる。
客体化，または陳述により群化自然連鎖列の中から選ばれる群化自然連鎖は，重複して選ばれる事はない。其れ故，選ばれる群化自然連鎖がなくなるとは，其の次に選ばれる連鎖が多重連鎖となる場合に相当する。【０１７１】  何故なら，既に述べた様に脈絡は群化の過程が逆に辿られる関係を示すからである。【０１７２】  其して，其の群化が行われる契機は，多重連鎖となるからである。
脈絡の様相をわれわれの言葉に対応付ければ，われわれが発報する最初の言葉は客体化される存在に相当する。其れに引き続き発報される言葉は，陳述される存在に相当する。
意識を表す存在，客体化を成立させる作用，並びに陳述を成立させる作用を言表する事は不可能である。即ち，われわれが発報する言葉の直前の状態とは，意識を表す存在，客体化を成立させる作用，陳述を成立させる作用に他ならない。其れらは全て言表不可能である。
ここで，ソフトを開発する行為を考察する。【０１７３】  其の行為は，例えば以下の様な問いに対する答えを求める為の思考作用に相当する。即ち，林檎とは何なのか。認識とは何なのか。林檎が時と共に変容する原因は何なのか。林檎は何故変容するのか。誰が林檎の変容を認識するのか。言葉とは何なのか。われわれが言葉を発する原因は何なのか。われわれは何を考えるのか。林檎は考えるか。物質とは何なのか。物質でない存在とは何なのか。感情とは何なのか。意識とは何なのか。自己は何を意味するか。意味とは何なのか。われわれが本を読む原因は何なのか。われわれが文章を作る原因は何なのか。われわれが言葉を聞く原因は何なのか。われわれが食べる原因は何なのか。われわれは何故生まれるか。われわれは何故動くか。われわれは何故事故に遭うか。われわれは何故死ぬか。われわれは何故喜ぶか。われわれは何故悲しむか。われわれは何故群れるか。われわれとは何なのか。【０１７４】  其して，存在とは何なのか。
仮に，開発するソフトが日常的で簡単なプログラムである場合でも，其れを開発する際のわれわれの思考行為は上記の問の答えを探す作業に等しくなる。付言すれば，ソフトを開発する思考の背景には，深遠な哲学的課題が潜むと考える。
換言すれば，ソフトの本質性は，経験や成果の蓄積が効果を齎す，例えば工学的世界とは異なる世界を形成している。其れ故，これまでの科学的方法論で，ソフトの本質に迫る事は不可能であると思われる。この点に留意すれば，今，ソフトに求められる事は，機能的効果に留まらずソフトを成立させる原理，並びに理論である。これらは，空想の世界に其の始まりを置き，例えば，発見的論理学の認識世界を再構築する事により得られる成果である様に思われる。
２．９．２  客体化
自己を表す存在は，意識を表す存在の属性に属す認識原子を実体とする群化自然連鎖を，群化自然連鎖列の中から選ぶ。【０１７５】  本研究では，この選ばれる群化自然連鎖を客体化される存在と記す。【０１７６】  この過程を介する事により，群化自然連鎖列に属す言表不可能な存在（群化自然連鎖）が言表可能な存在に変わる。言表可能な存在の定義は，本章１．２で述べられている。
２．９．３  陳述
自己を表す存在は，客体化される存在の属性に属す認識原子を実体とする群化自然連鎖を，群化自然連鎖列の中から選ぶ。但し，自己を表す存在は，既に選ばれている群化自然連鎖を繰り返し選ぶ事が出来ない。【０１７７】  本研究では，この選ばれる群化自然連鎖を陳述される存在と記す。【０１７８】  陳述で選ばれる群化自然連鎖は，客体化される存在と同じ言表可能な存在となる。【０１７９】  陳述の作用は，群化自然連鎖列の中から選ばれる群化自然連鎖がなくなるまで継続される。群化自然連鎖列は，群化の項で述べられている。
２．９．４  同化
客体化される存在，並びに陳述される存在の中で，属性に属す全ての認識原子が存在の実体となっている場合，本研究では，其の様な客体化される存在，並びに陳述される存在を，同化が成立する存在と記す。【０１８０】  同化の成立する存在は，言表可能な存在でありながら，言表不可能な存在となる。例えば，本研究では，われわれが無意識に行う振る舞いは，この存在の成立を意味する。
２．９．５  記憶
客体化される存在，並びに陳述される存在の中で，属性に属す全ての認識原子が存在の実体となり得ない場合，本研究では，其の様な客体化される存在，並びに陳述される存在を，記憶が成立する存在と記す。【０１８１】  其の存在は，言表可能な存在となる。
第３章  仮想空間（ＴＤＭ）
自己の意識に内包されている存在が自己を介して解き放されるとは，新たな存在が自己の内に成立する事である。本研究では，この過程を脈絡と呼び，自己なる存在の思考過程を表すものとする。【０１８２】  本研究では，この脈絡の過程において特に意識を表す存在を言表する事が出来ない事がわれわれの思考における曖昧さを生じさせる原因になっていると考える。
本研究が目指す所は，言表不可能な存在を用いて意識を成立させる存在を捉える事にある。其の事により，思考における曖昧さを取り除く仕組を求めようとするものである。【０１８３】  本章では，この仕組のモデル（ＴＤＭ）を論考する。
３．１  存在の位置関係
脈絡上，自己なる存在は，過去，今，未来の自己に分けられる。其して，今の存在を自己とすれば，過去の存在は過去の自己を意味し，其れを祖先，未来の存在は未来の自己を意味し，其れを子孫と位置付ける。【０１８４】  脈絡の基で，今の自己は以下の様に仕分けされる。
（０１）客体化される今の自己の祖先は不明となる。
（０２）陳述される今の自己には祖先，並びに子孫がいる。
（０３）最後の陳述の今の自己には，子孫がない。
本来，意識を表す存在の言表が成立させられれば，思考の曖昧さを乗り越えられる。しかし，其の存在は言表が不可能である。【０１８５】  解き放される存在は言表可能で，其れらは１個の意識を表す存在に端を発している。【０１８６】  本研究では，其れら存在の言表の構造を求める。其の構造により，解き放される存在に言表を成立させる。其して，其の言表の集合と言表不可能な意識を表す存在を呼応させるモデルが論考される。
３．２  言表の仕組
本章３．１の今の自己を言表する仕組を述語構造（ＰＳ）と記す。【０１８７】  其の為に連鎖の役割が用いられる。即ち，
（０１）過去でも未来でもない自己を用いて，過去でも未来でもない今の自己は，確立連鎖の役割を用いて言表することが出来る。
（０２）未来の自己を用いて言表される今の自己は，事象連鎖の役割を用いて言表する事が出来る。
（０３）過去の自己を用いて言表される今の自己は，多重連鎖の役割を用いて言表する事が出来る。
３．３  言表の構造
ここでは，ＰＳの構造を述べる。【０１８８】  ＰＳの構造は図１４，１５，１６，１７で見る事が出来る。【０１８９】  其の構造は，７種の叙述と其の４種の叙述を記憶する専用領域で定義される。【０１９０】  存在とは，自己で自己を定義する叙述の事である。ＰＳもまた叙述で定義される。しかし，存在を定義する叙述と異なるのは，ＰＳの叙述は其の構造により，言表に換わる事である。
叙述が言表に換わる為には第２章２．２の言表で述べている様に，叙述は外延的に成立するので，叙述する存在は其れを成立させる為には何かに内包されている事が必要である。ＰＳの構造は，自己に係わる二つの存在を自己を内包する存在とする。自己に係わる二つの存在とは，自己の祖先と自己の子孫である。
因に，祖先は自己に内包される存在である。しかし，自己が其の叙述を成立させる為には祖先を外延的に置き直す必要がある。其の事は，ＥＮＷの項目で述べる。
ＰＳに於ける４種の領域は，この二つの存在が自己を内包化する役割を果たす為に設けられている。其の事により，ＰＳの叙述が成立している。其れ故，ＰＳにおけるこの領域の役割は重要である。
３．４  脈絡構造の再定義
図１２で明らかな様に，今の自己の子孫は今の自己の外延的な存在である。其れ故，今の自己はＰＳを用いて其の子孫を叙述する事が出来る。【０１９１】  他方，自己の祖先は今の自己に内包される関係になる。其れ故，今の自己はＰＳを用いて自己の祖先を叙述する事が出来ない。【０１９２】  この問題を克服する為に，図１２の脈絡の構造は過去の自己が今の自己の外延的な位置関係を成す様に書き改められる。【０１９３】  書き直される結果，脈絡上の存在は今の自己，或いは未来の自己に位置付けられる以外の存在は，例えば鏡に映る存在の様に虚像化される。即ち，脈絡上における存在が祖先となる場合，其の存在は虚像化される。其の構造が図１８で示される。
ＥＮＷでは，今の自己の存在は以下の様に証明される。即ち，
（０１）過去でも未来でもない自己の存在は，ＰＳ２（図１５）で証明される。
（０２）未来の自己の存在は，ＰＳ３（図１６）で証明される。
（０３）過去の自己の存在は，ＰＳ４（図１４）で証明される。
（０４）未来を有しない自己の存在は，ＰＳ２−１（図１７）で証明される。
ここで，上記（０３）を成立させる為には，ＥＮＷの過去に位置する存在を未来に置き換える事が必要である。何故なら，言表は外延的に成立するので，過去を言表する事が出来ないからである。【０１９４】  其の結果，再定義される脈絡の過去の自己は脈絡に属す自己とは異なり，虚像化される自己に置き換えられる。
３．５  存在の証明
存在の証明とは，存在の言表を成立させる仕組を知り，其の仕組で存在を叙述する事である。存在は，属性と主語の相補関係で定義される。これが存在を定義するための叙述である。この叙述は，既に述べている様に自己で自己を定義するに留まり，其れが其の存在の成立を証明している訳ではない。
脈絡上では，記述の様に今の自己と其の祖先，並びに子孫の相対的な関係が成立している。この関係を用いて，今の自己の存在の証明を行う事が出来る。即ち，今の自己の存在の証明は，自己の祖先と未来の子孫の存在の証明が成立すれば，結果的に今の自己が成立している事になる。
存在が存在する事を証明する為に係る不可避的な事情を以下に示す。
（０１）存在とは自己を定義する叙述の事であるが，其の叙述は其の存在が存在する事を証明する役割は果たし得ていない。
（０２）言表とは，存在が存在する事を証明する叙述の事である。
（０３）言表，並びに叙述は，外延的に成立する。
（０４）言表は，記憶が成立する存在に成立する。本研究では，記憶が成立する存在を物質的存在と考える。
（０５）存在の言表は，自己を表す存在（図１１）の基で成立する。
本研究では，この叙述を成立させる構造をＰＳと記す。換言すれば，ＰＳが叙述されれば其れが言表となる。其して，其のＰＳは存在の存在を証明している事になる。
存在が成立している事を証明する為には，以下の事柄が特定されなければならない。即ち，
（０１）証明されるべき存在を特定する事
（０２）ＰＳの構造を特定する事
（０３）ＰＳを成立させる叙述を特定する事
上記（０１）の存在は，解き放される存在の脈絡から特定する事が出来る。第４章では，この存在は主語として定義される。上記（０２）のＰＳの構造は，存在の構造，叙述の性質，其して証明の意義を基に定義される。上記（０３）の叙述は，脈絡上の存在の位置的な相対関係から定義される。
図１３で２として示される存在は，本章３．１で示される（０１）の事である。この場合，其の存在の子孫は不明ではないが祖先は不明である。この位置関係にある存在，即ち，客体化される存在が成立する事を証明する言表の構造は，確立連鎖の叙述を用いてＰＳを成立させる事である。本研究では，其れをＰＳ２と記す。【０１９５】  図１３で６として示される存在は，本章３．１で示される（０３）の事である。この場合，其の存在の祖先は不明ではないが子孫は不明である。この位置関係にある存在は，陳述の終端に位置する存在である。この存在が成立する言表の構造は，確立連鎖の叙述を逆に換えてＰＳを成立させる事である。本研究では，其れをＰＳ２−１と記す。
図１３で３〜５として示される存在は，本章３．１で示される（０２）の事である。この場合，其の存在の子孫，並びに祖先は不明ではない。この位置関係にある存在は，客体化される存在，陳述の終端に位置する存在を除く存在である。これら存在が成立する事を証明する言表の構造は，子孫については事象連鎖の叙述，祖先については多重連鎖の叙述を用いてＰＳを成立させる事である。本研究では，其れをＰＳ３，ＰＳ４と記す。
ＰＳ２−１の為の叙述，即ち，確立連鎖の叙述を逆に換える叙述を成立させる連鎖は，存在していない。其の為，本研究ではＰＳ４の叙述を否定し，且つ，ＰＳ２の叙述を可逆させる事により，其の存在の言表を成立させる。ＰＳ４の叙述を否定する叙述をＰＳ４Ｎ，ＰＳ２の叙述を可逆させる叙述をＰＳ２Ｎで表す。この件については，図１７参照。図１３は，以上のことが要約して示されている。
ここでは，ＰＳを成立させる叙述の特定について述べる。【０１９６】  叙述は，脈絡上の存在の位置的な相対関係から次の様に求める。脈絡上の存在の位置的な相対関係は，以下の様に（０１）（０２）（０３）に分けられる。本研究では，この相対関係を用いてＰＳを成立させる叙述を特定する。
（０１）客体化される存在
この場合の存在の相対的な関係は，不完全である。即ち，過去の自己は意識を表す存在となり言表不可能，其して，未来の自己は言表可能である。【０１９７】  この場合，今の自己を叙述出来るのは確立連鎖の叙述である。其の確立連鎖の叙述で，今の自分をＰＳ２として成立させれば，其のＰＳ２はこの場合の今の自己を言表する必要且つ十分条件となる。其のＰＳを図１５（ＰＳ２）で示す。【０１９８】  因に，其のＰＳの存在は第４章では名詞の１種別である正規（表２）が該当し，Ｌ２で叙述されるベクトルに換わる。其の正規の狭義の属性は，入力である。
（０２）陳述による存在
この場合の存在の相対的な関係は，言表可能な過去の自己，並びに，未来の自己として成立する。この場合，今の自己が過去の自己を叙述出来るのは事象連鎖の叙述である。其の事象連鎖の叙述で，今の自己をＰＳ３として成立させれば，其のＰＳ３は過去の自己を言表する十分条件となる。【０１９９】  同じく，今の自己が未来の自己を叙述出来るのは，多重連鎖の叙述である。其の多重連鎖の叙述で，今の自己をＰＳ４として成立させれば，其のＰＳ４は未来の自己を言表する必要条件となる。即ち，この場合の今の自己の成立は，ＰＳ３並びにＰＳ４の言表で証明される。ＰＳ３を図１６，ＰＳ４を図１４で示す。【０２００】  因に，其のＰＳの存在は第４章では名詞の１種別である正規（表２）が該当し，Ｌ３，Ｌ４で叙述されるベクトルに換わる。其の正規の狭義の属性は，出力である。
第４章で説明される名詞の種別（表２）には，Ｋと記される名詞がある。Ｋは，ＰＳ３，ＰＳ４，並びにＰＳ２−１で叙述される。
（０３）未来の自己が言表不可能となる存在
この場合の存在の相対的な関係は，不完全である。即ち，過去の自己は言表可能，しかし，未来の自己は言表不可能である。この事態は陳述の最後に現れる構図である。  この場合，今の自己を叙述出来るのは，確立連鎖の叙述を可逆させる叙述である。これは，ＰＳ２の言表がＰＳ４で否定される構造として定義される。【０２０１】  其れ故，この証明は修正されるふたつのＰＳ，即ち，ＰＳ４Ｎ，ＰＳ２Ｎで言表される。其れをＰＳ２−１として図１７で示す。ＰＳ２−１，即ち，ＰＳ４Ｎ，並びにＰＳ２ＮはそれぞれＰＳ４，並びにＰＳ２と同族に扱われる。
ＰＳ４の第２規約では「多重連鎖の叙述を用いて未来の自己」が叙述されるが，ＰＳ４Ｎの第２規約では「事象連鎖（過去）の叙述を多重連鎖（未来）の叙述に置き換えて未来の自己」が叙述される。これは，ＰＳ４の第２規約が叙述する未来の自己を否定する叙述を意味する。【０２０２】  更に，ＰＳ４Ｎの第４規約では「未来の自己の成立を宣言し，且つ，ＰＳ２Ｎの第４領域にこの宣言を移す」。其して，この場合，ＰＳ２の叙述は図１７で示されるＰＳ２Ｎの様になる。ＰＳ４Ｎの基で定義されるＰＳ２Ｎが，ＰＳ２を可逆させる意味を表す。
因に，ＰＳ４Ｎ，並びにＰＳ２Ｎで言表される存在は，第４章では名詞の１種別であるＭ（表２）が該当する。ＰＳ２−１は，ＰＳ２，ＰＳ４が修正されるＰＳ２Ｎ，ＰＳ４Ｎで定義される。因に，このＰＳ２Ｎ，ＰＳ４Ｎで言表される存在は，第４章ではＬ２，Ｌ４で叙述されるベクトルに換わる。
３．６  ＴＤＭの定義
図１８をモデル化し，其れをＴＤＭと記す。本研究では，ＥＮＷの元になる脈絡は特異連鎖の実体において成立するので，ＥＮＷ，並びにＴＤＭも其の様に位置付ける。【０２０３】  脈絡に属す存在はＰＳにより３種族に仕分されるので，ＥＮＷ，並びにＴＤＭにおいても同じように３種族に仕分けされる。
ＰＳの３種族は集合を成す。概念的に其れらは３種の座標軸となる。其の座標軸の役割とは言表を成立させる事であり，其れは，其の座標軸に属すＰＳが相補する事により成立するものである。【０２０４】  其の相補作用は，それぞれの座標軸が回転する事に譬えられる。其して，この座標軸の回転は順序的に行われ，且つ，其の順序がひと通り終了する都度，３種の座標軸全体が１回転し，其れを周期として成立する。【０２０５】  この一連の作用を繰り返す事によりＰＳが言表を成立させる。其の結果，ＴＤＭの疑似空間に意識を表す存在が形成される関係に譬える事が出来る。図１９にこのモデルを示す。
脈絡に準じれば，ＰＳはＰＳ２→ＰＳ３→ＰＳ４→ＰＳ２−１の順に成立している。
他方，本研究の目的から，脈絡の構造はＥＮＷに書き改められる。其処ではＰＳは今の自己からＰＳ３→ＰＳ４の順に成立する。其して，ＰＳ２やＰＳ２−１はそれぞれ成立する。この仕組みは，第５章で述べる要件を定義する公式（ＰＲＤ）では，ＰＳ４（ＰＳ２−１）→ＰＳ２→ＰＳ３の順に成立する。ＰＳ４（ＰＳ２−１）は，ＰＳ２−１がＰＳ４と同じ様に扱われる事を意味する。
ＴＤＭが脈絡と同等の役割を担う為には，脈絡が例えばわれわれの思考作用が果断なく継続されている事を想起すれば，ＴＤＭも同じ様に果断なく作用をし続けなければならない。其れは，上述の個別座標軸の回転，並びに全座標軸の回転の事である。其の作用は以下の様に言い換える事が出来る。
（０１）ＰＳ３の集合化と其の網羅
（０２）ＰＳ２の集合化と其の網羅
（０３）ＰＳ４の集合化と其の網羅
（０４）ＰＳ３，ＰＳ２，ＰＳ４の集合の網羅
［本発明の内容］
第４章  仮想空間の実装構造（ＳＦ）
前章のＴＤＭは，意識を表す存在を捉えるモデルになっている。其れは，思考の限界を克服するモデルの仕組になっている。【０２０６】  本章ではＴＤＭの仕組の意義を電算機を用いて実証する為に，其の仕組を電算機に適用可能となる様に翻訳し直す。翻訳し直されるＴＤＭの仕組をＳＦと記す。【０２０７】  本章では，ＴＤＭをＳＦに翻訳する必要な事柄が述べられる。
以下に述べる事柄に関しては，部分的に非特許文献１〜９で述べられている。
４．１  要件
意識を表す存在は，要件の根源として位置付ける事が出来る。意識を表す存在から解き放される存在は，要件を構成する存在として位置付ける事が出来る。【０２０８】  ソフトの場合，要件を構成する存在は主語として位置付ける事が出来る。主語は，名詞によって代表される。例えば，本研究で言う存在の実体が名詞である。其して，其の属性は名詞に帯同する存在である。主語とは，この関係によって定義される存在の事である。即ち，要件＝｛主語｝である。
ソフトの場合，其のシステムに拘わる例えば画面，帳票，ファイル，電文等は，主語の集合として位置付けられる。即ち，其れらは要件を形成するものである。
４．２  主語
主語は，名詞，狭義の属性，並びに広義の属性で定義される。【０２０９】  即ち，主語＝［名詞，狭義の属性，広義の属性］である。
（０１）名詞の種別
本研究では，要件に属す名詞は名称と其の識別子，並びに名詞種別で定義される。【０２１０】  即ち，名詞＝［名称，識別子，名詞種別］である。【０２１１】  本研究では，名詞の種別は２２種となる。其の定義は表２に示される。名詞の種別が２２種になる理由は，ＰＳの構造とソフトを受け入れる電算機の仕組の関係から決定される。
（０２）名詞の狭義の属性
名詞の狭義の属性は，主語を種別化する要因になる。【０２１２】  名詞の狭義の属性は５種である。其の定義は表３に示される。名詞の狭義の属性が５種になる理由は，ＰＳの構造とソフトを受け入れる電算機の仕組の関係から決定される。
（０３）名詞の広義の属性
名詞の広義の属性は，主語を定義する要因になる。【０２１３】  名詞の広義の属性は１０種である。其の定義は表７に示される。名詞の広義の属性が１０種になる理由は，ＰＳの構造とソフトを受け入れる電算機の仕組の関係から決定される。
（０４）主語種別
主語は，要件を捉える最小単位になる。其の種別は３０種である。【０２１４】  これは，ベクトルの種別に対応するものである。其の定義は表１に示されている。【０２１５】  主語種別が３０種になる理由は，ＰＳの構造，ソフトを受け入れる電算機の仕組，並びに要件の性質の関係から決定される。しかし，其の主語の種別の定義は，要件の影響を受ける事はない。
４．３  ベクトルの原型
前章で定義されたＰＳは，ＳＦではベクトルと呼び換えられる。其の場合のベクトルの標準形は図２２に示される。これは，ソフトのプログラムの性質と其れを受け入れる電算機の仕組の関係から求められる定義で，更に１４種に翻訳し直される。表４参照。其の使途については，以下に述べる。
（０１）Ｌ４（論理要素）
未来の自己を表す名詞に真偽値を決定する為の叙述である。【０２１６】  ＰＳ４から定義されるものである。
（０２）Ｌ２（論理要素）
子孫を有しない自己を表す名詞に真偽値を定義する為の叙述である。【０２１７】  ＰＳ２から定義されるものである。
（０３）Ｌ３（論理要素）
過去の自己を表す名詞に真偽値を決定する為の叙述である。【０２１８】  ＰＳ３から定義されるものである。
（０４）Ｉ２（入力作用要素）
上記Ｌ２の成立を支援する為の叙述である。
（０５）Ｏ４（出力作用要素）
上記Ｌ４の結果を宣言する為の叙述である。
（０６）Ｓ４（同期作用要素）
ベクトルの領域を用いてＳＦの周期性を整備する為の叙述である。
（０７）Ｒ４（経路作用要素）
Ｗ０４とＷ０２に順序性を与える為の叙述である。Ｗ０４とＷ０２については，本章４．８で述べる。
（０８）Ｒ２Ｃ（経路作用要素）
Ｗ０２と隣下位のＷ０４に順序性を与える為の叙述である。
（０９）Ｒ２（経路作用要素）
Ｗ０２とＷ０３に順序性を与える為の叙述である。Ｗ０３については，本章４．８で述べる。
（１０）Ｒ３Ｒ（経路作用要素）
Ｗ０３とＷ０４に順序性を与える為の叙述である。
（１１）Ｒ３Ｅ（経路作用要素）
ＳＦの作用を終了させる為の叙述である。
（１２）Ｒ３Ｃ（経路作用要素）
Ｗ０３と隣下位のＷ０４に順序性を与える為の叙述である。
（１３）Ｒ３Ｄ（経路作用要素）
Ｗ０３と隣上位のＷ０３に順序性を与える為の叙述である。
（１４）Ｒ３Ｍ（経路作用要素）
Ｗ０３と隣々上位のＷ０４に順序性を与える為の叙述である。
４．４  ベクトルの集合
１４種のベクトルは，ＴＤＭの座標の役割を基にすれば，ＰＳの構造，ソフトを受け入れる電算機の仕組，並びに要件の性質の関係から，以下の様に集合化される。これは，ＴＤＭの擬似空間に対応するＳＦの擬似空間を定義する座標の役割を果たす。
（０１）｛｛Ｌ４｝，｛０４｝，｛Ｓ４｝，Ｒ４｝
（０２）｛｛Ｌ２｝，｛Ｉ２｝，Ｒ２Ｃ，Ｒ２｝
（０３）｛｛Ｌ３｝，Ｒ３Ｒ，Ｒ３Ｅ，Ｒ３Ｃ，Ｒ３Ｄ，Ｒ３Ｍ｝
ＳＦでは，上記（０１）をＷ０４，上記（０２）をＷ０２，上記（０３）をＷ０３と記し，パレットと総称する。
４．５  ベクトルの定義規則
主語に対応して，ベクトルは定義される。其の定義の仕方は普遍的な規則になる。以下に，ベクトルが定義される手順を示す。
（０１）要件から名詞を探す。
（０２）其の名詞の種別を表２（名詞の種別）を基に決める。
（０３）其の名詞の狭義の属性を表３（名詞の狭義の属性）を基に要件から探す。
（０４）上記（０３）の結果，主語の種別を表１（名詞種別と主語種別（ベクトル種別）の関係）を基に決める。ベクトルの定義規則は，７３種類（表１）となる。其の理由は，ＰＳの構造，ソフトを受け入れる電算機の仕組，並びに要件の性質の関係から決定される。
（０５）其の名詞の広義の属性を表７（名詞の広義の属性）を基に要件から探す。【０２１９】  名詞の広義の属性は表７で定義されているので，主語の種別が求められれば其の名詞の属性を要件から探す事が出来る。本研究で言うベクトルの定義規則とは，この事を指している。ベクトルの定義規則は，本論文の資料１として添付する。
名詞の属性が求められれば，ベクトルは決定する事が出来る。其の構造はＰＳと同じである。其の標準形を図２２に示す。１４種のベクトルの原型は，これを基に定義される。
従来では，要件を機能的に把握し，其れがプログラムに置き換えられている。要件を機能的に把握する為には，要件の成立の由来を認識する事が求められる。其れは，求めるべきゴールが段階的な作業を得なければ，到達し得ないと言う事を意味する。この事が要件を定義する作業，プログラムを作る作業，保守をする作業，テスト作業等が非能率になる原因になっている。
其れに対し，本項で示している様にベクトルを定義する作業に注目すれば，求めるべきゴールに必要な情報は既に既知なる規則を用いて要件から抽出する事が出来る事である。もし，抽出されるべき情報が其の要件の中に見当たらなければ，其の情報は不要であるか，または欠落しているかのいづれかである。この様な対応が，要件に関する成立の由来の認識とは別に可能となる事である。
４．６  パレット関数
第３章３．６で述べた様に，ＴＤＭが脈絡と同等の役割を担うためには，次の役割が必要である。
（０１）ＰＳ３の集合化と其の網羅
（０２）ＰＳ２の集合化と其の網羅
（０３）ＰＳ４の集合化と其の網羅
（０４）ＰＳ３，ＰＳ２，ＰＳ４の集合全体の網羅
上記（０１）のＰＳ３の集合化とは本章４．４（０３）の事で，其れは座標軸と見立てられるＷ０３の事である。上記（０２）のＰＳ２の集合化とは本章４．４（０２）の事で，其れは座標軸と見立てられるＷ０２の事である。上記（０３）のＰＳ４の集合化とは本章４．４（０１）の事で，其れは座標軸と見立てられるＷ０４の事である。【０２２０】  其れらを網羅する作用をパレット関数と記す。其れらはΦ３，Φ２，Φ４で表される。其の標準形を図２６に示す。
４．７  パレット連鎖関数
第３章３．６で述べた様に，ＴＤＭが脈絡と同等の役割を担うためには，上記（０４）の役割が必要になる。其の作用をパレット連鎖関数と記す。其れはΦ０で表される。其の標準形を図２５に示す。【０２２１】  パレット連鎖関数の役割を能率化させる為に，経路制御情報テーブルと記す定型的なテーブルが用いられる。其の標準形を参考の為に表８に示す。このテーブルは，ＰＲＤ情報が定義されれば機械的に定義される。
４．８  パレット
本章４．４で集合化されるベクトルの集合とパレット関数をパレットと記す。以下に其の定義を示す。
（０１）Ｗ０４ｉ＝Φ４［｛｛Ｌ４｝＋｛０４｝＋｛Ｓ４｝＋Ｒ４｝ｉ］
（０２）Ｗ０２ｉ＝Φ２［｛｛Ｌ２｝＋｛Ｉ２｝＋Ｒ２Ｃ＋Ｒ２｝ｉ］
（０３）Ｗ０３ｉ＝Φ３［｛｛Ｌ３｝＋Ｒ３Ｒ＋Ｒ３Ｃ＋Ｒ３Ｄ＋Ｒ３Ｍ＋Ｒ３Ｅ｝ｉ］
添え字のｉは，パレット，並びにベクトルの識別を示す。記号＋は，パレット関数で管理されるベクトルの実行順序を示す。
４．９  ＳＦ
ＳＦは，ＴＤＭが電算機で可用させる事が出来るように再定義されたものである。以下の様に定義される。【０２２２】  ＳＦｉ＝Φ０［Ｗ０４＋Ｗ０２＋Ｗ０３］ｉ
添え字のｉは，ＳＦの識別を示す。記号＋は，パレット連鎖関数で管理されるパレットの実行順序を示す。
結果的に，ＳＦは意識を表す存在を電算機上で擬似的に成立させる構造となる。其の元になる情報は，要件である。
Ｗ０４，Ｗ０２，其してＷ０３は，ＴＤＭの座標の概念に相当する。【０２２３】  本研究ではこれらをパレットと総称する。ベクトルは，其の役割に基づいて，これらパレットの要素に割り当てられる。パレットとパレットを結ぶ作用は，経路作用要素と呼ぶベクトルの役割で成立する。ＳＦの概念図を図２３に示す。
プログラムの構造については，ウィナー，ダイクストラの研究がある。本研究で求められるＳＦは，プログラムの構造と言う意味では全く同じ概念であるが，其の由来は前者のものとは異なっている（非特許文献１０及び１１参照）。
第５章  要件を捉える公式（ＰＲＤ）
ＳＦをソフトを開発する際の思考法にする為に，パレットに属す作用要素と呼ぶベクトルが定義される。其の事により，ＳＦはソフトの要件を表す本研究で言うところの１個の意識を捉える仕組となる。其して，ＳＦは其の構成パレットに属すベクトル，パレット関数，並びにパレット連鎖関数をプログラム言語で定義する事により，其の要件をプログラムとして表す事が出来る。
従来では，要件からプログラムが導き出されるのに対し，既に述べた様にＳＦは要件から独立している本研究で求められるベクトルを定義する規則を用いて要件を探索し，其の事によりプログラムを決定する事が出来る。換言すれば，ＳＦは要件を捉える思考作用と等価に位置付けられる。
本研究では，ＳＦを要件を捉える要素と見立て，更に拡張される要件を捉える方法に翻訳し直される。翻訳し直されるＳＦをＰＲＤと記す。本章では，ＳＦをＰＲＤに翻訳する必要な事柄が述べられる。
５．１  ＰＲＤの構造
３個のＳＦで成立するＰＲＤの参考例を図２４に示す。１個のＳＦにおける３種のパレットを結ぶ経路作用要素，Ｒ４，Ｒ２，Ｒ３Ｒは，例外なく必然的に定義される。其して，３個のＳＦを結ぶ経路作用要素，Ｒ２Ｃ，Ｒ３Ｃ，Ｒ３Ｄ，Ｒ３Ｍも例外なく同様に必然的に定義される。【０２２４】  必然的に定義されると言う意味は，要件を捉えるＬ４，Ｌ２，Ｌ３のベクトルが定義されれば，其れから機械的に誘導されて定義されると言う事である。
１個のＳＦが１個の意識を表す存在を捉える構造である事を留意すれば，この例は，３個の意識を表す存在を捉える構造を含意している。付言すれば，この例は３個の意識で成立するソフトである。図で示す入力定義体，出力定義体，並びに其れらの関係はこの３個の意識に端を発する脈絡の上に現れる存在を意味する。更に，これら入力定義体，出力定義体に属す名詞も，其の脈絡の上に現れる存在を意味する。【０２２５】  入力定義体，出力定義体，並びにそれらに属す名詞の関係は，其れら名詞の属性により定義されるベクトルの相補作用によって成立する。
要件により発生するＳＦの数，並びに其れらを結び成立するＰＲＤの形態は，発生するＳＦの役割，並びに性質により様々な形態となる。しかし，ＳＦを結ぶ経路作用要素は，其の事とは関係なく普遍的に定義される。
意識を表す複数の存在を内包する唯１つの意識を表す存在が成立する場合もあり得る。其れが，複数のＳＦで構成されるＰＲＤが唯１個のＳＦに集約され得る事をも意味する。反対に，１個のＳＦが複数のＳＦに展開される場合も成立するのは当然の帰結である。
この構造は，従来のプログラムの構造と異なっている。其の考えは，例えば非特許文献１２等を参考にすればより明らかである。
５．２  ＳＦの結合規則
複数のＳＦを結合する規則を以下に示す。この規則は，複数の意識の成立順位を規約する作用に相当する。
（０１）ＳＦの継続規則
隣り合うＳＦを順序付ける結合は，Ｒ２Ｃ，Ｒ３Ｃで行われる。即ち，Ｒ２ＣはＷ０２から隣り合う下位のＳＦのＷ０４を結合し，Ｒ３ＣはＷ０３から隣り合う下位のＳＦのＷ０４をを結合する。
（０２）ＳＦの多重規則
隣り合うＳＦを逆に順序付ける結合は，Ｒ３Ｄで行われる。即ち，Ｒ３ＤはＷ０３から隣りり合う上位のＳＦのＷ０３を結合する。【０２２６】  脈絡で成立する存在には，其の全てが記憶を成立させる存在にはなり得ない事態が生じてしまう。即ち，其の一部が同化を成立させる存在になってしまうからである。其の為に言表が不充分になり，其れによる曖昧さが生じる。自己なる存在は，其れを解消する為に本能的に其の為の意識を表す存在を成立させる。この役割がＲ３Ｄで表される。
（０３）ＳＦの重複規則
直列に並ぶ３個のＳＦの隣り合うＳＦを逆に順序付ける結合は，Ｒ３Ｍで行われる。即ち，Ｒ３ＭはＷ０３から隣々上位のＳＦのＷ０４を結合する。上記（０２）の事態が重複して生じる場合，自己なる存在が果たす役割がＲ３Ｍで表される。
５．３  端点と始点の関係
ベクトルの第２規約の属性は，自己の名詞を基に，自己，或いは其れ以外の名詞を用いて定義される。この場合の自己の名詞を端点，其れ以外の名詞を始点と記す。【０２２７】  始点となる名詞の利用の仕方について，ＳＦ内，並びにＳＦ間で以下の関係が成立する。この関係は，本研究の仮説の基で成立する。本論文では，其の論述を行わない。
（０１）Ｌ４の始点となる名詞は，同じＳＦのＬ４の名詞を用いる事が出来る。
（０２）Ｌ４の始点となる名詞は，同じＳＦのＬ２の名詞を用いる事が出来る。
（０３）隣り合うＳＦで上位に位置するＳＦのＬ４の始点となる名詞は，下位に位置するＬ４の名詞を用いる事が出来る。
（０４）隣り合うＳＦで上位に位置するＳＦのＬ４の始点となる名詞は，下位に位置するＬ２の名詞を用いる事が出来ない。
（０５）同じ位置に配置される複数のＳＦのＬ４の始点となる名詞は，同じ位置に配置されるＳＦのＬ４の名詞を用いる事が出来ない。
（０６）同じ位置に配置される複数のＳＦのＬ４の始点となる名詞は，同じ位置に配置されるＳＦのＬ２の名詞を用いる事が出来ない。
（０７）直列に並ぶ３個のＳＦにおいて，其の最上位に位置するＬ４の始点となる名詞は，其の最下位に位置するＬ４の名詞を用いる事が出来ない。
（０８）直列に並ぶ３個のＳＦにおいて，其の最上位に位置するＬ４の始点となる名詞は，其の最下位に位置するＬ２の名詞を用いる事が出来ない。
（０９）上記（０７）のＬ４の始点となる名詞が，最下位のＳＦのＬ４の名詞を用いる場合には，其のＳＦのＬ４の名詞は同じ名詞を最上位のＬ４の名詞として別個に配置する。
其の最下位のＳＦの其のＬ４は，別個に配置される名詞に対して，同じ作用を行う。
（１０）上記（０７）のＬ４の始点となる名詞が，隣々下位のＳＦのＬ２の名詞を用いる事が出来ない。
（１１）隣り合うＳＦで下位に位置するＳＦのＬ４の始点となる名詞は，上位に位置するＬ４の名詞を用いる事が出来ない。
（１２）隣り合うＳＦで下位に位置するＳＦのＬ４の始点となる名詞は，上位に位置するＬ２の名詞を用いる事が出来ない。
（１３）Ｌ３の始点となる名詞は，同じＳＦのＬ２の名詞，Ｌ３の名詞，並びに既に過去である事が明らかなＬ４の名詞を用いる事が出来る。
（１４）Ｌ３の始点となる名詞は，同じＳＦの未来となるＬ４の名詞を用いる事が出来ない。
（１５）Ｌ２の始点となる名詞は，同じＳＦのＬ２の名詞以外は存在しない。
５．４  入力定義体と出力定義体の相補関係
ＳＦを定義する主要因は，入出力定義体である。これを成立させる作用が入出力作用要素のＩ２，Ｏ４である。入出力作用要素は，ＴＤＭと電算機システムの概念を融合する観点から定義されている。
Ｏ４の役割は，意識を表す存在から脈絡を成立させる存在を解き放す作用に相当する。【０２２８】  Ｉ２の役割は，意識を表す存在を成立させる起因なる存在，即ち，自己なる存在（図１１）を成立させる作用に相当する。
この観点では，入力作用と出力作用には，役割の上から大きな隔たりのある事が分かる。しかし，Ｉ２は自己なる存在（入力定義体）を成立させ，Ｏ４は其れを基に新たな存在（出力定義体）を成立させる事において，両作用には密接な繋がりがある。この関係を入力定義体と出力定義体の相補関係と記す。
ＳＦでは，Ｗ０２に入力定義体が属し，Ｗ０４に出力定義体が属している。其して，ＳＦはこれら定義体により定義される関係になる。この関係は，ＳＦ其れ自体も自己なる存在と等価である事を裏付けている。其して，入力定義体と出力定義体が相補関係を成すとは，其のＳＦが果たす自己なる存在の思考作用が其のＳＦで閉じていなければならない為の条件になる事である。
換言すれば，入力定義体と出力定義体の間にこの相補関係が成立する場合に限り，ＳＦが成立する事を意味する。即ち，複数のＳＦが必要となり，且つ，其れらが結合されるのも，其れらに係る全ての定義体に相補関係を成立させる為である。
５．５  ＳＦの縮約規則
ＰＲＤに属す複数のＳＦの間で，其れらが統合される関係を縮約と呼ぶ。以下に其の可否条件を示す。以下の関係と本研究の仮説の関係は，本論文では省略する。しかし，其れらは仮説の基で成立する関係である。
（０１）２つのＳＦに同じ入力定義体が定義される場合，其れらＳＦは縮約される。何とならば，其の定義体により成立するＳＦは，お互いに同じ自己を定義している事になるからである。
（０２）２つのＳＦに同じ出力定義体が定義され，且つ，入力定義体が異なる場合，其れらＳＦは縮約する事が出来ない。何とならば，其の定義体により成立するＳＦは，お互いに異なる自己を定義している事になるからである。
（０３）２つのＳＦで出力定義体が異なっても，上位の入力定義体に対し，下位の入力定義体が相補する関係を成すならば，其れらＳＦは縮約される。この場合，下位のＳＦの出力定義体は上位のＳＦの出力定義体として配置される。
（０４）上記の関係は，並列に並ぶＳＦ間においても成立する。
５．６  ベクトルの座標
ＴＤＭは，意識を成立させる存在を捉える為の擬似的な３次元空間の役割を果たしている。ＳＦもこの関係は同じである。其れ故，ＴＤＭの座標軸に相当するパレットは，其のパレットに属すベクトルに座標を与える役割を果たしている。其して、ＳＦは其れを構成するパレットにより擬似空間を定義する関係になっている。【０２２９】  この擬似空間に浮かぶ存在は名詞であり，脈絡で現れる存在に相当する。ＳＦが作用する事により其れら名詞に脈絡が生じ，其の状態がわれわれが認識するロジックに相当する。其のロジックが意識を表す存在を捉えると言う構想である。複数のＳＦが存在するＰＲＤは，この擬似空間が複数成立する関係を表す。換言すれば，要件はこの擬似空間によって捉えられると言う関係である。
ＰＲＤでは，この座標はＰＲＤ識別子，ＳＦ識別子，パレット識別子，ベクトル識別子の合成情報として定義される。この事により，ベクトルを定義する端点，始点の関係が要件の論理性を深く理解しなくとも，機械的に捉えられる事になる。
５．７  テンプレート（ＴＭＰ）の意義
ベクトルをプログラム言語で機械的に定義する仕組のプログラムをテンプレートと記す。テンプレートは，プログラム言語毎に定義される。本論文では，資料２としてこれを添付する。テンプレートの意味する所は，上述のベクトルを機械的に定義する仕組の他に，其れがＰＲＤを実際的に成立させる証明と成る事である。即ち，ベクトルの定義規則は，ＰＳを基に定義される。【０２３０】  ＰＳは，脈絡のモデル（思考モデル）から導かれている。脈絡のモデルは，自己なる存在のモデルから導かれている。自己なる存在のモデルは，本研究の仮想存在から導かれている。【０２３１】  以上の事から，このテンプレートによりＰＲＤが定義可能となる事は，仮想存在に用いられる仮説に妥当性がある事を意味する。
５．８  適応化の幾つかの工夫
本方法を具体的課題に適用する上で，以下の様な工夫が有効となる。
（０１）経路作用要素の定義を簡明にする為に，パレット連鎖関数とベクトルに分ける。其れに付随して，経路制御情報テーブルを設ける。表８参照。
（０２）経路作用要素の定義を簡明にする為に，Ｒ３Ｃ，Ｒ３Ｄ，Ｒ３Ｍをパレット連鎖関数に担わせる。
（０３）同期作用要素の定義を簡明にする為に，其の一部をパレット連鎖関数に担わせる。
５．９  本方法論の総括
本研究で求められるベクトルとは，要件に属す名詞を実体とする主語の事である。主語は，名詞と其れに帯同する属性として定義される。其して，其の構造は７種の叙述文と４種の領域で定義される。其の領域によりベクトルは名詞の存在を言表可能とし，且つ，其のベクトル自体を他のベクトルから独立させる事が出来る。以上の事により，ベクトルは要件を捉える最小クラスとして位置付けられる。この最小クラスの概念が要件，ソフト，並びにプログラム上で成立する事により，ソフトを捉える概念が従来に対し改善される。其の事を以下に述べる。
（０１）従来のアプローチ
図２８は、従来のアプローチを概念的に示した図である。【０２３２】  従来の方法論，例えば，ＤＯＡ，ＦＯＡ（機能指向法），ＯＯＡの根底に置かれる思想は，要件を定義しつつ其れを何らかの基準，例えば知識を基に分割し，実行環境に適応出来る様に補正，即ち設計して，其れをプログラム化する方法である。この方法では，結果的に，要件を分割する行為が分割者の恣意によって行われてしまう。【０２３３】  其の事により，分割される事柄の役割，性質が，他の分割される事柄の役割，性質と完全に分離する事が困難になる。【０２３４】  其の恣意は，本能的に其の分割者の論理的思想を基に成立するものである。論理的思想は事柄を紡ぐ作用となり，其れを分断する作用とは相反する傾向を持つ。其の事が要件を分割する事態を余計困難にさせている。即ち，要件の分割は均一なクラス概念を成立させる事が出来ないと言う事態を生じさせる結果になっている。【０２３５】  ソフト開発における諸問題は，この事態を克服するところに其の病巣がある。本研究の最小クラスの概念は，この本質的な問題の解決に寄与しうる事は明らかである。【０２３６】  図２０では，従来の要件の捉え方と本方法論の要件の捉え方の相違が示されている。
（０２）本方法で定義されるプログラムの位置付け
本方法で定義されるプログラム（ＳＦ，またはＰＲＤ）は，ＳＦの定義から其れを実装する工学的環境，即ち，入出力作用要素を除き，定義される。其れは，従来の方法によりプログラムが成立する位置と異なるものである。其れを図２１に示す。【０２３７】  これは，本方法論によるプログラムの役割が従来のプログラムの役割と必ずしも同じでない事を意味する。本方法論によるプログラムは，要件を捉えるプログラムとして位置付けられる。従来のプログラムは，要件をプログラムで再定義する役割として位置付けられる。即ち，従来のプログラムは要件に矛盾がない事を前提に定義される事になる。其の為に，事前に要件の妥当性を検証しておく必要がある。【０２３８】  其れに対し，本方法論によるプログラムは，従来のプログラムと同じ様に電算機上で可動可能であるが，要件の矛盾を発見する仕組になっている。付言すれば，本方法論のプログラムのソースライン数は従来のプログラムのソースライン数に較べ概算７倍〜１０倍となるが，其の役割の中には従来のプログラムが担っていない要件の矛盾を発見する仕組も含まれているのである。【０２３９】  しかし，表９で示されている本方法論による開発実績は，本方法論のプログラムのままで実用に寄与している。因に，経過時間性能では殆ど問題は生じていない。しかし，ＣＰＵ占有率は増加する。仮に，ソースライン数の多さが気になるのであれば，其れは論理的に再定義し直せば済む問題である。
本方法論のプログラムは，要件を迅速に把握し，其の妥当性を電算機上で迅速に確認する事が出来る。即ち，図２２で示す様に，ベクトルの第６規約では主語の不在が開示される。この状態が要件に潜む矛盾を指摘する事になる。其の意味で本方法のプログラムは，要件を定義する文章として位置付けるのが妥当である。【０２４０】  本プログラムが果たすこれらの効果は，最小クラスの概念から誘導されるものである。
（０３）図２２で示すベクトルの第１規約では，主語の第４領域の値の有無が確認される。其れは，名詞の真偽値を判定する為の叙述である。真値が既に決定していれば，ベクトルは繰り返し実行される事がない。この配慮は，必然的に電算機の処理時間を短縮させる役割を担う。この第１規約は，要件が名詞の集合である事に留意すれば，其の叙述は要件の妥当性を捉える役割を果たすものである。【０２４１】  しかし，この叙述は要件の論理性とは無関係に定義可能となる。【０２４２】  この効果は，最小クラスの概念から誘導されるものである。
（０４）図２２で示すベクトルの第３規約では，主語の第２領域の値の有無が確認される。其れは，名詞の真値の成立を判定する為の叙述である。この叙述は，ベクトルを成立させる名詞の属性を検証している事になる。【０２４３】  しかし，この叙述は要件の論理性とは無関係に定義可能となる。【０２４４】  この効果は，最小クラスの概念から誘導されるものである。
（０５）要件を捉える公式
本方法論では，要件は第４章４．１で述べられる様に主語の集合となる。其の形式で要件が定義されれば，上図の通り，本方法論のプログラムは機械的に決定される。上図の構図が本方法論で言う要件を捉える公式を意味する。
（０６）本方法のアプローチ
本方法の思想は，従来方法の思想よりもより根源的な水準でソフトを捉えている事は明らかである。其の事において，本方法の思想はこれまでの方法を統一する事になる。【０２４５】  従来の方法が妥当性，並びに検証性を中心とする開発方法となるのに対し，本方法では其の問題は上述（０３）（０４）で述べている様にベクトルに置きかえられる。
第６章  結論
本研究の意義を予知する為に，これまでのソフト世界の現象を考察する。
（０１）ソフトを体系化する原理が見いだされていない。其の結果，以下のような現象が散見される。
０１．自己で作成したプログラムの正当性を自ら確信する事が難しい。
０２．技術的な問題が管理の問題に置きかえられて議論される傾向が強い。
０３．関係者は次第に当事者能力を失う傾向がある。
０４．技術的問題が世間的常識で律される傾向がある。
０５．ソフトでは，妥当性，並びに検証性の保証が総合的に求められる。
０６．開発の生産性は能力の低い属人性に引き下げられ易い。
０７．ソフトの維持費用は効果と関係なく経時的に高騰する。
０８．プログラムの市場価値を分かりにくくしている。
０９．プログラムの生産コストの尺度が定まりにくい。
（０２）上記現象の直近の原因を求めると，以下の２点に纏められる。
０１．要件，並びに論理は，合成されると曖昧さ（合成の誤謬）が生じる。
０２．要件，並びに論理は，恣意的（闇箱）になる。
（０３）ソフト開発では，どの工程の作業でも，結果に現れない作業がより高い割合を占めている。
（０４）以上の事から，ソフトは強く意識に根差して成立するものである様に思われる。単に，工学的手法だけで克服出来る課題ではない様に思われる。
以上の観点から，ソフトの世界を合理的に構築する為には，結果に潜む事態を解明し，其れに対処出来る施策を講じることが必要である。【０２４６】  譬え，説得力のある論述であっても，其れが工学的観点に立つ限り，ソフト世界の課題を克服する手段となる事は有り得ない。これまでのソフトの世界は，ハードウェアを中心とする工学的世界に依存して来た為に，工学的世界から独立し得なかった様に思われる。【０２４７】  また，他の分野の知識にも依存してきた事が，ソフト世界の独立を妨げてきた原因である様に思われる。
例えば，工学が公共的認識を作り出す方法を提示する世界であるとするなら，ソフトは，例えば意図，意識などの語彙で代表される朦朧とした世界を捉える方法を必要とする世界である。例えば，科学的な在り方とは視点の異なる新しい認識世界の科学と位置付ける事が出来る。【０２４８】  今後のソフト世界に望まれることは，純粋にソフト世界を捉える思考方法を発見する事である。
しかし，この提案は関係者にとり，受け入れ難いであろう事は察せられる。何故なら，既存のソフトの世界は，何処かで破綻しない限り改善出来ない所まで社会構造的な仕組みが作り上げられ，殆どの関係者は其の中に組み込まれているからである。【０２４９】  其の事を実証する世界規模の潮流を以下に示す。
（０１）世界的なＹ２Ｋ騒動は，関係者に多くの教訓を与えた筈である。【０２５０】  しかし，其の後，何かが変革されたであろうか。既に，あの騒動は忘れ去られている様に思われる。其して，関係者の責任感，自覚は霧散してしまっている。
（０２）コンピュータ利用の殆どの機関は，世間的な問題を起こしても免罪符が与えられる機関と協調している。
（０３）コンピュータ利用の殆どの機関は，自己のソフト部門を切り離す傾向にある。ソフトの本質が理解されれば，信じ難い振る舞いである。
（０４）精神性を伴うわれわれの思考行為を，例えば，人工知能，ロボット等の機能的概念と同一視する風潮が作り出されている。
本研究は，ソフトの本質がわれわれの存在と深く関わる関係にあるとして捉えられる事を示している。其して，本研究は，人が存在しない世界でソフトは成立しない。また，存在する人が気付かない世界でソフトが成立している事を説明しようとしている。
本研究の成果は，この思想に基づいて論考された結果である。例えば，要件の曖昧さを回避して要件を定義するベクトルは，われわれの思考法を成立させる最小単位の発見に匹敵する概念である。この事によって，以下の問題を克服する原動力に成ると思われる。
（０１）われわれの思考法に生じる曖昧さの問題
（０２）論理の中に潜む恣意的な問題
（０３）言表不可能な事態に対処する問題
其れは，本研究の成果を用いて既に開発されているシステムを考察すれば，其の事を予感する事が出来る。正常な評価は，現在の状況では成し難いと思われるが，本研究の成果である概念を認識すれば，其の効果も容易に認識する事が出来る筈である。
本研究の成果であるＰＲＤを考察すれば，われわれの論理的史観の深層に位置する性質を捉えている事が分かる。この性質は，論理的史観を前提とする立場で捉える事は困難であるかもしれない。しかし，既存のプログラムから普遍的なアルゴリズムでＰＲＤを捉える事が出来る。この場合のこのアルゴリズムは，本研究の成果から得られるものである。即ち，本研究の成果は，既存のソフトの世界とは無縁ではなく，深層において繋がっている。この事は，本研究の成果が既存のソフトの世界の課題を克服する為に用いる事が出来る事を示している。
以上の本研究の成果は，ベクトルの定義規則が種別化された主語（要件に属す名詞）により決まり，其の定義規則に従えば，最小クラスの機能が求められる。其して，主語の種別数，ベクトルの定義規則の数，其れによって決まる最小クラスの機能の種別は，全て既定値となる事によるものである。
付言すれば，要件を捉える為のわれわれの思考法に改善を齎す。例えば，要件に関する関係者の認識から曖昧さを除く事が出来るので，能率的に要件に関する合意を作り出すことが出来る。ソフトの世界に最小クラスの概念を導入する事は，要件を捉える為のわれわれの思考の単位となり得るだけでなく，プログラムを定義する１命令文までを公共化する効果を獲得する事が出来る。
ソフトの世界は，半世紀に及ぶ経験を有している。しかし，本章の冒頭で触れた様に，其れを捉える原理の探索は放置されたままである。例えば，飛行機は５０年を得て音速を突破した。無線技術は，３０年で完成したと言われている。近代におけるこの様な工学的世界の変化には，其れなりの状況があり，其れを受け入れる人的土壌が其の分野にあった筈である。其の事を思うと，この分野の原理的な認識は存在していないので，混沌としたまま継続されている。
本研究を通じて明らかになった事は，ソフトの世界には原理，公理，理論が育つ土壌が見出し難い事である。換言すれば，基礎的な科学は歴史を振り返れば，個人に端を発している。しかし，この分野ではこの原則を作り出す事が非常に難しい様に思われる。しかし，この手順を踏まなければ，ソフトウェアは科学と呼ばれる期待される世界に到達する事は難しいであろう。
この分野の全ての関係者に求められる事は，科学の歴史に学ぶ事である様に思われる。換言すれば，今の時代，ソフトの専門家ひとりひとりが賢明な判断を行い得る決意を養う事が重要であると思われる。
本研究の成果は今後様々な分野で利用されると思われるが，其れに際して様々な視点からの議論が期待出来る。其れも，本研究の齎す成果だと考えられる。
本稿の最後に，本研究の全体像を要約する。【０２５１】  本研究の目的は，思考の限界を克服する思考モデルを形而上学的な仮説を用いて定義する事である。其して，其の妥当性を実感する事である。其の実感を得る手段として電算機が用いられる。【０２５２】  この為に，この思考モデルは電算機上で定義される。【０２５３】  換言すれば，この思考モデルは電算機上で定義可能となるように定義される。
結果から言えば，この思考モデルを定義する仕方は電算機のソフトを開発する場合の思考法を反映する。其して，本論で述べている様に，其の定義の仕方には公式と見なせる普遍性が成立する。【０２５４】  これは本研究の成果である。【０２５５】  この普遍性の証明は，結果的に添付されているベクトルの定義規則（資料１），ＴＭＰ（資料２）で与えられる。【０２５６】  其処には例外のない規則が論述されているだけである。
本研究では，思考は自己に成立する意識の作用として定義される。其して，この作用をモデル化する為に本研究では存在論をモデル化する。其れは存在，意図，自己，意識をモデル化する事である。
本研究では，思考は存在論の部分を成す作用であると考える。其の為，存在論の全体をモデル化する必要がある。そうでなければ，論理的に妥当な思考モデルを定義する事が出来ないからである。本研究が長期にわたる時間を要した理由はこの為である。
本研究の存在に関する思想性は基本概念（第２章２．３），存在の概念（第２章２．４．１）で明示されている。其して，本研究では其れらを裏付ける為に集合論の概念を用いて，モデル化が行われる。
本研究では，存在は連鎖として定義される。其して，連鎖の要素は論理原子である。論理原子は概念であり，その概念は本研究で仮説されている。其して，論理原子は本研究で仮説される時間速度から導かれる。
本研究では，存在は集合の概念を用いてモデル化される。この為に，時間速度，並びに論理原子は重要な位置を占める。【０２５７】  時間速度は，限定的で無次元の有理数である。其して，本研究では存在が空間を占める概念であると考える事から，論理原子は空間を表す有理数として位置付けられる。
本研究では，意識は自己に内在する連鎖である。【０２５８】  其して，本研究は，思考を以下の様に定義する。即ち，意識に内在する連鎖が自己を介して開放される様相が思考の作用である。
本研究では，思考の作用を脈絡と定義する。脈絡に属す全ての連鎖が言表出来れば，其の全言表の集合は其の思考の限界を越える作用を成立させる事になる。これが，本研究で行われる存在論に関する論考の結論である。
本研究では，叙述と言表の用法を区別している。叙述は存在の定義を意味し，言表は存在が存在する事の証明を意味する。叙述は時間的に過去の存在を定義する事が出来る。【０２５９】  しかし，言表は時間的に未来の存在しか証明する事が出来ない。
脈絡に属す連鎖の成立を証明する為には，其の連鎖の過去と未来の連鎖の言表が成立する事が必要である。何とならば，自分で自分を証明する事は出来ないからである。其れ故，今の連鎖の過去の連鎖が未来の連鎖と同じ位置付けになる様に，脈絡の構造は修正される。其れがＥＮＷである。其して，言表の構造がＰＳである。ＥＮＷの全体を言表する構造がＴＤＭである。思考モデルの仮説を電算機を用いて実証する基本構造がＳＦである。其して，其れを一般的に実証する構造がＰＲＤである。ＥＮＷの全体を言表する構造は，ＴＤＭから与えられる二つの制御プログラム（Φ０，ΦＰ）である。これらプログラムには，普遍性が成立する。
ＰＳはＳＦ，ＰＲＤにおいては要件を捉える最小単位に変わる。其れがベクトルである。ベクトルの定義の仕方は普遍的な規則になる。其れをプログラム言語で言表したものがＴＭＰである。【０２６０】  即ち，電算機上で実証される思考モデルは二つの普遍的な制御プログラム，ベクトルで定義する事が出来る。其して，其の思考モデルは要件を満たす役割を電算機上で果たす。【０２６１】  其の働きが妥当であるならば，本研究における仮説もまた，妥当性であると考えられる。
資料１，資料２は，其の妥当性を証明する役割を果たす為のものである。
なお、本発明は、上述した実施形態および実施例には限定されず、本発明の技術思想の範囲内で様々な変形が可能である。たとえば、ビジネス・メソッド、ソフトウェア開発装置、ソフトウェア開発支援装置、ソフトウェア開発管理装置、あるいはこれらの機能をコンピュータに実現するためのソフトウェア並びに該ソフトウェアを搭載した記録媒体・専用機、などとしてもそれぞれ実現することが可能である。さらに、上記で説明したように本発明は、方法としても、或いはかかる機能を備えるソフトウェアとしても、該ソフトウェアが搭載される装置・ツール（ソフトウェア自体の場合も含む）としても、さらにはシステムとしても、実現され得るのはもとよりである。【０２６２】  例えば図２１２は、本発明の異なる一実施形態として、「開発対象のソフトウェア」を生産するためのプログラム（ソフトウェア）、プログラム生成装置、プログラム処理装置、ツール（装置として或いはソフトウェアとしての双方を含む）、ソフトウェア開発装置、ソフトウェア開発支援装置、或いはソフトウェア開発管理装置のいずれかとして本発明を実施する場合に機能として備える構成を示した機能ブロック図である。同図に示すように、本発明に係るプログラム（ソフトウェア）、プログラム生成装置、プログラム処理装置、ツール（装置として或いはソフトウェアとしての双方を含む）、ソフトウェア開発装置、ソフトウェア開発支援装置、或いはソフトウェア開発管理装置は、全体制御部２０１０、ＰＲＤ（プロセス・ルート・ダイアグラム）部２０３０、ベクトル形成部２０４０、パレット部２０５０、パレット連鎖関数部２０６０及び情報記憶部２０７０を備えて構成される。【０２６３】  全体制御部２０１０は、本プログラム（ソフトウェア）、プログラム生成装置、プログラム処理装置、ツール（装置として或いはソフトウェアとしての双方を含む）、ソフトウェア開発装置、ソフトウェア開発支援装置、或いはソフトウェア開発管理装置の全体の動作制御、タイミング制御、入出力制御等を行う機能を有しており、当該機能を持つ専用チップ、専用回路、または当該機能をコンピュータに果たさせるためのソフトウェア（ツールとしてのソフトウェアも含む）、或いは該ソフトウェアを記録した記録媒体、当該記録媒体を搭載した処理装置・管理装置・ツールとして実現される。【０２６４】  ＰＲＤ（プロセス・ルート・ダイアグラム）部２０３０は、名詞が属する入力定義体、出力定義体をとらえる構造である基本構造（ＳＦ）、並びに、これら基本構造の関係と成立順序を所定の規則に従って、ＰＲＤ（プロセス・ルート・ダイアグラム）として捉えるための機能を有しており、当該機能を持つ専用チップ、専用回路、または当該機能をコンピュータに果たさせるためのソフトウェア（ツールとしてのソフトウェアも含む）、或いは該ソフトウェアを記録した記録媒体、当該記録媒体を搭載した処理装置・管理装置・ツールとして実現される。【０２６５】  ベクトル形成部２０４０は、定義された名詞の属性から、各名詞に該当する予め規定された１４種類のベクトル（サブルーチン・プログラム）：
Ｌ４、Ｌ２、Ｌ３、Ｉ２、０４、Ｓ４、Ｒ４、Ｒ２Ｃ、Ｒ２、Ｒ３Ｒ、Ｒ３Ｃ、Ｒ３Ｄ、Ｒ３Ｍ、Ｒ３Ｅ
を決定し、各ベクトルの未定義部分に該当する名詞の情報を埋め込み、未定義部分を埋め込むことで該ベクトルをサブルーチン・プログラムとして形成するするための機能を有しており、当該機能を持つ専用チップ、専用回路、または当該機能をコンピュータに果たさせるためのソフトウェア（ツールとしてのソフトウェアも含む）、或いは該ソフトウェアを記録した記録媒体、当該記録媒体を搭載した処理装置・管理装置・ツールとして実現される。【０２６６】  パレット部２０５０は、サブルーチン・プログラムとして形成したベクトルを、基本構造ごとに、ベクトルの実行を管理するパレット関数を伴う３つのパレット：
（０１）Ｗ０４ｉ＝Φ４［｛｛Ｌ４｝＋｛０４｝＋｛Ｓ４｝＋Ｒ４｝ｉ］
（０２）Ｗ０２ｉ＝Φ２［｛｛Ｌ２｝＋｛Ｉ２｝＋Ｒ２Ｃ＋Ｒ２｝ｉ］
（０３）Ｗ０３ｉ＝Φ３［｛｛Ｌ３｝＋Ｒ３Ｒ＋Ｒ３Ｃ＋Ｒ３Ｄ＋Ｒ３Ｍ＋Ｒ３Ｅ｝ｉ］
に集合させるための機能を有しており、当該機能を持つ専用チップ、専用回路、または当該機能をコンピュータに果たさせるためのソフトウェア（ツールとしてのソフトウェアも含む）、或いは該ソフトウェアを記録した記録媒体、当該記録媒体を搭載した処理装置・管理装置・ツールとして実現される。【０２６７】  パレット連鎖関数部２０６０は、基本構造ごとに集合されたパレットの実行を管理するパレット連鎖関数を用いてパレットをプログラム化するための機能を有しており、当該機能を持つ専用チップ、専用回路、または当該機能をコンピュータに果たさせるためのソフトウェア（ツールとしてのソフトウェアも含む）、或いは該ソフトウェアを記録した記録媒体、当該記録媒体を搭載した処理装置・管理装置・ツールとして実現される。【０２６８】  情報記憶部２０７０は、プログラム情報のほか、各種制御情報、目的プログラム等の格納のほか、一時記憶のためのメモリとしても用いられる。【０２６９】  図２１３は、上記の構成を備えるプログラム（ソフトウェア）、プログラム生成装置、プログラム処理装置、ツール（装置として或いはソフトウェアとしての双方を含む）、ソフトウェア開発装置、ソフトウェア開発支援装置、或いはソフトウェア開発管理装置のいずれかとして実施される本発明の動作を示したフローチャートである。【０２７０】  同図に示すように、まず、開発対象のソフトウェアに関する要件が、要件をとらえる最小単位である主語＝［名詞，狭義の属性，広義の属性］で定義される（ステップＳ−２０１）。【０２７１】  すると、ＰＲＤ（プロセス・ルート・ダイアグラム）部２０３０は、名詞が属する入力定義体、出力定義体をとらえる構造である基本構造（ＳＦ）、並びに、これら基本構造の関係と成立順序を所定の規則に従って、ＰＲＤ（プロセス・ルート・ダイアグラム）として捉える（ステップＳ−２０２）。【０２７２】  次に、ベクトル形成部２０４０は、定義部で定義された名詞の属性から、各名詞に該当する予め規定された１４種類のベクトル（サブルーチン・プログラム）：
Ｌ４、Ｌ２、Ｌ３、Ｉ２、０４、Ｓ４、Ｒ４、Ｒ２Ｃ、Ｒ２、Ｒ３Ｒ、Ｒ３Ｃ、Ｒ３Ｄ、Ｒ３Ｍ、Ｒ３Ｅ
を決定し、各ベクトルの未定義部分に該当する名詞の情報を埋め込み、未定義部分を埋め込むことで該ベクトルをサブルーチン・プログラムとして形成する（ステップＳ−２０３）。【０２７３】  次に、パレット部２０５０は、サブルーチン・プログラムとして形成したベクトルを、基本構造ごとに、ベクトルの実行を管理するパレット関数を伴う３つのパレット：
（０１）Ｗ０４ｉ＝Φ４［｛｛Ｌ４｝＋｛０４｝＋｛Ｓ４｝＋Ｒ４｝ｉ］
（０２）Ｗ０２ｉ＝Φ２［｛｛Ｌ２｝＋｛Ｉ２｝＋Ｒ２Ｃ＋Ｒ２｝ｉ］
（０３）Ｗ０３ｉ＝Φ３［｛｛Ｌ３｝＋Ｒ３Ｒ＋Ｒ３Ｃ＋Ｒ３Ｄ＋Ｒ３Ｍ＋Ｒ３Ｅ｝ｉ］
に集合させる（ステップＳ−２０４）。【０２７４】  最後に、パレット連鎖関数部２０６０は、基本構造ごとに集合されたパレットの実行を管理するパレット連鎖関数を用いてパレットをプログラム化する（ステップＳ−２０５）。【０２７５】  よって、上記のような構成を備える本発明によれば、本発明の独自の体系に基づいて要求定義をとらえ、それを本発明独自の構造を備えるベクトル（サブルーチン）の未定義部分に代入するので、所望のソフトウェアが、属人性なく得られる。【０２７６】  本発明はさらに、上述の「開発対象のソフトウェアを生産する方法」によって生産されたソフトウェア、及び当該ソフトウェアが搭載された記録媒体或いは当該ソフトウェアが搭載された装置（ハードウェア）としても実現されるが、この場合の本発明は、予め規定された１４種類のベクトル（サブルーチン・プログラム）：
Ｌ４、Ｌ２、Ｌ３、Ｉ２、０４、Ｓ４、Ｒ４、Ｒ２Ｃ、Ｒ２、Ｒ３Ｒ、Ｒ３Ｃ、Ｒ３Ｄ、Ｒ３Ｍ、Ｒ３Ｅ
が、ベクトルの実行を管理するパレット関数を伴う３つのパレット：
（０１）Ｗ０４ｉ＝Φ４［｛｛Ｌ４｝＋｛０４｝＋｛Ｓ４｝＋Ｒ４｝ｉ］
（０２）Ｗ０２ｉ＝Φ２［｛｛Ｌ２｝＋｛Ｉ２｝＋Ｒ２Ｃ＋Ｒ２｝ｉ］
（０３）Ｗ０３ｉ＝Φ３［｛｛Ｌ３｝＋Ｒ３Ｒ＋Ｒ３Ｃ＋Ｒ３Ｄ＋Ｒ３Ｍ＋Ｒ３Ｅ｝ｉ］
に集合（パレット化）されて得られる全体に、基本構造ごとに集合されたパレットの実行を管理するパレット連鎖関数が配置される構造を有するように構成することもできる。【０２７７】  またさらに本発明は、上述の「開発対象のソフトウェアを生産する方法」によってソフトウェアを生産するために用いられるソフトウェアコードの雛型としてのソフトウェア、及び当該ソフトウェアが搭載された記録媒体或いは当該ソフトウェアが搭載された装置（ハードウェア）としても実現されるが、この場合のうちの１４種類のベクトル（サブルーチン・プログラム）いずれかとしての本発明は、
Ｌ４（論理要素）：未来の自己を表す名詞に真偽値を決定する為の機能を有する；
Ｌ２（論理要素）：子孫を有しない自己を表す名詞に真偽値を定義する為の機能を有する；
Ｌ３（論理要素）：過去の自己を表す名詞に真偽値を決定する為の機能を有する；
Ｉ２（入力作用要素）：上記Ｌ２の成立を支援する為の機能を有する；
Ｏ４（出力作用要素）：上記Ｌ４の結果を宣言する為の機能を有する；
Ｓ４（同期作用要素）：ベクトルの領域を用いてＳＦの周期性を整備する為の機能を有する；
Ｒ４（経路作用要素）：Ｗ０４とＷ０２に順序性を与える為の機能を有する；
Ｒ２Ｃ（経路作用要素）：Ｗ０２と隣下位のＷ０４に順序性を与える為の機能を有する；
Ｒ２（経路作用要素）：Ｗ０２とＷ０３に順序性を与える為の機能を有する；
Ｒ３Ｒ（経路作用要素）：Ｗ０３とＷ０４に順序性を与える為の機能を有する；
Ｒ３Ｃ（経路作用要素）：Ｗ０３と隣下位のＷ０４に順序性を与える為の機能を有する；
Ｒ３Ｄ（経路作用要素）：Ｗ０３と隣上位のＷ０３に順序性を与える為の機能を有する；
Ｒ３Ｍ（経路作用要素）：Ｗ０３と隣々上位のＷ０４に順序性を与える為の機能を有する；
Ｒ３Ｅ（経路作用要素）：ＳＦの作用を終了させる為の機能を有する；
のいずれかであるように構成してよい。【０２７８】  また、上記「開発対象のソフトウェアを生産する方法」によってソフトウェアを生産するために用いられるソフトウェアコードの雛型としてのソフトウェア、及び当該ソフトウェアが搭載された記録媒体或いは当該ソフトウェアが搭載された装置（ハードウェア）としても実現される場合のうちのベクトルの実行管理を行うパレット関数（サブルーチン・プログラム）としての本発明は、
（０１）Ｗ０４ｉ＝Φ４［｛｛Ｌ４｝＋｛０４｝＋｛Ｓ４｝＋Ｒ４｝ｉ］
（０２）Ｗ０２ｉ＝Φ２［｛｛Ｌ２｝＋｛Ｉ２｝＋Ｒ２Ｃ＋Ｒ２｝ｉ］
（０３）Ｗ０３ｉ＝Φ３［｛｛Ｌ３｝＋Ｒ３Ｒ＋Ｒ３Ｃ＋Ｒ３Ｄ＋Ｒ３Ｍ＋Ｒ３Ｅ｝ｉ］
のいずれかの集合化と其の網羅とを行うΦ４、Φ２、Φ３のいずれかの機能を構造として具備してよい。【０２７９】  上記「開発対象のソフトウェアを生産する方法」によってソフトウェアを生産するために用いられるソフトウェアコードの雛型としてのソフトウェア、及び当該ソフトウェアが搭載された記録媒体或いは当該ソフトウェアが搭載された装置（ハードウェア）としても実現される場合のうちのパレット関数の実行管理を行うパレット連鎖関数（プログラム）としての本発明は、３種のパレット：
（０１）Ｗ０４ｉ＝Φ４［｛｛Ｌ４｝＋｛０４｝＋｛Ｓ４｝＋Ｒ４｝ｉ］
（０２）Ｗ０２ｉ＝Φ２［｛｛Ｌ２｝＋｛Ｉ２｝＋Ｒ２Ｃ＋Ｒ２｝ｉ］
（０３）Ｗ０３ｉ＝Φ３［｛｛Ｌ３｝＋Ｒ３Ｒ＋Ｒ３Ｃ＋Ｒ３Ｄ＋Ｒ３Ｍ＋Ｒ３Ｅ｝ｉ］
で構成されるＳＦに対して、
ＳＦｉ＝Φ０［Ｗ０４＋Ｗ０２＋Ｗ０３］ｉ
で規定されるΦ０の構造を具備してよい。【０２８０】  さらに、本発明は、上述の「開発対象のソフトウェアを生産する方法」による、要件から抽出した情報（ドキュメント（紙、データ））たる名詞情報、入出力定義体情報、ＰＲＤ情報のいずれかの情報の抽出方法として、またかかる抽出方法によって抽出された情報（ドキュメント（紙、データ））として、さらには当該抽出された情報の使用方法として、或いは、これらの情報が搭載された情報記録媒体として、または情報の抽出方法／使用方法がコード化されたソフトウェア、当該ソフトウェアが搭載された記録媒体／装置（ハードウェア）として、いずれも実現することができるが、この場合の本発明は、要件から抽出すべき情報として、
名詞情報：名詞＝［名称，識別子，所定の２２種のいずれかに分類される名詞種別］により定義されるべき情報；
入出力定義体情報：入力定義体、出力定義体、並びにそれらに属する名詞の関係に関する情報；
ＰＲＤ情報：所定の規則によってＳＦを順序づける情報
を備えて良い。【０２８１】  さらに本願発明は、その技術思想の同一及び等価に及ぶ範囲において様々な変形、追加、置換、拡大、縮小等を許容するものである。また、本願発明を用いて生産される装置、方法、ソフトウェア、システムが、その２次的生産品に登載されて商品化された場合であっても、本願発明の価値は何ら減ずるものではない。【０２８２】
【表１】
2005029322.tif 000002
【０２８３】
【表２】
2005029322.tif 000003
【０２８４】
【表３】
2005029322.tif 000004
【０２８５】
【表４】
2005029322.tif 000005
【０２８６】
【表５】
2005029322.tif 000006
【０２８７】
【表６】
2005029322.tif 000007
【０２８８】
【表７】
2005029322.tif 000008
【０２８９】
【表８】
2005029322.tif 000009
【０２９０】
【表９】
2005029322.tif 000010
資料１：ベクトルの定義規則
定義規則１  ：名詞が正規で狭義の属性が入力のベクトル
定義規則２  ：名詞が正規で狭義の属性が入力，配列のベクトル
定義規則３  ：名詞が正規で狭義の属性が出力のベクトル
定義規則４  ：名詞が正規で狭義の属性が出力，等価のベクトル
定義規則５  ：名詞が正規で狭義の属性が出力，配列のベクトル
定義規則６  ：名詞が正規で狭義の属性が出力，等価，配列のベクトル
定義規則７  ：名詞が正規で狭義の属性が出力，境界のベクトル
定義規則８  ：名詞が正規で狭義の属性が出力，等価，境界のベクトル
定義規則９  ：名詞が正規で狭義の属性が出力，配列，境界のベクトル
定義規則１０：名詞が正規で狭義の属性が出力，等価，配列，境界のベクトル
定義規則１１：名詞がＫのベクトル
定義規則１２：名詞がＫで狭義の属性が等価のベクトル
定義規則１３：名詞がＫで狭義の属性が配列のベクトル
定義規則１４：名詞がＫで狭義の属性が等価，配列のベクトル
定義規則１５：名詞がＭで狭義の属性が出力のベクトル
定義規則１６：名詞がＭで狭義の属性が出力，等価のベクトル
定義規則１７：名詞がＭで狭義の属性が出力，配列のベクトル
定義規則１８：名詞がＭで狭義の属性が出力，等価，配列のベクトル
定義規則１９：名詞が論理体で狭義の属性が入力のベクトル
定義規則２０：名詞がアクセスキ−で狭義の属性が出力のベクトル
定義規則２１：名詞が処理条件キ−で狭義の属性が出力のベクトル
定義規則２２：名詞が論理体で狭義の属性が出力のベクトル
定義規則２３：名詞がアクセスキ−で狭義の属性が出力のベクトル
定義規則２４：名詞が処理条件キ−で狭義の属性が出力のベクトル
定義規則２５：名詞がパレットＷ０４でＲ４のベクトル
定義規則２６：名詞がパレットＷ０２でＲ２Ｃのベクトル
定義規則２７：名詞がパレットＷ０２でＲ２のベクトル
定義規則２８：名詞がパレットＷ０３でＲ３Ｒのベクトル
定義規則２９：名詞がパレットＷ０３でＲ３Ｅのベクトル
定義規則３０：名詞がパレットＷ０３でＲ３Ｃのベクトル
定義規則３１：名詞がパレットＷ０３でＲ３Ｄのベクトル
定義規則３２：名詞がパレットＷ０３でＲ３Ｍのベクトル
定義規則３３：名詞がＩ２第２領域のＳ４のベクトル
定義規則３４：名詞がＩ２第４領域のＳ４のベクトル
定義規則３５：名詞が入力アクセスキ−のＬ３第４領域のＳ４のベクトル
定義規則３６：名詞が入力処理条件キ−のＬ３第４領域のＳ４のベクトル
定義規則３７：名詞がＯ４第４領域のＳ４のベクトル
定義規則３８：名詞が出力アクセスキ−のＬ３第４領域のＳ４のベクトル
定義規則３９：名詞が出力処理条件キ−のＬ３第４領域のＳ４のベクトル
定義規則４０：名詞がＬ４第４領域のＳ４のベクトル
定義規則４１から５１については定義規則４０に準じる。
定義規則５２：名詞がＬ２第４領域のＳ４のベクトル
定義規則５３から５７については定義規則５２に準じる。
定義規則５８：名詞がＬ３第４領域のＳ４のベクトル
定義規則５９から７３については定義規則５８に準じる。
資料２：テンプレ−ト（プログラム言語がＶＢの例）
定義規則１で定義されるベクトルＬ２（正規）
定義規則２で定義されるベクトルＬ２（正規）
定義規則３で定義されるベクトルＬ３（正規）
定義規則３で定義されるベクトルＬ４（正規）
定義規則４で定義されるベクトルＬ３（正規）
定義規則４で定義されるベクトルＬ４（正規）
定義規則５で定義されるベクトルＬ３（正規）
定義規則５で定義されるベクトルＬ４（正規）
定義規則６で定義されるベクトルＬ３（正規）
定義規則６で定義されるベクトルＬ４（正規）
定義規則７で定義されるベクトルＬ３（正規）
定義規則７で定義されるベクトルＬ４（正規）
定義規則８で定義されるベクトルＬ３（正規）
定義規則８で定義されるベクトルＬ４（正規）
定義規則９で定義されるベクトルＬ３（正規）
定義規則９で定義されるベクトルＬ４（正規）
定義規則１０で定義されるベクトルＬ３（正規）
定義規則１０で定義されるベクトルＬ４（正規）
定義規則１１で定義されるベクトルＬ３（Ｋ）
定義規則１１で定義されるベクトルＬ４（Ｋ）
定義規則１５で定義されるベクトルＬ４（Ｍ）については上記参照
定義規則１６で定義されるベクトルＬ４（Ｍ）については上記参照
定義規則１１で定義されるベクトルＬ２（Ｋ）
定義規則１２で定義されるベクトルＬ２（Ｋ）については上記参照
定義規則１５で定義されるベクトルＬ２（Ｍ）については上記参照
定義規則１６で定義されるベクトルＬ２（Ｍ）については上記参照
定義規則１１で定義されるベクトルＬ３（Ｋの派生元の正規）
定義規則１２で定義されるベクトルＬ３（Ｋの派生元の正規）については上記参照
定義規則１１で定義されるベクトルＬ４（Ｋの派生元の正規）
定義規則１２で定義されるベクトルＬ４（Ｋの派生元の正規）については上記参照
定義規則１２で定義されるベクトルＬ３（Ｋ）
定義規則１２で定義されるベクトルＬ４（Ｋ）
定義規則１３で定義されるベクトルＬ３（Ｋ）
定義規則１３で定義されるベクトルＬ４（Ｋ）
定義規則１７で定義されるベクトルＬ４（Ｍ）については上記参照
定義規則１８で定義されるベクトルＬ４（Ｍ）については上記参照
定義規則１３で定義されるベクトルＬ２（Ｋ）
定義規則１４で定義されるベクトルＬ２（Ｋ）については上記参照
定義規則１７で定義されるベクトルＬ２（Ｍ）については上記参照
定義規則１８で定義されるベクトルＬ２（Ｍ）については上記参照
定義規則１３で定義されるベクトルＬ３（Ｋの派生元の正規）
定義規則１４で定義されるベクトルＬ３（Ｋの派生元の正規）については上記参照
定義規則１３で定義されるベクトルＬ４（Ｋの派生元の正規）
定義規則１４で定義されるベクトルＬ４（Ｋの派生元の正規）については上記参照
定義規則１４で定義されるベクトルＬ３（Ｋ）
定義規則１４で定義されるベクトルＬ４（Ｋ）
定義規則１９で定義されるベクトルＩ２（入力論理体）
定義規則２０で定義されるベクトルＬ３（入力アクセスキ−）
定義規則２１で定義されるベクトルＬ３（入力処理条件キ−）
定義規則２２で定義されるベクトルＯ４（出力論理体）
定義規則２３で定義されるベクトルＬ３（出力アクセスキ−）
定義規則２４で定義されるベクトルＬ３（出力処理条件キ−）
定義規則２５で定義されるベクトルＲ４（Ｗ０４パレット）
定義規則２６で定義されるベクトルＲ２Ｃ（Ｗ０２パレット）
定義規則２９で定義されるベクトルＲ３Ｅ（Ｗ０３パレット）については上記参照
定義規則３０で定義されるベクトルＲ３Ｃ（Ｗ０３パレット）については上記参照
定義規則３１で定義されるベクトルＲ３Ｄ（Ｗ０３パレット）については上記参照
定義規則３２で定義されるベクトルＲ３Ｍ（Ｗ０３パレット）については上記参照
定義規則２７で定義されるベクトルＲ２（Ｗ０２パレット）
定義規則２８で定義されるベクトルＲ３Ｒ（Ｗ０３パレット）
定義規則３３で定義されるベクトルＳ４
定義規則３４で定義されるベクトルＳ４
定義規則３５で定義されるベクトルＳ４
定義規則３６で定義されるベクトルＳ４については上記参照
定義規則３７で定義されるベクトルＳ４
定義規則３８で定義されるベクトルＳ４
定義規則３９で定義されるベクトルＳ４については上記参照
定義規則４０で定義されるベクトルＳ４
定義規則４１で定義されるベクトルＳ４
定義規則４２で定義されるベクトルＳ４
定義規則４３で定義されるベクトルＳ４
定義規則４４で定義されるベクトルＳ４
定義規則４５で定義されるベクトルＳ４
定義規則４６で定義されるベクトルＳ４
定義規則４７で定義されるベクトルＳ４
定義規則４８で定義されるベクトルＳ４
定義規則４９で定義されるベクトルＳ４
定義規則５０で定義されるベクトルＳ４
定義規則５１で定義されるベクトルＳ４
定義規則５２で定義されるベクトルＳ４
定義規則５４で定義されるベクトルＳ４については上記参照
定義規則５５で定義されるベクトルＳ４については上記参照
定義規則５３で定義されるベクトルＳ４
定義規則５６で定義されるベクトルＳ４については上記参照
定義規則５７で定義されるベクトルＳ４については上記参照
定義規則５８で定義されるベクトルＳ４
定義規則５９で定義されるベクトルＳ４
定義規則６０で定義されるベクトルＳ４
定義規則６１で定義されるベクトルＳ４
定義規則６２で定義されるベクトルＳ４
定義規則６３で定義されるベクトルＳ４
定義規則６４で定義されるベクトルＳ４
定義規則６５で定義されるベクトルＳ４
定義規則６６で定義されるベクトルＳ４
定義規則６７で定義されるベクトルＳ４
定義規則６８で定義されるベクトルＳ４
定義規則６９で定義されるベクトルＳ４
定義規則７０で定義されるベクトルＳ４
定義規則７１で定義されるベクトルＳ４
定義規則７２で定義されるベクトルＳ４
定義規則７３で定義されるベクトルＳ４
【産業上の利用可能性】
【０２９１】  上記で詳細に説明したように、本発明はソフトウェア産業のみならず、ソフトウェアを利用する全産業に極めて有用な効果をもたらす。
【図面の簡単な説明】
【０２９２】
【図１】本発明の一実施形態に係るＩＤＳの模式図である。
【図２】本発明の一実施形態に係る論理原子（Ｖｉ）の空間速度を表す概念図である。
【図３】本発明の一実施形態に係る占有速度の概念を説明するための概念図である。
【図４】本発明の一実施形態に係る空の連鎖の概念を説明するための概念図である。
【図５】本発明の一実施形態に係る単元の連鎖の概念を説明するための概念図である。
【図６】本発明の一実施形態に係る連糸の概念を説明するための概念図である。
【図７】本発明の一実施形態に係る臨界連鎖の概念を説明するための概念図である。
【図８】本発明の一実施形態に係る特異連鎖の概念を説明するための概念図である。
【図９】本発明の一実施形態に係る意図の概念を説明するための概念図である。
【図１０】本発明の一実施形態に係る意識の概念を説明するための概念図である。
【図１１】本発明の一実施形態に係る自己なる存在のモデルを概念的に説明するための図である。
【図１２】本発明の一実施形態に係る脈絡のモデルを概念的に説明するための図である。
【図１３】本発明の一実施形態に係る自己の存在を証明する方法を概念的に説明するための図である。
【図１４】本発明の一実施形態に係る自己の未来の言表構造（ＰＳ４）を説明するための図である。
【図１５】本発明の一実施形態に係る過去でも未来でもない自己の言表構造（ＰＳ２）を説明するための図である。
【図１６】本発明の一実施形態に係る過去の自己の言表構造（ＰＳ３）を説明するための図である。
【図１７】本発明の一実施形態に係る未来の自己が存在しない自己の言表構造（ＰＳ２−１）を説明するための図である。
【図１８】本発明の一実施形態に係るＥＮＷのモデルを説明するための図である。
【図１９】本発明の一実施形態に係るＴＤＭのモデルを説明するための図である。
【図２０】本発明の一実施形態に係る要件の捉え方を説明するための図である。
【図２１】本発明の一実施形態に係るプログラムの位置付けを説明するための図である。
【図２２】本発明の一実施形態に係るベクトルの標準形を説明するための図である。
【図２３】本発明の一実施形態に係るＳＦ（基本構造）を概念的に説明するための図である。
【図２４】本発明の一実施形態に係るＰＲＤを概念的に説明するための図である。
【図２５】本発明の一実施形態に係るパレット連鎖関数の標準形を概念的に説明するための図である。
【図２６】本発明の一実施形態に係るパレット連鎖関数の標準形を概念的に説明するための図である。
【図２７】本発明の一実施形態に係るパレット関数の標準形を概念的に説明するための図である。
【図２８】従来のプログラム構築のアプローチを概念的に説明するための図である。
【図２９】本発明の要件を捉える公式を概念的に説明するための図である。
【図３０】本発明のアプローチを概念的に説明するための図である。
【図３１】本発明の一実施形態に係る定義規則１：名詞が正規で狭義の属性が入力のベクトルを概念的に説明するための図である。
【図３２】本発明の一実施形態に係る定義規則２：名詞が正規で狭義の属性が入力，配列のベクトルを概念的に説明するための図である。
【図３３】本発明の一実施形態に係る定義規則３：名詞が正規で狭義の属性が出力のベクトルを概念的に説明するための図である。
【図３４】本発明の一実施形態に係る定義規則４：名詞が正規で狭義の属性が出力，等価のベクトルを概念的に説明するための図である。
【図３５】本発明の一実施形態に係る定義規則５：名詞が正規で狭義の属性が出力，配列のベクトルを概念的に説明するための図である。
【図３６】本発明の一実施形態に係る定義規則６：名詞が正規で狭義の属性が出力，等価，配列のベクトルを概念的に説明するための図である。
【図３７】本発明の一実施形態に係る定義規則７：名詞が正規で狭義の属性が出力，境界のベクトルを概念的に説明するための図である。
【図３８】本発明の一実施形態に係る定義規則８：名詞が正規で狭義の属性が出力，等価，境界のベクトルを概念的に説明するための図である。
【図３９】本発明の一実施形態に係る定義規則９：名詞が正規で狭義の属性が出力，配列，境界のベクトルを概念的に説明するための図である。
【図４０】本発明の一実施形態に係る定義規則１０：名詞が正規で狭義の属性が出力，等価，配列，境界のベクトルを概念的に説明するための図である。
【図４１】本発明の一実施形態に係る定義規則１１：名詞がＫのベクトルを概念的に説明するための図である。
【図４２】本発明の一実施形態に係る定義規則１２：名詞がＫで狭義の属性が等価のベクトルを概念的に説明するための図である。
【図４３】本発明の一実施形態に係る定義規則１３：名詞がＫで狭義の属性が配列のベクトルを概念的に説明するための図である。
【図４４】本発明の一実施形態に係る定義規則１４：名詞がＫで狭義の属性が等価，配列のベクトルを概念的に説明するための図である。
【図４５】本発明の一実施形態に係る定義規則１５：名詞がＭで狭義の属性が出力のベクトルを概念的に説明するための図である。
【図４６】本発明の一実施形態に係る定義規則１６：名詞がＭで狭義の属性が出力，等価のベクトルを概念的に説明するための図である。
【図４７】本発明の一実施形態に係る定義規則１７：名詞がＭで狭義の属性が出力，配列のベクトルを概念的に説明するための図である。
【図４８】本発明の一実施形態に係る定義規則１８：名詞がＭで狭義の属性が出力，等価，配列のベクトルを概念的に説明するための図である。
【図４９】本発明の一実施形態に係る定義規則１９：名詞が論理体で狭義の属性が入力のベクトル、定義規則２０：名詞がアクセスキ−で狭義の属性が出力のベクトル、及び定義規則２１：名詞が処理条件キ−で狭義の属性が出力のベクトルを概念的に説明するための図である。
【図５０】本発明の一実施形態に係る定義規則２２：名詞が論理体で狭義の属性が出力のベクトル、定義規則２３：名詞がアクセスキ−で狭義の属性が出力のベクトル、及び定義規則２４：名詞が処理条件キ−で狭義の属性が出力のベクトルを概念的に説明するための図である。
【図５１】本発明の一実施形態に係る定義規則２５：名詞がパレットＷ０４でＲ４のベクトルを概念的に説明するための図である。
【図５２】本発明の一実施形態に係る定義規則２６：名詞がパレットＷ０２でＲ２Ｃのベクトルを概念的に説明するための図である。
【図５３】本発明の一実施形態に係る定義規則２７：名詞がパレットＷ０２でＲ２のベクトルを概念的に説明するための図である。
【図５４】本発明の一実施形態に係る定義規則２８：名詞がパレットＷ０３でＲ３Ｒのベクトルを概念的に説明するための図である。
【図５５】本発明の一実施形態に係る定義規則２９：名詞がパレットＷ０３でＲ３Ｅのベクトルを概念的に説明するための図である。
【図５６】本発明の一実施形態に係る定義規則３０：名詞がパレットＷ０３でＲ３Ｃのベクトルを概念的に説明するための図である。
【図５７】本発明の一実施形態に係る定義規則３１：名詞がパレットＷ０３でＲ３Ｄのベクトルを概念的に説明するための図である。
【図５８】本発明の一実施形態に係る定義規則３２：名詞がパレットＷ０３でＲ３Ｍのベクトルを概念的に説明するための図である。
【図５９】本発明の一実施形態に係る定義規則３３：名詞がＩ２第２領域のＳ４のベクトルを概念的に説明するための図である。
【図６０】本発明の一実施形態に係る定義規則３４：名詞がＩ２第４領域のＳ４のベクトルを概念的に説明するための図である。
【図６１】本発明の一実施形態に係る定義規則３５：名詞が入力アクセスキ−のＬ３第４領域のＳ４のベクトルを概念的に説明するための図である。
【図６２】本発明の一実施形態に係る定義規則３６：名詞が入力処理条件キ−のＬ３第４領域のＳ４のベクトルを概念的に説明するための図である。
【図６３】本発明の一実施形態に係る定義規則３７：名詞がＯ４第４領域のＳ４のベクトルを概念的に説明するための図である。
【図６４】本発明の一実施形態に係る定義規則３８：名詞が出力アクセスキ−のＬ３第４領域のＳ４のベクトルを概念的に説明するための図である。
【図６５】本発明の一実施形態に係る定義規則３９：名詞が出力処理条件キ−のＬ３第４領域のＳ４のベクトルを概念的に説明するための図である。
【図６６】本発明の一実施形態に係る定義規則４０：名詞がＬ４第４領域のＳ４のベクトルを概念的に説明するための図である。
【図６７】本発明の一実施形態に係る定義規則５２：名詞がＬ２第４領域のＳ４のベクトルを概念的に説明するための図である。
【図６８】本発明の一実施形態に係る定義規則５８：名詞がＬ３第４領域のＳ４のベクトルを概念的に説明するための図である。
【図６９】本発明の一実施形態に係る定義規則１で定義されるベクトルＬ２（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図７０】本発明の一実施形態に係る定義規則１で定義されるベクトルＬ２（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図７１】本発明の一実施形態に係る定義規則２で定義されるベクトルＬ２（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図７２】本発明の一実施形態に係る定義規則２で定義されるベクトルＬ２（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図７３】本発明の一実施形態に係る定義規則２で定義されるベクトルＬ２（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図７４】本発明の一実施形態に係る定義規則３で定義されるベクトルＬ３（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図７５】本発明の一実施形態に係る定義規則３で定義されるベクトルＬ３（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図７６】本発明の一実施形態に係る定義規則３で定義されるベクトルＬ４（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図７７】本発明の一実施形態に係る定義規則３で定義されるベクトルＬ４（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図７８】本発明の一実施形態に係る定義規則４で定義されるベクトルＬ３（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図７９】本発明の一実施形態に係る定義規則４で定義されるベクトルＬ３（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図８０】本発明の一実施形態に係る定義規則４で定義されるベクトルＬ４（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図８１】本発明の一実施形態に係る定義規則４で定義されるベクトルＬ４（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図８２】本発明の一実施形態に係る定義規則５で定義されるベクトルＬ３（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図８３】本発明の一実施形態に係る定義規則５で定義されるベクトルＬ３（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図８４】本発明の一実施形態に係る定義規則５で定義されるベクトルＬ３（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図８５】本発明の一実施形態に係る定義規則５で定義されるベクトルＬ４（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図８６】本発明の一実施形態に係る定義規則５で定義されるベクトルＬ４（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図８７】本発明の一実施形態に係る定義規則５で定義されるベクトルＬ４（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図８８】本発明の一実施形態に係る定義規則５で定義されるベクトルＬ４（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図８９】本発明の一実施形態に係る定義規則６で定義されるベクトルＬ３（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図９０】本発明の一実施形態に係る定義規則６で定義されるベクトルＬ３（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図９１】本発明の一実施形態に係る定義規則６で定義されるベクトルＬ３（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図９２】本発明の一実施形態に係る定義規則６で定義されるベクトルＬ４（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図９３】本発明の一実施形態に係る定義規則６で定義されるベクトルＬ４（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図９４】本発明の一実施形態に係る定義規則６で定義されるベクトルＬ４（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図９５】本発明の一実施形態に係る定義規則６で定義されるベクトルＬ４（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図９６】本発明の一実施形態に係る定義規則７で定義されるベクトルＬ３（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図９７】本発明の一実施形態に係る定義規則７で定義されるベクトルＬ３（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図９８】本発明の一実施形態に係る定義規則７で定義されるベクトルＬ４（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図９９】本発明の一実施形態に係る定義規則７で定義されるベクトルＬ４（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１００】本発明の一実施形態に係る定義規則８で定義されるベクトルＬ３（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１０１】本発明の一実施形態に係る定義規則８で定義されるベクトルＬ３（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１０２】本発明の一実施形態に係る定義規則８で定義されるベクトルＬ４（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１０３】本発明の一実施形態に係る定義規則８で定義されるベクトルＬ４（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１０４】本発明の一実施形態に係る定義規則９で定義されるベクトルＬ３（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１０５】本発明の一実施形態に係る定義規則９で定義されるベクトルＬ３（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１０６】本発明の一実施形態に係る定義規則９で定義されるベクトルＬ３（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１０７】本発明の一実施形態に係る定義規則９で定義されるベクトルＬ４（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１０８】本発明の一実施形態に係る定義規則９で定義されるベクトルＬ４（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１０９】本発明の一実施形態に係る定義規則９で定義されるベクトルＬ４（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１１０】本発明の一実施形態に係る定義規則９で定義されるベクトルＬ４（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１１１】本発明の一実施形態に係る定義規則１０で定義されるベクトルＬ３（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１１２】本発明の一実施形態に係る定義規則１０で定義されるベクトルＬ３（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１１３】本発明の一実施形態に係る定義規則１０で定義されるベクトルＬ３（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１１４】本発明の一実施形態に係る定義規則１０で定義されるベクトルＬ４（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１１５】本発明の一実施形態に係る定義規則１０で定義されるベクトルＬ４（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１１６】本発明の一実施形態に係る定義規則１０で定義されるベクトルＬ４（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１１７】本発明の一実施形態に係る定義規則１０で定義されるベクトルＬ４（正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１１８】本発明の一実施形態に係る定義規則１１で定義されるベクトルＬ３（Ｋ）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１１９】本発明の一実施形態に係る定義規則１１で定義されるベクトルＬ３（Ｋ）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１２０】本発明の一実施形態に係る定義規則１１で定義されるベクトルＬ４（Ｋ）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１２１】本発明の一実施形態に係る定義規則１１で定義されるベクトルＬ４（Ｋ）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１２２】本発明の一実施形態に係る定義規則１１で定義されるベクトルＬ２（Ｋ）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１２３】本発明の一実施形態に係る定義規則１１で定義されるベクトルＬ２（Ｋ）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１２４】本発明の一実施形態に係る定義規則１１で定義されるベクトルＬ３（Ｋの派生元の正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１２５】本発明の一実施形態に係る定義規則１１で定義されるベクトルＬ３（Ｋの派生元の正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１２６】本発明の一実施形態に係る定義規則１１で定義されるベクトルＬ４（Ｋの派生元の正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１２７】本発明の一実施形態に係る定義規則１１で定義されるベクトルＬ４（Ｋの派生元の正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１２８】本発明の一実施形態に係る定義規則１２で定義されるベクトルＬ３（Ｋ）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１２９】本発明の一実施形態に係る定義規則１２で定義されるベクトルＬ３（Ｋ）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１３０】本発明の一実施形態に係る定義規則１２で定義されるベクトルＬ４（Ｋ）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１３１】本発明の一実施形態に係る定義規則１２で定義されるベクトルＬ４（Ｋ）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１３２】本発明の一実施形態に係る定義規則１３で定義されるベクトルＬ３（Ｋ）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１３３】本発明の一実施形態に係る定義規則１３で定義されるベクトルＬ３（Ｋ）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１３４】本発明の一実施形態に係る定義規則１３で定義されるベクトルＬ３（Ｋ）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１３５】本発明の一実施形態に係る定義規則１３で定義されるベクトルＬ４（Ｋ）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１３６】本発明の一実施形態に係る定義規則１３で定義されるベクトルＬ４（Ｋ）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１３７】本発明の一実施形態に係る定義規則１３で定義されるベクトルＬ４（Ｋ）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１３８】本発明の一実施形態に係る定義規則１３で定義されるベクトルＬ４（Ｋ）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１３９】本発明の一実施形態に係る定義規則１３で定義されるベクトルＬ２（Ｋ）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１４０】本発明の一実施形態に係る定義規則１３で定義されるベクトルＬ２（Ｋ）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１４１】本発明の一実施形態に係る定義規則１３で定義されるベクトルＬ２（Ｋ）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１４２】本発明の一実施形態に係る定義規則１３で定義されるベクトルＬ３（Ｋの派生元の正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１４３】本発明の一実施形態に係る定義規則１３で定義されるベクトルＬ３（Ｋの派生元の正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１４４】本発明の一実施形態に係る定義規則１３で定義されるベクトルＬ３（Ｋの派生元の正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１４５】本発明の一実施形態に係る定義規則１３で定義されるベクトルＬ４（Ｋの派生元の正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１４６】本発明の一実施形態に係る定義規則１３で定義されるベクトルＬ４（Ｋの派生元の正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１４７】本発明の一実施形態に係る定義規則１３で定義されるベクトルＬ４（Ｋの派生元の正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１４８】本発明の一実施形態に係る定義規則１３で定義されるベクトルＬ４（Ｋの派生元の正規）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１４９】本発明の一実施形態に係る定義規則１４で定義されるベクトルＬ３（Ｋ）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１５０】本発明の一実施形態に係る定義規則１４で定義されるベクトルＬ３（Ｋ）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１５１】本発明の一実施形態に係る定義規則１４で定義されるベクトルＬ３（Ｋ）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１５２】本発明の一実施形態に係る定義規則１４で定義されるベクトルＬ４（Ｋ）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１５３】本発明の一実施形態に係る定義規則１４で定義されるベクトルＬ４（Ｋ）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１５４】本発明の一実施形態に係る定義規則１４で定義されるベクトルＬ４（Ｋ）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１５５】本発明の一実施形態に係る定義規則１４で定義されるベクトルＬ４（Ｋ）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１５６】本発明の一実施形態に係る定義規則１９で定義されるベクトルＩ２（入力論理体）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１５７】本発明の一実施形態に係る定義規則１９で定義されるベクトルＩ２（入力論理体）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１５８】本発明の一実施形態に係る定義規則２０で定義されるベクトルＬ３（入力アクセスキ−）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１５９】本発明の一実施形態に係る定義規則２０で定義されるベクトルＬ３（入力アクセスキ−）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１６０】本発明の一実施形態に係る定義規則２１で定義されるベクトルＬ３（入力処理条件キ−）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１６１】本発明の一実施形態に係る定義規則２１で定義されるベクトルＬ３（入力処理条件キ−）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１６２】本発明の一実施形態に係る定義規則２２で定義されるベクトルＯ４（出力論理体）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１６３】本発明の一実施形態に係る定義規則２２で定義されるベクトルＯ４（出力論理体）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１６４】本発明の一実施形態に係る定義規則２２で定義されるベクトルＯ４（出力論理体）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１６５】本発明の一実施形態に係る定義規則２３で定義されるベクトルＬ３（出力アクセスキ−）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１６６】本発明の一実施形態に係る定義規則２３で定義されるベクトルＬ３（出力アクセスキ−）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１６７】本発明の一実施形態に係る定義規則２４で定義されるベクトルＬ３（出力処理条件キ−）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１６８】本発明の一実施形態に係る定義規則２４で定義されるベクトルＬ３（出力処理条件キ−）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１６９】本発明の一実施形態に係る定義規則２５で定義されるベクトルＲ４（Ｗ０４パレット）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１７０】本発明の一実施形態に係る定義規則２５で定義されるベクトルＲ４（Ｗ０４パレット）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１７１】本発明の一実施形態に係る定義規則２６で定義されるベクトルＲ２Ｃ（Ｗ０２パレット）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１７２】本発明の一実施形態に係る定義規則２６で定義されるベクトルＲ２Ｃ（Ｗ０２パレット）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１７３】本発明の一実施形態に係る定義規則２７で定義されるベクトルＲ２（Ｗ０２パレット）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１７４】本発明の一実施形態に係る定義規則２７で定義されるベクトルＲ２（Ｗ０２パレット）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１７５】本発明の一実施形態に係る定義規則２８で定義されるベクトルＲ３Ｒ（Ｗ０３パレット）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１７６】本発明の一実施形態に係る定義規則２８で定義されるベクトルＲ３Ｒ（Ｗ０３パレット）のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１７７】本発明の一実施形態に係る定義規則３３で定義されるベクトルＳ４のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１７８】本発明の一実施形態に係る定義規則３４で定義されるベクトルＳ４のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１７９】本発明の一実施形態に係る定義規則３５で定義されるベクトルＳ４のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１８０】本発明の一実施形態に係る定義規則３７で定義されるベクトルＳ４のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１８１】本発明の一実施形態に係る定義規則３８で定義されるベクトルＳ４のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１８２】本発明の一実施形態に係る定義規則４０で定義されるベクトルＳ４のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１８３】本発明の一実施形態に係る定義規則４１で定義されるベクトルＳ４のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１８４】本発明の一実施形態に係る定義規則４２で定義されるベクトルＳ４のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１８５】本発明の一実施形態に係る定義規則４３で定義されるベクトルＳ４のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１８６】本発明の一実施形態に係る定義規則４４で定義されるベクトルＳ４のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１８７】本発明の一実施形態に係る定義規則４５で定義されるベクトルＳ４のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１８８】本発明の一実施形態に係る定義規則４６で定義されるベクトルＳ４のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１８９】本発明の一実施形態に係る定義規則４７で定義されるベクトルＳ４のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１９０】本発明の一実施形態に係る定義規則４８で定義されるベクトルＳ４のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１９１】本発明の一実施形態に係る定義規則４９で定義されるベクトルＳ４のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１９２】本発明の一実施形態に係る定義規則５０で定義されるベクトルＳ４のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１９３】本発明の一実施形態に係る定義規則５１で定義されるベクトルＳ４のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１９４】本発明の一実施形態に係る定義規則５２で定義されるベクトルＳ４のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１９５】本発明の一実施形態に係る定義規則５３で定義されるベクトルＳ４のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１９６】本発明の一実施形態に係る定義規則５８で定義されるベクトルＳ４のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１９７】本発明の一実施形態に係る定義規則５９で定義されるベクトルＳ４のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１９８】本発明の一実施形態に係る定義規則６０で定義されるベクトルＳ４のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図１９９】本発明の一実施形態に係る定義規則６１で定義されるベクトルＳ４のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図２００】本発明の一実施形態に係る定義規則６２で定義されるベクトルＳ４のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図２０１】本発明の一実施形態に係る定義規則６３で定義されるベクトルＳ４のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図２０２】本発明の一実施形態に係る定義規則６４で定義されるベクトルＳ４のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図２０３】本発明の一実施形態に係る定義規則６５で定義されるベクトルＳ４のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図２０４】本発明の一実施形態に係る定義規則６６で定義されるベクトルＳ４のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図２０５】本発明の一実施形態に係る定義規則６７で定義されるベクトルＳ４のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図２０６】本発明の一実施形態に係る定義規則６８で定義されるベクトルＳ４のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図２０７】本発明の一実施形態に係る定義規則６９で定義されるベクトルＳ４のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図２０８】本発明の一実施形態に係る定義規則７０で定義されるベクトルＳ４のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図２０９】本発明の一実施形態に係る定義規則７１で定義されるベクトルＳ４のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図２１０】本発明の一実施形態に係る定義規則７２で定義されるベクトルＳ４のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図２１１】本発明の一実施形態に係る定義規則７３で定義されるベクトルＳ４のテンプレ−ト（プログラム言語がＶＢの例）に係るコードの一例である。
【図２１２】本発明の一実施形態に係るプログラム（ソフトウェア）、プログラム生成装置、プログラム処理装置、ツール（装置として或いはソフトウェアとしての双方を含む）、ソフトウェア開発装置、ソフトウェア開発支援装置、或いはソフトウェア開発管理装置の構成を示した機能ブロック図である。
【図２１３】本発明の一実施形態に係る上記の構成を備えるプログラム（ソフトウェア）、プログラム生成装置、プログラム処理装置、ツール（装置として或いはソフトウェアとしての双方を含む）、ソフトウェア開発装置、ソフトウェア開発支援装置、或いはソフトウェア開発管理装置の動作を示したフローチャートである。
【符号の説明】
【０２９３】ＰＲＤ  処理経路図
ＳＦ  シナリオ関数
２０１０  全体制御部
２０３０  ＰＲＤ（プロセス・ルート・ダイアグラム）部
２０４０  ベクトル形成部
２０５０  パレット部
２０６０  パレット連鎖関数部
２０７０  情報記憶部
【図１】
2005029322.tif 000011
【図２】
2005029322.tif 000012
【図３】
2005029322.tif 000013
【図４】
2005029322.tif 000014
【図５】
2005029322.tif 000015
【図６】
2005029322.tif 000016
【図７】
2005029322.tif 000017
【図８】
2005029322.tif 000018
【図９】
2005029322.tif 000019
【図１０】
2005029322.tif 000020
【図１１】
2005029322.tif 000021
【図１２】
2005029322.tif 000022
【図１３】
2005029322.tif 000023
【図１４】
2005029322.tif 000024
【図１５】
2005029322.tif 000025
【図１６】
2005029322.tif 000026
【図１７】
2005029322.tif 000027
【図１８】
2005029322.tif 000028
【図１９】
2005029322.tif 000029
【図２０】
2005029322.tif 000030
【図２１】
2005029322.tif 000031
【図２２】
2005029322.tif 000032
【図２３】
2005029322.tif 000033
【図２４】
2005029322.tif 000034
【図２５】
2005029322.tif 000035
【図２６】
2005029322.tif 000036
【図２７】
2005029322.tif 000037
【図２８】
2005029322.tif 000038
【図２９】
2005029322.tif 000039
【図３０】
2005029322.tif 000040
【図３１】
2005029322.tif 000041
【図３２】
2005029322.tif 000042
【図３３】
2005029322.tif 000043
【図３４】
2005029322.tif 000044
【図３５】
2005029322.tif 000045
【図３６】
2005029322.tif 000046
【図３７】
2005029322.tif 000047
【図３８】
2005029322.tif 000048
【図３９】
2005029322.tif 000049
【図４０】
2005029322.tif 000050
【図４１】
2005029322.tif 000051
【図４２】
2005029322.tif 000052
【図４３】
2005029322.tif 000053
【図４４】
2005029322.tif 000054
【図４５】
2005029322.tif 000055
【図４６】
2005029322.tif 000056
【図４７】
2005029322.tif 000057
【図４８】
2005029322.tif 000058
【図４９】
2005029322.tif 000059
【図５０】
2005029322.tif 000060
【図５１】
2005029322.tif 000061
【図５２】
2005029322.tif 000062
【図５３】
2005029322.tif 000063
【図５４】
2005029322.tif 000064
【図５５】
2005029322.tif 000065
【図５６】
2005029322.tif 000066
【図５７】
2005029322.tif 000067
【図５８】
2005029322.tif 000068
【図５９】
2005029322.tif 000069
【図６０】
2005029322.tif 000070
【図６１】
2005029322.tif 000071
【図６２】
2005029322.tif 000072
【図６３】
2005029322.tif 000073
【図６４】
2005029322.tif 000074
【図６５】
2005029322.tif 000075
【図６６】
2005029322.tif 000076
【図６７】
2005029322.tif 000077
【図６８】
2005029322.tif 000078
【図６９】
2005029322.tif 000079
【図７０】
2005029322.tif 000080
【図７１】
2005029322.tif 000081
【図７２】
2005029322.tif 000082
【図７３】
2005029322.tif 000083
【図７４】
2005029322.tif 000084
【図７５】
2005029322.tif 000085
【図７６】
2005029322.tif 000086
【図７７】
2005029322.tif 000087
【図７８】
2005029322.tif 000088
【図７９】
2005029322.tif 000089
【図８０】
2005029322.tif 000090
【図８１】
2005029322.tif 000091
【図８２】
2005029322.tif 000092
【図８３】
2005029322.tif 000093
【図８４】
2005029322.tif 000094
【図８５】
2005029322.tif 000095
【図８６】
2005029322.tif 000096
【図８７】
2005029322.tif 000097
【図８８】
2005029322.tif 000098
【図８９】
2005029322.tif 000099
【図９０】
2005029322.tif 000100
【図９１】
2005029322.tif 000101
【図９２】
2005029322.tif 000102
【図９３】
2005029322.tif 000103
【図９４】
2005029322.tif 000104
【図９５】
2005029322.tif 000105
【図９６】
2005029322.tif 000106
【図９７】
2005029322.tif 000107
【図９８】
2005029322.tif 000108
【図９９】
2005029322.tif 000109
【図１００】
2005029322.tif 000110
【図１０１】
2005029322.tif 000111
【図１０２】
2005029322.tif 000112
【図１０３】
2005029322.tif 000113
【図１０４】
2005029322.tif 000114
【図１０５】
2005029322.tif 000115
【図１０６】
2005029322.tif 000116
【図１０７】
2005029322.tif 000117
【図１０８】
2005029322.tif 000118
【図１０９】
2005029322.tif 000119
【図１１０】
2005029322.tif 000120
【図１１１】
2005029322.tif 000121
【図１１２】
2005029322.tif 000122
【図１１３】
2005029322.tif 000123
【図１１４】
2005029322.tif 000124
【図１１５】
2005029322.tif 000125
【図１１６】
2005029322.tif 000126
【図１１７】
2005029322.tif 000127
【図１１８】
2005029322.tif 000128
【図１１９】
2005029322.tif 000129
【図１２０】
2005029322.tif 000130
【図１２１】
2005029322.tif 000131
【図１２２】
2005029322.tif 000132
【図１２３】
2005029322.tif 000133
【図１２４】
2005029322.tif 000134
【図１２５】
2005029322.tif 000135
【図１２６】
2005029322.tif 000136
【図１２７】
2005029322.tif 000137
【図１２８】
2005029322.tif 000138
【図１２９】
2005029322.tif 000139
【図１３０】
2005029322.tif 000140
【図１３１】
2005029322.tif 000141
【図１３２】
2005029322.tif 000142
【図１３３】
2005029322.tif 000143
【図１３４】
2005029322.tif 000144
【図１３５】
2005029322.tif 000145
【図１３６】
2005029322.tif 000146
【図１３７】
2005029322.tif 000147
【図１３８】
2005029322.tif 000148
【図１３９】
2005029322.tif 000149
【図１４０】
2005029322.tif 000150
【図１４１】
2005029322.tif 000151
【図１４２】
2005029322.tif 000152
【図１４３】
2005029322.tif 000153
【図１４４】
2005029322.tif 000154
【図１４５】
2005029322.tif 000155
【図１４６】
2005029322.tif 000156
【図１４７】
2005029322.tif 000157
【図１４８】
2005029322.tif 000158
【図１４９】
2005029322.tif 000159
【図１５０】
2005029322.tif 000160
【図１５１】
2005029322.tif 000161
【図１５２】
2005029322.tif 000162
【図１５３】
2005029322.tif 000163
【図１５４】
2005029322.tif 000164
【図１５５】
2005029322.tif 000165
【図１５６】
2005029322.tif 000166
【図１５７】
2005029322.tif 000167
【図１５８】
2005029322.tif 000168
【図１５９】
2005029322.tif 000169
【図１６０】
2005029322.tif 000170
【図１６１】
2005029322.tif 000171
【図１６２】
2005029322.tif 000172
【図１６３】
2005029322.tif 000173
【図１６４】
2005029322.tif 000174
【図１６５】
2005029322.tif 000175
【図１６６】
2005029322.tif 000176
【図１６７】
2005029322.tif 000177
【図１６８】
2005029322.tif 000178
【図１６９】
2005029322.tif 000179
【図１７０】
2005029322.tif 000180
【図１７１】
2005029322.tif 000181
【図１７２】
2005029322.tif 000182
【図１７３】
2005029322.tif 000183
【図１７４】
2005029322.tif 000184
【図１７５】
2005029322.tif 000185
【図１７６】
2005029322.tif 000186
【図１７７】
2005029322.tif 000187
【図１７８】
2005029322.tif 000188
【図１７９】
2005029322.tif 000189
【図１８０】
2005029322.tif 000190
【図１８１】
2005029322.tif 000191
【図１８２】
2005029322.tif 000192
【図１８３】
2005029322.tif 000193
【図１８４】
2005029322.tif 000194
【図１８５】
2005029322.tif 000195
【図１８６】
2005029322.tif 000196
【図１８７】
2005029322.tif 000197
【図１８８】
2005029322.tif 000198
【図１８９】
2005029322.tif 000199
【図１９０】
2005029322.tif 000200
【図１９１】
2005029322.tif 000201
【図１９２】
2005029322.tif 000202
【図１９３】
2005029322.tif 000203
【図１９４】
2005029322.tif 000204
【図１９５】
2005029322.tif 000205
【図１９６】
2005029322.tif 000206
【図１９７】
2005029322.tif 000207
【図１９８】
2005029322.tif 000208
【図１９９】
2005029322.tif 000209
【図２００】
2005029322.tif 000210
【図２０１】
2005029322.tif 000211
【図２０２】
2005029322.tif 000212
【図２０３】
2005029322.tif 000213
【図２０４】
2005029322.tif 000214
【図２０５】
2005029322.tif 000215
【図２０６】
2005029322.tif 000216
【図２０７】
2005029322.tif 000217
【図２０８】
2005029322.tif 000218
【図２０９】
2005029322.tif 000219
【図２１０】
2005029322.tif 000220
【図２１１】
2005029322.tif 000221
【図２１２】
2005029322.tif 000222
【図２１３】
2005029322.tif 000223
【国際調査報告】
2005029322.tif 000224
2005029322.tif 000225