特許7174468ウイルス侵入されたプログラムがプログラム自身でウイルスデータを排除できるプログラム開発方法
(19)【発行国】日本国特許庁(JP)
(12)【公報種別】特許公報(B1)
(11)【特許番号】
(24)【登録日】2022-11-09
(45)【発行日】2022-11-17
(54)【発明の名称】ウイルス侵入されたプログラムがプログラム自身でウイルスデータを排除できるプログラム開発方法
(51)【国際特許分類】
G06F 21/56 20130101AFI20221110BHJP
【ＦＩ】
G06F21/56 330
G06F21/56 380
【請求項の数】
1
(21)【出願番号】P 2022560378
(86)(22)【出願日】2022-06-13
(86)【国際出願番号】 JP2022023618
【審査請求日】2022-10-03
【早期審査対象出願】
(73)【特許権者】
【識別番号】598037422
【氏名又は名称】根来 文生
(74)【代理人】
【識別番号】110000752
【氏名又は名称】弁理士法人朝日特許事務所
(72)【発明者】
【氏名】根来 文生
【審査官】行田 悦資
(56)【参考文献】
【文献】国際公開第２０１６／０２１２２０（ＷＯ，Ａ１）
【文献】米国特許出願公開第２００２／０１７４３４９（ＵＳ，Ａ１）
【文献】特開２０１３－１６４７３２（ＪＰ，Ａ）
【文献】特開２００３－１０８２５３（ＪＰ，Ａ）
【文献】特表２０１４－５０１００２（ＪＰ，Ａ）
【文献】根来 文生，世界初！コンピュータウイルスを無力化するプログラム革命 （ＬＹＥＥ），日本，株式会社日本地域社会研究所，2014年11月03日，pp.73-77
(58)【調査した分野】(Int.Cl.，ＤＢ名)
Ｇ０６Ｆ ２１／５６
(57)【特許請求の範囲】
【請求項1】
コンピュータに、プログラムに従った処理の実行時に、シナリオ関数により前記プログラムを統治させる統治プログラムであって、
前記プログラムの命令文の各々に関し生成される主語ベクトルの各々において、
第１規約において、当該主語ベクトルの正統性を判断させ、
第２規約において、左辺が仮成立データである前記命令文をセットさせるとともに第２規約のフラグである第２フラグをオンにさせ、
第３規約において、第２規約の左辺に関与する右辺の全てのデータが正統であるかを判定させ、
第４規約において、第３規約における判定において全てのデータが正統であると判定された場合に限り、第２規約の左辺のデータを第４規約の正保存領域である第４保存領域と第４規約の副保存領域である第４コピー領域の各々に保存させ、
第５規約において、第３規約における判定において少なくとも１つのデータが正統でないと判定された場合、パレット４上の主語ベクトルのうち第４保存領域にデータが保存されている主語ベクトルの総数である主語成立数に基づき、当該主語ベクトルの再起及び停止のいずれかを選択させ、
第６規約において、第５規約において再起が選択された場合、当該主語ベクトルの再起を指示させ、第６規約のフラグである第６フラグをオンにさせ、
第７規約において、第５規約において停止が選択された場合、当該主語ベクトルの停止を指示させ、第７規約のフラグである第７フラグをオンにさせ、
第１規約において、
第２フラグがオンであり、且つ、当該主語ベクトルの第４保存領域と第４コピー領域に保存されているデータが一致する場合、当該主語ベクトルが正統であると判定した後に処理を終了させ、
第７フラグがオンの場合、当該主語ベクトルの第４保存領域と第４コピー領域を初期化した後に処理を終了させ、
第６フラグがオンの場合、当該主語ベクトルの第４保存領域、第４コピー領域、第２フラグ、及び、第６フラグを初期化した後に処理を第２規約に進ませ、
第２フラグがオンであり、且つ、当該主語ベクトルの第４保存領域と第４コピー領域に保存されているデータが一致しない場合、主語成立数から１を減算させ、当該主語ベクトルの第４保存領域、第４コピー領域、及び、第２フラグを初期化した後に処理を第２規約に進ませる
ための統治プログラム
【発明の詳細な説明】
【技術分野】
【0001】
本発明はコンピュータで実行されるプログラムの開発方法に関する。
【背景技術】
【0002】
本願発明者により論考されたソフトウェア構築の摂理に関する統一理論であるＬＹＥＥ理論がある。ＬＹＥＥ理論を開示している文献として、特許文献１乃至３及び非特許文献１乃至１０がある。
【0003】
また、ＬＹＥＥ理論に基づき本願発明者により開発されたシナリオ関数（以下、「ＳＦ」ともいう）がある。シナリオ関数を開示している文献として、特許文献４乃至９及び非特許文献１１乃至１４がある。
【0004】
特許文献７には、シナリオ関数を用いた、従来プログラムの潜在バグ構文を従来プログラムのソースから自動的に抽出する方法が開示されている。
【先行技術文献】
【特許文献】
【0005】
【文献】米国特許第６５３２５８６号明細書
【文献】特許第３１３３３４３号公報
【文献】欧州特許第０９４７９１６号明細書
【文献】特許第５９９２０７９号公報
【文献】特許第６０８６９７７号公報
【文献】米国特許第１０２３５５２２号明細書
【文献】特許第６９１７０７２号
【文献】特許第６７１９７９８号
【文献】国際公開第２０２１／１２４４１１号
【非特許文献】
【0006】
【文献】Fumio Negoro, "Lyee's Hypothetical World", "New Trends in Software Methodologies Tools and Techniques" 84 of Frontiers in Artificial Intelligence and Applications, pp. 3-22, IOS Press, September 2002
【文献】根来文生、「コンピュータウイルスを無力化するプログラム革命（ＬＹＥＥ）」日本地域社会研究所、２０１４年１０月
【文献】根来文生、「ＬＹＥＥ理論の要約」、［online］、エムティインターナショナル株式会社、［令和２年９月１日検索］、インターネット＜URL： https://mtiinc.jimdo.com/no190907/ｌｙｅｅ理論の要約/＞
【文献】Fumio Negoro, "Prinnciple of Lyee Sofutoware", "Proceeding of 2000 International Conference on Information Society in the 21st Century (IS2000)", pp.441-446, 2000
【文献】Fumio Negoro, "Intent Operationalisation for Source Code Generation", "Proceeding of World Multiconference on Systemics, Cybernetics and Informations (SCI2001)", Volume X IV, Computer Science and Engineering: Part II, pp.496-503, 2001
【文献】Issam A.Hamid and Fumio Negoro, "New Innovation on Software Implementation Methodology for 21st Century - What Software Science can Bring to Natural Language Processing", "Proceeding of World Multiconference on Systemics, Cybernetics and Informations (SCI2001)", Volume X IV, Computer Science and Engineering: Part II, pp.487-489, 2001
【文献】Fumio Negoro and Issam A.Hamid, "A Proposal for Intention Engineering", "Proceeding of International Conference on Advance in Infrastructure for Electronic Business, Science and Education on the Internet (SSGRR2001)", CD-ROM, 2001
【文献】Fumio Negoro, "The Predicate Structure to Represent the Intention for Software", "Proceeding of the ACIS 2nd International Conference on Software Engineering, Artificial Intelligence, Networking & Parallel/Distributed Computing (SNPD’01)", pp.985-992, 2001
【文献】Fumio Negoro, "A Proposal for Requirement Engineering", "Proceeding of the 5th East-European Conference on Advances in Databases and Information Systems (ADBIS2001)", Volume 2, TUTORIALS PROFESIONAL COMMUNICATIONS AND REPORTS, 2001
【文献】Fumio Negoro, "Method to Determine Software in a Deterministic Manner", "International Conference on Infotech & Info-Net (ICII2001)", 2001
【文献】根来文生、「シナリオ関数の原理模型」、［online］、エムティインターナショナル株式会社、［令和２年９月１日検索］、インターネット＜URL： https://mtiinc.jimdo.com/no190907/シナリオ関数の原理模型/＞
【文献】根来文生、「シナリオ関数の全景」、［online］、エムティインターナショナル株式会社、［令和２年９月１日検索］、インターネット＜URL： https://mtiinc.jimdo.com/no190907/シナリオ関数の全景/＞
【文献】根来文生、「日本国に於けるＳＦの特許出願に関する特許庁の拒絶審決に対し反論を述べた上申書（2021年1月18日）」、［online］、エムティインターナショナル株式会社、［令和３年１月２８日検索］、インターネット＜https://mtiinc.jimdofree.com/app/download/11620880491/シナリオ関数特許出願#上申書.pdf?t=1611881451＞
【文献】根来文生、「同期についての概念」、［online］、エムティインターナショナル株式会社、［令和３年１月２８日検索］、インターネット＜https://mtiinc.jimdofree.com/no210128/＞
【発明の概要】
【発明が解決しようとする課題】
【0007】
ウイルス侵入、サイバー攻撃に対する対策としてファイアウォールに代表されるような外壁方式を中心とする対応の為、ユーザープログラムにウイルス侵入を許すとなすすべなく情報漏洩、システム乗っ取り等が起こる。
【0008】
上記を鑑み、本願発明は、ウイルスに侵入されたプログラム自身がプログラムの実行中にウイルスを無力化する技術を提供する。
【課題を解決するための手段】
【0009】
本発明は、
コンピュータに、
プログラムに従った処理の実行時に、シナリオ関数により前記プログラムを統治させる統治プログラムであって、
前記プログラムの命令文の各々に関し生成される主語ベクトルの各々において、
第１規約において、当該主語ベクトルの正統性を判断させ、
第２規約において、左辺が仮成立データである前記命令文をセットさせるとともに第２規約のフラグである第２フラグをオンにさせ、
第３規約において、第２規約の左辺に関与する右辺の全てのデータが正統であるかを判定させ、
第４規約において、第３規約における判定において全てのデータが正統であると判定された場合に限り、第２規約の左辺のデータを第４規約の正保存領域である第４保存領域と第４規約の副保存領域である第４コピー領域の各々に保存させ、
第５規約において、第３規約における判定において少なくとも１つのデータが正統でないと判定された場合、パレット４上の主語ベクトルのうち第４保存領域にデータが保存されている主語ベクトルの総数である主語成立数に基づき、当該主語ベクトルの再起及び停止のいずれかを選択させ、
第６規約において、第５規約において再起が選択された場合、当該主語ベクトルの再起を指示させ、第６規約のフラグである第６フラグをオンにさせ、
第７規約において、第５規約において停止が選択された場合、当該主語ベクトルの停止を指示させ、第７規約のフラグである第７フラグをオンにさせ、
第１規約において、
第２フラグがオンであり、且つ、当該主語ベクトルの第４保存領域と第４コピー領域に保存されているデータが一致する場合、当該主語ベクトルが正統であると判定した後に処理を終了させ、
第７フラグがオンの場合、当該主語ベクトルの第４保存領域と第４コピー領域を初期化した後に処理を終了させ、
第６フラグがオンの場合、当該主語ベクトルの第４保存領域、第４コピー領域、第２フラグ、及び、第６フラグを初期化した後に処理を第２規約に進ませ、
第２フラグがオンであり、且つ、当該主語ベクトルの第４保存領域と第４コピー領域に保存されているデータが一致しない場合、主語成立数から１を減算させ、当該主語ベクトルの第４保存領域、第４コピー領域、及び、第２フラグを初期化した後に処理を第２規約に進ませる
ための統治プログラム
を提供する。
コンピュータに、
プログラムに従った処理の実行時に、シナリオ関数により前記プログラムを統治させる統治プログラムであって、
前記プログラムの命令文の各々に関し生成される主語ベクトルの各々において、
第１規約において、当該主語ベクトルの正統性を判断させ、
第２規約において、左辺が仮成立データである前記命令文をセットさせるとともに第２規約のフラグである第２フラグをオンにさせ、
第３規約において、第２規約の左辺に関与する右辺の全てのデータが正統であるかを判定させ、
第４規約において、第３規約における判定において全てのデータが正統であると判定された場合に限り、第２規約の左辺のデータを第４規約の正保存領域である第４保存領域と第４規約の副保存領域である第４コピー領域の各々に保存させ、
第５規約において、第３規約における判定において少なくとも１つのデータが正統でないと判定された場合、パレット４上の主語ベクトルのうち第４保存領域にデータが保存されている主語ベクトルの総数である主語成立数に基づき、当該主語ベクトルの再起及び停止のいずれかを選択させ、
第６規約において、第５規約において再起が選択された場合、当該主語ベクトルの再起を指示させ、第６規約のフラグである第６フラグをオンにさせ、
第７規約において、第５規約において停止が選択された場合、当該主語ベクトルの停止を指示させ、第７規約のフラグである第７フラグをオンにさせ、
第１規約において、
第２フラグがオンであり、且つ、当該主語ベクトルの第４保存領域と第４コピー領域に保存されているデータが一致する場合、当該主語ベクトルが正統であると判定した後に処理を終了させ、
第７フラグがオンの場合、当該主語ベクトルの第４保存領域と第４コピー領域を初期化した後に処理を終了させ、
第６フラグがオンの場合、当該主語ベクトルの第４保存領域、第４コピー領域、第２フラグ、及び、第６フラグを初期化した後に処理を第２規約に進ませ、
第２フラグがオンであり、且つ、当該主語ベクトルの第４保存領域と第４コピー領域に保存されているデータが一致しない場合、主語成立数から１を減算させ、当該主語ベクトルの第４保存領域、第４コピー領域、及び、第２フラグを初期化した後に処理を第２規約に進ませる
ための統治プログラム
を提供する。
【図面の簡単な説明】
【0010】
【発明を実施するための形態】
【0011】
シナリオ関数は、プログラムで使用される命令文の構成を定義式で表現したものである。以下に、シナリオ関数の定義式を示す。
【0012】
ＳＧ＝Φ０［Φ４｛Ｌ４｝，｛Ｗ４｝，Ｔ４，Ｅ４１，Ｅ４２］＋Φ２［｛Ｒ２｝，｛Ｌ２｝，Ｔ２］＋Φ３［｛Ｌ３｝，Ｔ３１，Ｔ３２，Ｔ３３］
ただし、
ＳＧ：シナリオ関数の解（主語系譜）
Φ０：同期関数
Φ４：座標関数４
Φ２：座標関数２
Φ３：座標関数３
座標関数４のパレット４：［｛Ｌ４｝，｛Ｗ４｝，Ｔ４，Ｅ４１，Ｅ４２］
座標関数２のパレット２：［｛Ｒ２｝，｛Ｌ２｝，Ｔ２］
座標関数３のパレット３：［｛Ｌ３｝，Ｔ３１，Ｔ３２，Ｔ３３］
主語ベクトル（５種）：Ｌ４，Ｗ４，Ｌ２，Ｒ２，Ｌ３
制御ベクトル（７種）：Ｅ４１，Ｅ４２，Ｔ４，Ｔ２，Ｔ３１，Ｔ３２，Ｔ３３
である。
ただし、
ＳＧ：シナリオ関数の解（主語系譜）
Φ０：同期関数
Φ４：座標関数４
Φ２：座標関数２
Φ３：座標関数３
座標関数４のパレット４：［｛Ｌ４｝，｛Ｗ４｝，Ｔ４，Ｅ４１，Ｅ４２］
座標関数２のパレット２：［｛Ｒ２｝，｛Ｌ２｝，Ｔ２］
座標関数３のパレット３：［｛Ｌ３｝，Ｔ３１，Ｔ３２，Ｔ３３］
主語ベクトル（５種）：Ｌ４，Ｗ４，Ｌ２，Ｒ２，Ｌ３
制御ベクトル（７種）：Ｅ４１，Ｅ４２，Ｔ４，Ｔ２，Ｔ３１，Ｔ３２，Ｔ３３
である。
【0013】
この定義式の詳細に関しては、非特許文献１２（「シナリオ関数の全景」）に記載されており公知であるため、その説明を省略する。
【0014】
図１は、シナリオ関数により統治されているプログラム（以下、「シナリオ関数プログラム」という）の同期アルゴリズムの仕組みを表した図である。同期関数は起動後、座標関数４、パレット４上のベクトルを実行する。座標関数はパレット上のベクトルを順次実行する。パレットの処理は、パレット上の全ベクトルのデータが成立すると終了する。Ｅ４１の第４保存領域がオンの場合、同期関数はシステム終了プログラムを起動し、実行中のシナリオ関数の処理が終了する。
【0015】
なお、パレット４の時は現在、パレット２の時は過去、パレット３の時は未来に対応する。
【0016】
図２は、ベクトル（主語ベクトル又は制御ベクトル）の構造を示した図である。主語ベクトルはプログラムに含まれる命令文の各々に関し生成される。各々の主語ベクトルは７つの規約（第１規約～第７規約）で構成され、データ成立の正統性を担保する役割を果たす。
【0017】
以下のサンプルプログラムがシナリオ関数により統治される場合を例に、７つの規約の各々において実行される処理を説明する。
【0018】
（サンプルプログラム）
００１ Ｇ＝１０
００２ Ｌ１ ＲＥＡＤ Ｆ１（Ｒ，Ｆ）
００３ Ｆ＝Ｒ－Ｆ
００４ ＩＦ Ｆ＜０
００５ ＣＬＯＳＥ Ｆ１
００６ Ｂ＝Ｇ－Ｆ
００１ Ｇ＝１０
００２ Ｌ１ ＲＥＡＤ Ｆ１（Ｒ，Ｆ）
００３ Ｆ＝Ｒ－Ｆ
００４ ＩＦ Ｆ＜０
００５ ＣＬＯＳＥ Ｆ１
００６ Ｂ＝Ｇ－Ｆ
【0019】
００１行の命令文は定値文（又は定置文）であり、この命令文に関し、主語ベクトルＬ２がパレット２上に生成される。
００２行の命令文は入力文であり、この命令文に関し、主語ベクトルＲ２がパレット２上に生成される。
００３行の命令文は代入文（又は呼出文）であり、この命令文に関し、主語ベクトルＬ４がパレット４上に生成される。
００４行の命令文は条件文であり、この命令文に関し、主語ベクトルＬ３がパレット３上に生成される。
００６行の命令文は代入文（又は呼出文）であり、この命令文に関し、主語ベクトルＬ４がパレット４上に生成される。
００２行の命令文は入力文であり、この命令文に関し、主語ベクトルＲ２がパレット２上に生成される。
００３行の命令文は代入文（又は呼出文）であり、この命令文に関し、主語ベクトルＬ４がパレット４上に生成される。
００４行の命令文は条件文であり、この命令文に関し、主語ベクトルＬ３がパレット３上に生成される。
００６行の命令文は代入文（又は呼出文）であり、この命令文に関し、主語ベクトルＬ４がパレット４上に生成される。
【0020】
７つの規約の各々において実行される処理は以下のとおりである。なお、（ ）内に例として、００６行の命令文に関し生成される主語ベクトルにおける値等を示す。
【0021】
第１規約：主語ベクトル（例えば、Ｌ４#Ｂ）の正統性を判断（出口２、３、４で判断）
第２規約：左辺（例えば、Ｂ）が仮成立データである命令文（例えば、Ｂ＝Ｇ－Ｆ）をセット
第３規約：第２規約の左辺（例えば、Ｂ）に関与する右辺の全てのデータ（例えば、Ｇ、Ｆ）が正統であるかを判定
第４規約：第３規約における判定において全てのデータが正統であると判定された場合に限り、第２規約の左辺のデータ（Ｂ）を第４規約の保存領域である第４保存領域に保存
第５規約：第３規約における判定において少なくとも１つのデータ（例えば、Ｇ、Ｆの少なくとも一方）が正統でないと判定された場合、パレット４上の主語ベクトルのうち第４保存領域にデータが保存されている主語ベクトルの総数である主語成立数に基づき、この主語ベクトルの再起及び停止のいずれかを選択（すなわち、同じ座標周期における第４保存領域の成立可能性を判断）
第６規約：第５規約において再起が選択された場合（すなわち、同じ座標周期において第４保存領域の成立可能性があると判断された場合）、この主語ベクトルの再起を指示
第７規約：第５規約において停止が選択された場合（すなわち、同じ座標周期において第４保存領域の成立可能性がないと判断された場合）、当該主語ベクトルの停止を指示
第２規約：左辺（例えば、Ｂ）が仮成立データである命令文（例えば、Ｂ＝Ｇ－Ｆ）をセット
第３規約：第２規約の左辺（例えば、Ｂ）に関与する右辺の全てのデータ（例えば、Ｇ、Ｆ）が正統であるかを判定
第４規約：第３規約における判定において全てのデータが正統であると判定された場合に限り、第２規約の左辺のデータ（Ｂ）を第４規約の保存領域である第４保存領域に保存
第５規約：第３規約における判定において少なくとも１つのデータ（例えば、Ｇ、Ｆの少なくとも一方）が正統でないと判定された場合、パレット４上の主語ベクトルのうち第４保存領域にデータが保存されている主語ベクトルの総数である主語成立数に基づき、この主語ベクトルの再起及び停止のいずれかを選択（すなわち、同じ座標周期における第４保存領域の成立可能性を判断）
第６規約：第５規約において再起が選択された場合（すなわち、同じ座標周期において第４保存領域の成立可能性があると判断された場合）、この主語ベクトルの再起を指示
第７規約：第５規約において停止が選択された場合（すなわち、同じ座標周期において第４保存領域の成立可能性がないと判断された場合）、当該主語ベクトルの停止を指示
【0022】
なお、第２規約にセットされる命令文は、Ｌ４（代入文、呼出文）、Ｌ２（定値文、定置文）、又は、Ｒ２（入力文）である。Ｌ３（条件文）は第３規約で定義される。また、Ｗ４（出力文）は第４規約で定義される。
【0023】
第２規約、第６規約、及び、第７規約にはフラグが設けられ、それらの規約の処理が実行されるとフラグにオンがセットされる。第２規約のフラグは第２フラグ、第６規約のフラグは第６フラグ、第７規約のフラグは第７フラグと呼ばれる。ベクトルは、これらのフラグに基づき、実行の正統性を担保している。
【0024】
そして、第１規約において、以下の処理が行われる。
第２フラグがオンであり、且つ、この主語ベクトルが正統であると判定した場合、処理を終了する。（出口２→出口１）
第７フラグがオンの場合、この主語ベクトルの第４保存領域を初期化した後に処理を終了する。（出口４→出口１）
第６フラグがオンの場合、この主語ベクトルの第４保存領域、第２フラグ、及び、第６フラグを初期化した後に処理を第２規約に進ませる。（出口３）
第２フラグがオンであり、且つ、この主語ベクトルが正統でないと判定した場合、主語成立数から１を減算させ、この主語ベクトルの第４保存領域、及び、第２フラグを初期化した後に処理を第２規約に進ませる。（出口２）
第２フラグがオンであり、且つ、この主語ベクトルが正統であると判定した場合、処理を終了する。（出口２→出口１）
第７フラグがオンの場合、この主語ベクトルの第４保存領域を初期化した後に処理を終了する。（出口４→出口１）
第６フラグがオンの場合、この主語ベクトルの第４保存領域、第２フラグ、及び、第６フラグを初期化した後に処理を第２規約に進ませる。（出口３）
第２フラグがオンであり、且つ、この主語ベクトルが正統でないと判定した場合、主語成立数から１を減算させ、この主語ベクトルの第４保存領域、及び、第２フラグを初期化した後に処理を第２規約に進ませる。（出口２）
【0025】
なお、パレット４上の全ての主語ベクトルが、出口２又は出口４で終了したことが確認された場合、座標関数４から座標関数２へと処理が移動する。
【0026】
従来のシナリオ関数においては、第１規約における主語ベクトルの正統性の判断が、以下の模型で表されるプログラム（以下、「正統性判定プログラム」という）の実行により行われる。
【0027】
（ＶＷＡ（Ｌ４，Ａ）の論理結合型プログラムの模型）
００１ ＳＴＡＲＴ．
００２ 第２フラグの汚染観察：
００２１ 第２フラグの（２，３，４）桁を抽出する．
００２２ 第２フラグの（２，３，４）桁と対応するフラグ常数（０，０，０）をＸＯＲする．
００２２１ ＺＥＲＯなら，第２フラグは汚染されていない、
ＧＯ ＴＯ 第６フラグの汚染観察．
００２２２ ＮＯＴ ＺＥＲＯなら，第２フラグは汚染されている、
ＧＯ ＴＯ Ｌ４，Ａの初期値化．
００３ 第６フラグの汚染観察：
００３１ 第６フラグの（２，３，４）桁を抽出する．
００３２ 第６フラグの（２，３，４）桁と対応するフラグ常数（０，０，０）をＸＯＲする．
００３２１ ＺＥＲＯなら，第６フラグは汚染されていない、
ＧＯ ＴＯ 第７フラグの汚染観察．
００３２２ ＮＯＴ ＺＥＲＯなら，第６フラグは汚染されている、
ＧＯ ＴＯ Ｌ４，Ａの初期値化．
００４ 第７フラグの汚染観察：
００４１ 第７フラグの（２，３，４）桁を抽出する．
００４２ 第７フラグの（２，３，４）桁と対応するフラグ常数（０，０，０）をＸＯＲ
する．
００４２１ ＺＥＲＯなら，第７フラグは汚染されていない、
ＲＥＴＵＲＮ．
００４２２ ＮＯＴ ＺＥＲＯなら，第７フラグは汚染されている、
ＧＯ ＴＯ Ｌ４，Ａの初期値化．
００５ Ｌ４，Ａの初期値化
００５１ 第４領域を初期値化する．
００５２ 第２フラグをオフにする．
００５３ 第６フラグをオンにする．
００５４ 第７フラグをオフにする．
００６ 主語成立数カウンタをマイナス１にする。
００７ ＲＥＴＵＲＮ．
００１ ＳＴＡＲＴ．
００２ 第２フラグの汚染観察：
００２１ 第２フラグの（２，３，４）桁を抽出する．
００２２ 第２フラグの（２，３，４）桁と対応するフラグ常数（０，０，０）をＸＯＲする．
００２２１ ＺＥＲＯなら，第２フラグは汚染されていない、
ＧＯ ＴＯ 第６フラグの汚染観察．
００２２２ ＮＯＴ ＺＥＲＯなら，第２フラグは汚染されている、
ＧＯ ＴＯ Ｌ４，Ａの初期値化．
００３ 第６フラグの汚染観察：
００３１ 第６フラグの（２，３，４）桁を抽出する．
００３２ 第６フラグの（２，３，４）桁と対応するフラグ常数（０，０，０）をＸＯＲする．
００３２１ ＺＥＲＯなら，第６フラグは汚染されていない、
ＧＯ ＴＯ 第７フラグの汚染観察．
００３２２ ＮＯＴ ＺＥＲＯなら，第６フラグは汚染されている、
ＧＯ ＴＯ Ｌ４，Ａの初期値化．
００４ 第７フラグの汚染観察：
００４１ 第７フラグの（２，３，４）桁を抽出する．
００４２ 第７フラグの（２，３，４）桁と対応するフラグ常数（０，０，０）をＸＯＲ
する．
００４２１ ＺＥＲＯなら，第７フラグは汚染されていない、
ＲＥＴＵＲＮ．
００４２２ ＮＯＴ ＺＥＲＯなら，第７フラグは汚染されている、
ＧＯ ＴＯ Ｌ４，Ａの初期値化．
００５ Ｌ４，Ａの初期値化
００５１ 第４領域を初期値化する．
００５２ 第２フラグをオフにする．
００５３ 第６フラグをオンにする．
００５４ 第７フラグをオフにする．
００６ 主語成立数カウンタをマイナス１にする。
００７ ＲＥＴＵＲＮ．
【0028】
これに対し、本発明にかかるシナリオ関数においては、第４規約及び第１規約の処理が以下に述べるように変更され、上記の正統性判定プログラムは実行されない。
【0029】
（第４規約）
第３規約における判定において全てのデータが正統であると判定された場合に限り、第４規約において、第２規約の左辺のデータを第４規約の正保存領域である第４保存領域に保存するのに加えて、同じデータを第４規約の副保存領域である第４コピー領域（第４保存領域とは異なる保存領域）にも保存する。
第３規約における判定において全てのデータが正統であると判定された場合に限り、第４規約において、第２規約の左辺のデータを第４規約の正保存領域である第４保存領域に保存するのに加えて、同じデータを第４規約の副保存領域である第４コピー領域（第４保存領域とは異なる保存領域）にも保存する。
【0030】
（第１規約）
この主語ベクトルの第４保存領域と第４コピー領域に保存されているデータが一致する場合に限り、この主語ベクトルが正統であると判定する。
この主語ベクトルの第４保存領域と第４コピー領域に保存されているデータが一致する場合に限り、この主語ベクトルが正統であると判定する。
【0031】
従って、本発明にかかるシナリオ関数においては、第１規約において、以下の処理が行われる。
【0032】
第２フラグがオンであり、且つ、この主語ベクトルの第４保存領域と第４コピー領域に保存されているデータが一致する場合、この主語ベクトルが正統であると判定した後、処理を終了する。（出口２→出口１）
第７フラグがオンの場合、この主語ベクトルの第４保存領域と第４コピー領域を初期化した後に処理を終了する。（出口４→出口１）
第６フラグがオンの場合、この主語ベクトルの第４保存領域、第４コピー領域、第２フラグ、及び、第６フラグを初期化した後に処理を第２規約に進ませる。（出口３）
第２フラグがオンであり、且つ、この主語ベクトルの第４保存領域と第４コピー領域に保存されているデータが一致しない場合、主語成立数から１を減算させ、この主語ベクトルの第４保存領域、第４コピー領域、及び、第２フラグを初期化した後に処理を第２規約に進ませる。（出口２）
第７フラグがオンの場合、この主語ベクトルの第４保存領域と第４コピー領域を初期化した後に処理を終了する。（出口４→出口１）
第６フラグがオンの場合、この主語ベクトルの第４保存領域、第４コピー領域、第２フラグ、及び、第６フラグを初期化した後に処理を第２規約に進ませる。（出口３）
第２フラグがオンであり、且つ、この主語ベクトルの第４保存領域と第４コピー領域に保存されているデータが一致しない場合、主語成立数から１を減算させ、この主語ベクトルの第４保存領域、第４コピー領域、及び、第２フラグを初期化した後に処理を第２規約に進ませる。（出口２）
【0033】
上記のように、本発明にかかるシナリオ関数においては、正統性判定プログラム（ＶＷＡ）の実行に代えて、第４保存領域に保存されているデータと、第４コピー領域に保存されているデータが全て一致するか否かを判定することによって、ウィルスによる汚染の有無が判定される。
【0034】
以下に、本発明にかかるシナリオ関数の主語ベクトルのプログラム模型をいくつか例示する。ただし、以下のプログラム模型に記載の「ＸＸＸ」はコードではなく、従来のシナリオ関数において、正統性判定プログラムを呼び出す以下の２行が記述されている位置を示す。また、行頭に「※」が付されているコードが、従来のシナリオ関数にはなく、本発明にかかるシナリオ関数において追加されているコードである。また、以下のプログラム模型において実行される第１規約の処理は、上述したように、従来のシナリオ関数における第１規約の処理と異なっている。
【0035】
００２ ＮＯＰ．
００３ ＣＡＬＬ ＶＷＡ（ ， ）．
００３ ＣＡＬＬ ＶＷＡ（ ， ）．
【0036】
（Ｌ４，Ａのベクトル模型）
このベクトルの命令文例を「Ａ＝Ｂ＋Ｃ＋５１２」とする。Ｌ４，Ａが統治する命令文はベクトルの叙述法により第２規約に置かれる。このＬ４，ＡにはＬ３，Ａがいないものとする。Ｌ４，ＡにＬ３，Ａがいれば本第３規約にはＬ３，Ａの正統性判定も加えられることになる。この場合のプログラム模型を示す。
このベクトルの命令文例を「Ａ＝Ｂ＋Ｃ＋５１２」とする。Ｌ４，Ａが統治する命令文はベクトルの叙述法により第２規約に置かれる。このＬ４，ＡにはＬ３，Ａがいないものとする。Ｌ４，ＡにＬ３，Ａがいれば本第３規約にはＬ３，Ａの正統性判定も加えられることになる。この場合のプログラム模型を示す。
【0037】
００１ ＳＴＡＲＴ．
ＸＸＸ
００４ 第１規約：Ｌ４，Ａの正統性を用いて第２規約に進むか、ＲＥＴＵＲＮかを判定。
００５ 第２規約。
００５１ ＭＯＶＥ １ ＴＯ 第２フラグ．
００５２ Ａ＝Ｂ＋Ｃ＋５１２．
００６ 第３規約：Ａの正統性（第４保存領域の正統性）の判定。
００６１ Ｌ４，Ｂの第４保存領域は正統か．
００６１１ 正統なら ＧＯＴＯ ００６２．
００６１２ 正統でなければ ＧＯＴＯ 第５規約．
００６２ Ｌ４，Ｃの第４保存領域は正統か．
００６２１ 正統なら ＧＯＴＯ 第４規約．
００６２２ 正統でなければ ＧＯＴＯ 第５規約．
００７ 第４規約。
００７１ ＭＯＶＥ ０ ＴＯ Ｌ４，Ａの第６フラグ．
００７２ ＭＯＶＥ Ａ ＴＯ Ｌ４，Ａの第４保存領域．
※００７３ ＭＯＶＥ Ａ ＴＯ Ｌ４，Ａの第４コピー領域．
００７４ ＡＤＤ １ ＴＯ 主語成立数カウンタ．
００８ ＲＥＴＵＲＮ．
００９ 第５規約：Ｌ４，ＡのＡが同じ座標周期で成立するや否やの判定。
００９１ ＭＯＶＥ ０ ＴＯ 第６フラグ．
００９２ （ＮＳ１＝ＮＳ５）なら第７規約に進む．
００９３ （ＮＳ１＞ＮＳ５）なら第６規約に進む．
０１０ 第６規約：Ｌ４，Ａの再起要請の宣言。
０１０１ Ｌ４，Ａの第４保存領域を初期値化．
０１０２ ＭＯＶＥ １ ＴＯ 第６フラグ．
０１０３ ＭＯＶＥ ０ ＴＯ 第２フラグ．
０１０４ ＲＥＴＵＲＮ．
０１１ 第７規約：Ｌ４，Ａの再起停止宣言。
０１１１ ＭＯＶＥ １ ＴＯ 第７フラグ．
０１１２ ＭＯＶＥ ０ ＴＯ 第２フラグ．
０１１３ ＲＥＴＵＲＮ．
ＸＸＸ
００４ 第１規約：Ｌ４，Ａの正統性を用いて第２規約に進むか、ＲＥＴＵＲＮかを判定。
００５ 第２規約。
００５１ ＭＯＶＥ １ ＴＯ 第２フラグ．
００５２ Ａ＝Ｂ＋Ｃ＋５１２．
００６ 第３規約：Ａの正統性（第４保存領域の正統性）の判定。
００６１ Ｌ４，Ｂの第４保存領域は正統か．
００６１１ 正統なら ＧＯＴＯ ００６２．
００６１２ 正統でなければ ＧＯＴＯ 第５規約．
００６２ Ｌ４，Ｃの第４保存領域は正統か．
００６２１ 正統なら ＧＯＴＯ 第４規約．
００６２２ 正統でなければ ＧＯＴＯ 第５規約．
００７ 第４規約。
００７１ ＭＯＶＥ ０ ＴＯ Ｌ４，Ａの第６フラグ．
００７２ ＭＯＶＥ Ａ ＴＯ Ｌ４，Ａの第４保存領域．
※００７３ ＭＯＶＥ Ａ ＴＯ Ｌ４，Ａの第４コピー領域．
００７４ ＡＤＤ １ ＴＯ 主語成立数カウンタ．
００８ ＲＥＴＵＲＮ．
００９ 第５規約：Ｌ４，ＡのＡが同じ座標周期で成立するや否やの判定。
００９１ ＭＯＶＥ ０ ＴＯ 第６フラグ．
００９２ （ＮＳ１＝ＮＳ５）なら第７規約に進む．
００９３ （ＮＳ１＞ＮＳ５）なら第６規約に進む．
０１０ 第６規約：Ｌ４，Ａの再起要請の宣言。
０１０１ Ｌ４，Ａの第４保存領域を初期値化．
０１０２ ＭＯＶＥ １ ＴＯ 第６フラグ．
０１０３ ＭＯＶＥ ０ ＴＯ 第２フラグ．
０１０４ ＲＥＴＵＲＮ．
０１１ 第７規約：Ｌ４，Ａの再起停止宣言。
０１１１ ＭＯＶＥ １ ＴＯ 第７フラグ．
０１１２ ＭＯＶＥ ０ ＴＯ 第２フラグ．
０１１３ ＲＥＴＵＲＮ．
【0038】
（Ｌ３，Ｄのベクトル模型）
このベクトルの命令文例を「ＩＦ Ｘ＜Ｙ（真）」とする。Ｌ３，Ｄが統治する命令文はベクトルの叙述法により第３規約に置かれる。この場合のプログラム模型を示す。
００１ ＳＴＡＲＴ．
ＸＸＸ
００４ 第１規約：Ｌ３，Ｄの正統性を用いて第２規約に進むか、ＲＥＴＵＲＮかを判定。
００５ 第２規約。
００５１ ＭＯＶＥ １ ＴＯ 第２フラグ．
００５２ ＮＯＰ．
００６ 第３規約：ＩＦ Ｘ＜Ｙの正統性の判定。
００６１ Ｌ４，Ｘの第４保存領域は正統か．
００６１１ 正統なら ＧＯＴＯ ００６２．
００６１２ 正統でなければ ＧＯＴＯ 第５規約．
００６２ Ｌ４，Ｙの第４保存領域は正統か．
００６２１ 正統なら ＧＯＴＯ ００６３．
００６２２ 正統でなければ ＧＯＴＯ 第５規約．
００６３ ＩＦ Ｘ＜Ｙか．
００６３１ 正統なら ＧＯＴＯ 第４規約．
００６３２ 正統でなければ ＧＯＴＯ 第５規約．
００７ 第４規約。
００７１ ＭＯＶＥ ０ ＴＯ Ｌ３，Ｄの第６フラグ．
００７２ ＭＯＶＥ １ ＴＯ Ｌ３，Ｄの第４保存領域．
※００７３ ＭＯＶＥ １ ＴＯ Ｌ３，Ｄの第４コピー領域．
００７４ ＡＤＤ １ ＴＯ 主語成立数カウンタ．
００８ ＲＥＴＵＲＮ．
００９ 第５規約：Ｌ３，ＤのＤが同じ座標周期で成立するや否やの判定。
００９１ ＭＯＶＥ ０ ＴＯ 第６フラグ．
００９２ （ＮＳ１＝ＮＳ５）なら第７規約に進む．
００９３ （ＮＳ１＞ＮＳ５）なら第６規約に進む．
０１０ 第６規約：Ｌ３，Ｄの再起要請の宣言。
０１０１ Ｌ３，Ｄの第４保存領域を初期値化．
０１０２ ＭＯＶＥ １ ＴＯ 第６フラグ．
０１０３ ＭＯＶＥ ０ ＴＯ 第２フラグ．
０１０４ ＲＥＴＵＲＮ．
０１１ 第７規約：Ｌ３，Ｄの再起停止宣言。
０１１１ ＭＯＶＥ １ ＴＯ 第７フラグ．
０１１２ ＭＯＶＥ ０ ＴＯ 第２フラグ．
０１１３ ＲＥＴＵＲＮ．
このベクトルの命令文例を「ＩＦ Ｘ＜Ｙ（真）」とする。Ｌ３，Ｄが統治する命令文はベクトルの叙述法により第３規約に置かれる。この場合のプログラム模型を示す。
００１ ＳＴＡＲＴ．
ＸＸＸ
００４ 第１規約：Ｌ３，Ｄの正統性を用いて第２規約に進むか、ＲＥＴＵＲＮかを判定。
００５ 第２規約。
００５１ ＭＯＶＥ １ ＴＯ 第２フラグ．
００５２ ＮＯＰ．
００６ 第３規約：ＩＦ Ｘ＜Ｙの正統性の判定。
００６１ Ｌ４，Ｘの第４保存領域は正統か．
００６１１ 正統なら ＧＯＴＯ ００６２．
００６１２ 正統でなければ ＧＯＴＯ 第５規約．
００６２ Ｌ４，Ｙの第４保存領域は正統か．
００６２１ 正統なら ＧＯＴＯ ００６３．
００６２２ 正統でなければ ＧＯＴＯ 第５規約．
００６３ ＩＦ Ｘ＜Ｙか．
００６３１ 正統なら ＧＯＴＯ 第４規約．
００６３２ 正統でなければ ＧＯＴＯ 第５規約．
００７ 第４規約。
００７１ ＭＯＶＥ ０ ＴＯ Ｌ３，Ｄの第６フラグ．
００７２ ＭＯＶＥ １ ＴＯ Ｌ３，Ｄの第４保存領域．
※００７３ ＭＯＶＥ １ ＴＯ Ｌ３，Ｄの第４コピー領域．
００７４ ＡＤＤ １ ＴＯ 主語成立数カウンタ．
００８ ＲＥＴＵＲＮ．
００９ 第５規約：Ｌ３，ＤのＤが同じ座標周期で成立するや否やの判定。
００９１ ＭＯＶＥ ０ ＴＯ 第６フラグ．
００９２ （ＮＳ１＝ＮＳ５）なら第７規約に進む．
００９３ （ＮＳ１＞ＮＳ５）なら第６規約に進む．
０１０ 第６規約：Ｌ３，Ｄの再起要請の宣言。
０１０１ Ｌ３，Ｄの第４保存領域を初期値化．
０１０２ ＭＯＶＥ １ ＴＯ 第６フラグ．
０１０３ ＭＯＶＥ ０ ＴＯ 第２フラグ．
０１０４ ＲＥＴＵＲＮ．
０１１ 第７規約：Ｌ３，Ｄの再起停止宣言。
０１１１ ＭＯＶＥ １ ＴＯ 第７フラグ．
０１１２ ＭＯＶＥ ０ ＴＯ 第２フラグ．
０１１３ ＲＥＴＵＲＮ．
【0039】
（Ｌ２，Ｃのベクトル模型）
このベクトルの命令文例を「Ｃ＝１１」とする。「Ｌ２，Ｃ」が統治する命令文はベクトルの叙述法により第２規約に置かれる。このＬ２，ＣにはＬ３，Ｃがいないものとする。Ｌ２，ＣにＬ３，Ｃがいれば本第３規約にはＬ３，Ｃの正統性判定も加えられることになる。その場合には第５，６，７規約が発生することになる。この場合のプログラム模型を示す。
００１ ＳＴＡＲＴ．
ＸＸＸ
００４ 第１規約：Ｌ２，Ｃの正統性を用いて第２規約に進むか、ＲＥＴＵＲＮかを判定。
００５ 第２規約。
００５１ ＭＯＶＥ １ ＴＯ 第２フラグ．
００５２ Ｃ＝１１．
００６ 第３規約：Ｃ＝１１のＣの正統性の判定。ＮＯＰ．
００７ 第４規約
００７１ ＭＯＶＥ ０ ＴＯ Ｌ２，Ｃの第６フラグ．
００７２ ＭＯＶＥ Ｃ ＴＯ Ｌ２，Ｃの第４保存領域．
※００７３ ＭＯＶＥ Ｃ ＴＯ Ｌ２，Ｃの第４コピー領域．
００７４ ＡＤＤ １ ＴＯ 主語成立数カウンタ．
００８ ＲＥＴＵＲＮ．
００９ 第５規約：ＮＯＰ．
０１０ 第６規約：ＮＯＰ．
０１１ 第７規約：ＮＯＰ．
このベクトルの命令文例を「Ｃ＝１１」とする。「Ｌ２，Ｃ」が統治する命令文はベクトルの叙述法により第２規約に置かれる。このＬ２，ＣにはＬ３，Ｃがいないものとする。Ｌ２，ＣにＬ３，Ｃがいれば本第３規約にはＬ３，Ｃの正統性判定も加えられることになる。その場合には第５，６，７規約が発生することになる。この場合のプログラム模型を示す。
００１ ＳＴＡＲＴ．
ＸＸＸ
００４ 第１規約：Ｌ２，Ｃの正統性を用いて第２規約に進むか、ＲＥＴＵＲＮかを判定。
００５ 第２規約。
００５１ ＭＯＶＥ １ ＴＯ 第２フラグ．
００５２ Ｃ＝１１．
００６ 第３規約：Ｃ＝１１のＣの正統性の判定。ＮＯＰ．
００７ 第４規約
００７１ ＭＯＶＥ ０ ＴＯ Ｌ２，Ｃの第６フラグ．
００７２ ＭＯＶＥ Ｃ ＴＯ Ｌ２，Ｃの第４保存領域．
※００７３ ＭＯＶＥ Ｃ ＴＯ Ｌ２，Ｃの第４コピー領域．
００７４ ＡＤＤ １ ＴＯ 主語成立数カウンタ．
００８ ＲＥＴＵＲＮ．
００９ 第５規約：ＮＯＰ．
０１０ 第６規約：ＮＯＰ．
０１１ 第７規約：ＮＯＰ．
【0040】
（Ｗ４，ＵＲＩＡＧＥのベクトル模型）
このベクトルの命令文例を「ＷＲＩＴＥ ＵＲＩＡＧＥ，ＤＢ１１」とする。これはＵＲＩＡＧＥを外部記憶領域「ＤＢ１１」に書く命令文である。この命令文の主語はＤＢ１１に成立する。ＤＢ１１の正統性は不明である。このベクトルの役割は正統なＬ４，ＵＲＩＡＧＥをＤＢ１１に出力するということである。Ｗ４，ＵＲＩＡＧＥが統治する命令文はベクトルの叙述法により第４規約に置かれる。Ｗ４，ＵＲＩＡＧＥのＶＷＡ，第１、第３規約ではＬ４，ＵＲＩＡＧＥに置き換えて処理される。このＷ４，ＵＲＩＡＧＥにはＬ３，ＵＲＩＡＧＥがいないものとする。Ｗ４，ＵＲＩＡＧＥにＬ３，ＵＲＩＡＧＥがいれば本第３規約にはＬ３，ＵＲＩＡＧＥの正統性判定も加えられることになる。この場合のプログラム模型を示す。
００１ ＳＴＡＲＴ．
ＸＸＸ
００４ 第１規約：Ｌ４，ＵＲＩＡＧＥの正統性を用いて第２規約に進むか、ＲＥＴＵＲＮかを判定。
００５ 第２規約。
００５１ ＭＯＶＥ １ ＴＯ 第２フラグ．
００５２ ＮＯＰ．
００６ 第３規約：Ｌ４，ＵＲＩＡＧＥの正統性の判定。
００６１ Ｌ４，ＵＲＩＡＧＥの第４保存領域は正統か．
００６１１ 正統なら ＧＯＴＯ第４規約．
００６１２ 正統でなければ ＧＯＴＯ 第５規約．
００７ 第４規約。
００７１ ＭＯＶＥ ０ ＴＯ Ｗ４，ＵＲＩＡＧＥの第６フラグ．
００７２ ＷＲＩＴＥ ＵＲＩＡＧＥ，ＤＢ１１．
※００７３ ＭＯＶＥ １ ＴＯ Ｗ４，ＵＲＩＡＧＥの第４保存領域．
００７４ ＡＤＤ １ ＴＯ 主語成立数カウンタ．
００８ ＲＥＴＵＲＮ．
００９ 第５規約： Ｌ４，ＵＲＩＡＧＥのＵＲＩＡＧＥが同じ座標周期で成立するや否やの判定。
００９１ ＭＯＶＥ ０ ＴＯ 第６フラグ．
００９２ （ＮＳ１＝ＮＳ５）なら第７規約に進む．
００９３ （ＮＳ１＞ＮＳ５）なら第６規約に進む．
０１０ 第６規約：Ｗ４，ＵＲＩＡＧＥの再起要請の宣言。
０１０１ Ｌ４，ＵＲＩＡＧＥ．の第４保存領域を初期値化．
０１０２ ＭＯＶＥ １ ＴＯ 第６フラグ．
０１０３ ＭＯＶＥ ０ ＴＯ 第２フラグ．
０１０４ ＲＥＴＵＲＮ．
０１１ 第７規約：Ｗ４，ＵＲＩＡＧＥの再起停止宣言。
０１１１ ＭＯＶＥ １ ＴＯ 第７フラグ．
０１１２ ＭＯＶＥ ０ ＴＯ 第２フラグ．
０１１３ ＲＥＴＵＲＮ．
このベクトルの命令文例を「ＷＲＩＴＥ ＵＲＩＡＧＥ，ＤＢ１１」とする。これはＵＲＩＡＧＥを外部記憶領域「ＤＢ１１」に書く命令文である。この命令文の主語はＤＢ１１に成立する。ＤＢ１１の正統性は不明である。このベクトルの役割は正統なＬ４，ＵＲＩＡＧＥをＤＢ１１に出力するということである。Ｗ４，ＵＲＩＡＧＥが統治する命令文はベクトルの叙述法により第４規約に置かれる。Ｗ４，ＵＲＩＡＧＥのＶＷＡ，第１、第３規約ではＬ４，ＵＲＩＡＧＥに置き換えて処理される。このＷ４，ＵＲＩＡＧＥにはＬ３，ＵＲＩＡＧＥがいないものとする。Ｗ４，ＵＲＩＡＧＥにＬ３，ＵＲＩＡＧＥがいれば本第３規約にはＬ３，ＵＲＩＡＧＥの正統性判定も加えられることになる。この場合のプログラム模型を示す。
００１ ＳＴＡＲＴ．
ＸＸＸ
００４ 第１規約：Ｌ４，ＵＲＩＡＧＥの正統性を用いて第２規約に進むか、ＲＥＴＵＲＮかを判定。
００５ 第２規約。
００５１ ＭＯＶＥ １ ＴＯ 第２フラグ．
００５２ ＮＯＰ．
００６ 第３規約：Ｌ４，ＵＲＩＡＧＥの正統性の判定。
００６１ Ｌ４，ＵＲＩＡＧＥの第４保存領域は正統か．
００６１１ 正統なら ＧＯＴＯ第４規約．
００６１２ 正統でなければ ＧＯＴＯ 第５規約．
００７ 第４規約。
００７１ ＭＯＶＥ ０ ＴＯ Ｗ４，ＵＲＩＡＧＥの第６フラグ．
００７２ ＷＲＩＴＥ ＵＲＩＡＧＥ，ＤＢ１１．
※００７３ ＭＯＶＥ １ ＴＯ Ｗ４，ＵＲＩＡＧＥの第４保存領域．
００７４ ＡＤＤ １ ＴＯ 主語成立数カウンタ．
００８ ＲＥＴＵＲＮ．
００９ 第５規約： Ｌ４，ＵＲＩＡＧＥのＵＲＩＡＧＥが同じ座標周期で成立するや否やの判定。
００９１ ＭＯＶＥ ０ ＴＯ 第６フラグ．
００９２ （ＮＳ１＝ＮＳ５）なら第７規約に進む．
００９３ （ＮＳ１＞ＮＳ５）なら第６規約に進む．
０１０ 第６規約：Ｗ４，ＵＲＩＡＧＥの再起要請の宣言。
０１０１ Ｌ４，ＵＲＩＡＧＥ．の第４保存領域を初期値化．
０１０２ ＭＯＶＥ １ ＴＯ 第６フラグ．
０１０３ ＭＯＶＥ ０ ＴＯ 第２フラグ．
０１０４ ＲＥＴＵＲＮ．
０１１ 第７規約：Ｗ４，ＵＲＩＡＧＥの再起停止宣言。
０１１１ ＭＯＶＥ １ ＴＯ 第７フラグ．
０１１２ ＭＯＶＥ ０ ＴＯ 第２フラグ．
０１１３ ＲＥＴＵＲＮ．
【0041】
（Ｒ２ ＤＢ１１のベクトル模型）
このベクトルの命令文例を「ＲＥＡＤ ＤＢ１１，集計」とずる。これは外部記憶領域「ＤＢ１１」を集計に移す命令文である。この命令文の主語は集計に成立する。このベクトルの役割は正統な集計を成立させるということである。Ｒ２ ＤＢ１１が統治する命令文はベクトルの叙述法により第２規約に置かれる。Ｒ２ ＤＢ１１のＶＷＡ，第１、第３規約ではＬ４，集計に置き換えて処理される。このＲ２ ＤＢ１１にはＬ３，ＵＲＩＡＧＥがいないものとする。Ｒ２ ＤＢ１１にＬ３，ＤＢ１１がいれば本第３規約にはＬ３，ＤＢ１１の正統性判定も加えられることになる。この場合のプログラム模型を示す。
００１ ＳＴＡＲＴ．
ＸＸＸ
００４ 第１規約：Ｌ４，集計の正統性を用いて第２規約に進むか、ＲＥＴＵＲＮかを判定。
００５ 第２規約。
００５１ ＭＯＶＥ １ ＴＯ 第２フラグ．
００５２ ＲＥＡＤ ＤＢ１１，集計．
００６ 第３規約：Ｌ４，集計の正統性の判定。
００６１ Ｌ４，集計の第４保存領域は正統か．
００６１１ 正統なら ＧＯＴＯ ００７．
００６１２ 正統でなければ ＧＯＴＯ 第５規約．
００７ 第４規約。
００７１ ＭＯＶＥ ０ ＴＯ 第６フラグ．
００７２ ＭＯＶＥ 集計 ＴＯ ＲＥＡＤ ＤＢ１１，集計の第４保存領域．
※００７３ ＭＯＶＥ 集計 ＴＯ ＤＢ１１，集計の第４コピー領域．
００７４ ＡＤＤ １ ＴＯ 主語成立数カウンタ．
００８ ＲＥＴＵＲＮ．
００９ 第５規約：Ｌ４，集計の集計が同じ座標周期で成立するや否やの判定。
００９１ ＭＯＶＥ ０ ＴＯ 第６フラグ．
００９２ （ＮＳ１＝ＮＳ５）なら第７規約に進む．
００９３ （ＮＳ１＞ＮＳ５）なら第６規約に進む．
０１０ 第６規約：ＲＥＡＤ ＤＢ１１，集計の再起要請の宣言。
０１０１ ＲＥＡＤ ＤＢ１１，集計の第４保存領域を初期値化．
０１０２ ＭＯＶＥ １ ＴＯ 第６フラグ．
０１０３ ＭＯＶＥ ０ ＴＯ 第２フラグ．
０１０４ ＲＥＴＵＲＮ．
０１１ 第７規約：ＲＥＡＤ ＤＢ１１，集計の再起停止宣言。
０１１１ ＭＯＶＥ １ ＴＯ 第７フラグ．
０１１２ ＭＯＶＥ ０ ＴＯ 第２フラグ．
０１１３ ＲＥＴＵＲＮ．
このベクトルの命令文例を「ＲＥＡＤ ＤＢ１１，集計」とずる。これは外部記憶領域「ＤＢ１１」を集計に移す命令文である。この命令文の主語は集計に成立する。このベクトルの役割は正統な集計を成立させるということである。Ｒ２ ＤＢ１１が統治する命令文はベクトルの叙述法により第２規約に置かれる。Ｒ２ ＤＢ１１のＶＷＡ，第１、第３規約ではＬ４，集計に置き換えて処理される。このＲ２ ＤＢ１１にはＬ３，ＵＲＩＡＧＥがいないものとする。Ｒ２ ＤＢ１１にＬ３，ＤＢ１１がいれば本第３規約にはＬ３，ＤＢ１１の正統性判定も加えられることになる。この場合のプログラム模型を示す。
００１ ＳＴＡＲＴ．
ＸＸＸ
００４ 第１規約：Ｌ４，集計の正統性を用いて第２規約に進むか、ＲＥＴＵＲＮかを判定。
００５ 第２規約。
００５１ ＭＯＶＥ １ ＴＯ 第２フラグ．
００５２ ＲＥＡＤ ＤＢ１１，集計．
００６ 第３規約：Ｌ４，集計の正統性の判定。
００６１ Ｌ４，集計の第４保存領域は正統か．
００６１１ 正統なら ＧＯＴＯ ００７．
００６１２ 正統でなければ ＧＯＴＯ 第５規約．
００７ 第４規約。
００７１ ＭＯＶＥ ０ ＴＯ 第６フラグ．
００７２ ＭＯＶＥ 集計 ＴＯ ＲＥＡＤ ＤＢ１１，集計の第４保存領域．
※００７３ ＭＯＶＥ 集計 ＴＯ ＤＢ１１，集計の第４コピー領域．
００７４ ＡＤＤ １ ＴＯ 主語成立数カウンタ．
００８ ＲＥＴＵＲＮ．
００９ 第５規約：Ｌ４，集計の集計が同じ座標周期で成立するや否やの判定。
００９１ ＭＯＶＥ ０ ＴＯ 第６フラグ．
００９２ （ＮＳ１＝ＮＳ５）なら第７規約に進む．
００９３ （ＮＳ１＞ＮＳ５）なら第６規約に進む．
０１０ 第６規約：ＲＥＡＤ ＤＢ１１，集計の再起要請の宣言。
０１０１ ＲＥＡＤ ＤＢ１１，集計の第４保存領域を初期値化．
０１０２ ＭＯＶＥ １ ＴＯ 第６フラグ．
０１０３ ＭＯＶＥ ０ ＴＯ 第２フラグ．
０１０４ ＲＥＴＵＲＮ．
０１１ 第７規約：ＲＥＡＤ ＤＢ１１，集計の再起停止宣言。
０１１１ ＭＯＶＥ １ ＴＯ 第７フラグ．
０１１２ ＭＯＶＥ ０ ＴＯ 第２フラグ．
０１１３ ＲＥＴＵＲＮ．
【0042】
（Ｅ４１，Ｐ４プログラムの論理結合型模型）
Ｅ４１，Ｐ４は本プログラムが終了状態にあることを告知する。Ｅ４１，Ｐ４を分かり易くする為、論理結合型で示しているが、Ｅ４１は固有のデータ領域（第４保存領域）を持っているので、実際はベクトル構造でプログラムする。この場合のプログラム模型を示す。
００１ ＳＴＡＲＴ．
００２ 主語成立数スタックからＮＳ１を採る．
００３ 主語成立数スタックからＮＳ５を採る．
００４ （ＮＳ１）＝（ＮＳ５）の判定．
００４１ ＹＥＳなら ＧＯ ＴＯ ００５．
００４２ ＮＯなら ＧＯ ＴＯ ００６．
００５ ＭＯＶＥ １ ＴＯ Ｅ４１の第４保存領域．
００６ ＲＥＴＵＲＮ．
Ｅ４１，Ｐ４は本プログラムが終了状態にあることを告知する。Ｅ４１，Ｐ４を分かり易くする為、論理結合型で示しているが、Ｅ４１は固有のデータ領域（第４保存領域）を持っているので、実際はベクトル構造でプログラムする。この場合のプログラム模型を示す。
００１ ＳＴＡＲＴ．
００２ 主語成立数スタックからＮＳ１を採る．
００３ 主語成立数スタックからＮＳ５を採る．
００４ （ＮＳ１）＝（ＮＳ５）の判定．
００４１ ＹＥＳなら ＧＯ ＴＯ ００５．
００４２ ＮＯなら ＧＯ ＴＯ ００６．
００５ ＭＯＶＥ １ ＴＯ Ｅ４１の第４保存領域．
００６ ＲＥＴＵＲＮ．
【0043】
（Ｅ４２，Ｐ４プログラムの論理結合型模型）
Ｅ４２，Ｐ４は命令破壊には至らない命令汚染により、本プログラムに生じる論理矛盾の発症を告知する。Ｅ４２，Ｐ４を分かり易くする為、論理結合型で示しているが、Ｅ４２は固有のデータ領域（第４保存領域）を持っているので、実際はベクトル構造でプログラムする。この場合のプログラム模型を示す。
００１ ＳＴＡＲＴ．
００２ 主語成立数スタックからＮＳ１を採る．
００３ 主語成立数スタックからＮＳ５を採る．
００４ （ＮＳ１）＜（ＮＳ５）の判定．：本プログラムに生じる論理矛盾はこの関係で捉えることができる。
００４１ ＹＥＳなら ＧＯ ＴＯ ００５．
００４２ ＮＯなら ＧＯ ＴＯ ００６．
００５ ＭＯＶＥ １ ＴＯ Ｅ４２の第４保存領域．
００６ ＲＥＴＵＲＮ．
Ｅ４２，Ｐ４は命令破壊には至らない命令汚染により、本プログラムに生じる論理矛盾の発症を告知する。Ｅ４２，Ｐ４を分かり易くする為、論理結合型で示しているが、Ｅ４２は固有のデータ領域（第４保存領域）を持っているので、実際はベクトル構造でプログラムする。この場合のプログラム模型を示す。
００１ ＳＴＡＲＴ．
００２ 主語成立数スタックからＮＳ１を採る．
００３ 主語成立数スタックからＮＳ５を採る．
００４ （ＮＳ１）＜（ＮＳ５）の判定．：本プログラムに生じる論理矛盾はこの関係で捉えることができる。
００４１ ＹＥＳなら ＧＯ ＴＯ ００５．
００４２ ＮＯなら ＧＯ ＴＯ ００６．
００５ ＭＯＶＥ １ ＴＯ Ｅ４２の第４保存領域．
００６ ＲＥＴＵＲＮ．
【0044】
（Ｔ４，Ｐ４プログラムの論理結合型模型）
Ｔ４，Ｐ４はその第４保存領域で座標関数４を座標関数２に切り替える条件が整ったことを告知する。Ｔ４，Ｐ４を分かり易くする為、論理結合型で示しているが、Ｔ４は固有のデータ領域（第４保存領域）を持っているので、実際はベクトル構造でプログラムする。この場合のプログラム模型を示す。
００１ ＳＴＡＲＴ．
００２ Ｐ４の臨界判定．
００２１ パレット４の第６フラグ列の作成．
００２２ パレット４の第６フラグ列常数の作成．
００３ パレット４の第６フラグ列と第６フラグ列常数のＸＯＲ．
００３１ ＸＯＲがＺＥＲＯならＧＯＴＯ ００４．
００３２ ＸＯＲがＮＯＴ ＺＥＲＯならＧＯＴＯ ００５．
００４ ＭＯＶＥ １ ＴＯ Ｔ４の第４保存領域．
００５ ＲＥＴＵＲＮ．
Ｔ４，Ｐ４はその第４保存領域で座標関数４を座標関数２に切り替える条件が整ったことを告知する。Ｔ４，Ｐ４を分かり易くする為、論理結合型で示しているが、Ｔ４は固有のデータ領域（第４保存領域）を持っているので、実際はベクトル構造でプログラムする。この場合のプログラム模型を示す。
００１ ＳＴＡＲＴ．
００２ Ｐ４の臨界判定．
００２１ パレット４の第６フラグ列の作成．
００２２ パレット４の第６フラグ列常数の作成．
００３ パレット４の第６フラグ列と第６フラグ列常数のＸＯＲ．
００３１ ＸＯＲがＺＥＲＯならＧＯＴＯ ００４．
００３２ ＸＯＲがＮＯＴ ＺＥＲＯならＧＯＴＯ ００５．
００４ ＭＯＶＥ １ ＴＯ Ｔ４の第４保存領域．
００５ ＲＥＴＵＲＮ．
【0045】
（Ｔ２，Ｐ２プログラムの論理結合型模型）
Ｔ２，Ｐ２はその第４保存領域で座標関数２を座標関数３に切り替える条件が整ったことを告知する。Ｔ２，Ｐ２を分かり易くする為、論理結合型で示しているが、Ｔ２は固有のデータ領域（第４保存領域）を持っているので、実際はベクトル構造でプログラムする。この場合のプログラム模型を示す。
００１ ＳＴＡＲＴ．
００２ Ｐ２の臨界判定：
００２１ パレット２の第６フラグ列の作成．
００２２ パレット２の第６フラグ列常数の作成．
００３ パレット２の第６フラグ列と第６フラグ列常数のＸＯＲ．
００３１ ＸＯＲがＺＥＲＯならＧＯＴＯ ００４．
００３２ ＸＯＲがＮＯＴ ＺＥＲＯならＧＯＴＯ ００５．
００４ ＭＯＶＥ １ ＴＯ Ｔ４の第４保存領域．
００５ ＲＥＴＵＲＮ．
Ｔ２，Ｐ２はその第４保存領域で座標関数２を座標関数３に切り替える条件が整ったことを告知する。Ｔ２，Ｐ２を分かり易くする為、論理結合型で示しているが、Ｔ２は固有のデータ領域（第４保存領域）を持っているので、実際はベクトル構造でプログラムする。この場合のプログラム模型を示す。
００１ ＳＴＡＲＴ．
００２ Ｐ２の臨界判定：
００２１ パレット２の第６フラグ列の作成．
００２２ パレット２の第６フラグ列常数の作成．
００３ パレット２の第６フラグ列と第６フラグ列常数のＸＯＲ．
００３１ ＸＯＲがＺＥＲＯならＧＯＴＯ ００４．
００３２ ＸＯＲがＮＯＴ ＺＥＲＯならＧＯＴＯ ００５．
００４ ＭＯＶＥ １ ＴＯ Ｔ４の第４保存領域．
００５ ＲＥＴＵＲＮ．
【0046】
（Ｔ３１，Ｐ３プログラムの論理結合型模型）
「Ｔ３１の第４保存領域」は座標関数３を自分の座標関数４に切り替える条件が整っていることを告知する。Ｔ３１，Ｐ３を分かり易くする為、論理結合型で示しているが、Ｔ３１は固有のデータ領域（第４保存領域）を持っているので、実際はベクトル構造でプログラムする。Ｔ３１の第４保存領域の初期値はオンである。この場合のプログラム模型を示す。
００１ ＳＴＡＲＴ．
００２ Ｐ３の臨界判定：
００２１ パレット３の第６フラグ列の作成．
００２２ パレット３の第６フラグ列常数の作成．
００３ パレット３の第６フラグ列と第６フラグ列常数のＸＯＲ（第１条件）．
００３１ ＸＯＲがＺＥＲＯならＧＯＴＯ ００４．
００３２ ＸＯＲがＮＯＴ ＺＥＲＯならＧＯＴＯ ００６．
００４ 主語分布表を用いて行う判定。
００４１ 本プログラムの全主語は本プログラムに内在するか（第２条件）
００４２ ＹＥＳならＧＯＴＯ ００５．
００４３ ＮＯならＧＯＴＯ ００６．
００５ ＭＯＶＥ １ ＴＯ Ｔ３１の第４保存領域．
００６ ＲＥＴＵＲＮ．
「Ｔ３１の第４保存領域」は座標関数３を自分の座標関数４に切り替える条件が整っていることを告知する。Ｔ３１，Ｐ３を分かり易くする為、論理結合型で示しているが、Ｔ３１は固有のデータ領域（第４保存領域）を持っているので、実際はベクトル構造でプログラムする。Ｔ３１の第４保存領域の初期値はオンである。この場合のプログラム模型を示す。
００１ ＳＴＡＲＴ．
００２ Ｐ３の臨界判定：
００２１ パレット３の第６フラグ列の作成．
００２２ パレット３の第６フラグ列常数の作成．
００３ パレット３の第６フラグ列と第６フラグ列常数のＸＯＲ（第１条件）．
００３１ ＸＯＲがＺＥＲＯならＧＯＴＯ ００４．
００３２ ＸＯＲがＮＯＴ ＺＥＲＯならＧＯＴＯ ００６．
００４ 主語分布表を用いて行う判定。
００４１ 本プログラムの全主語は本プログラムに内在するか（第２条件）
００４２ ＹＥＳならＧＯＴＯ ００５．
００４３ ＮＯならＧＯＴＯ ００６．
００５ ＭＯＶＥ １ ＴＯ Ｔ３１の第４保存領域．
００６ ＲＥＴＵＲＮ．
【0047】
（Ｔ３２，Ｐ３プログラムの論理結合型模型）
「Ｔ３２の第４保存領域」は座標関数３をランク構造に於ける本プログラム（１，１）の下位の本プログラム（２，１）の座標関数４に切り替える条件が整っていることを告知する。Ｔ３２，Ｐ３を分かり易くする為、論理結合型で示しているが、Ｔ３２は固有のデータ領域（第４保存領域）を持っているので、実際はベクトル構造でプログラムする。この場合のプログラム模型を示す。
００１ ＳＴＡＲＴ．
００２ Ｐ３の臨界判定：
００２１ パレット３の第６フラグ列の作成．
００２２ パレット３の第６フラグ列常数の作成．
００３ パレット３の第６フラグ列と第６フラグ列常数のＸＯＲ（第１条件）．
００３１ ＸＯＲがＺＥＲＯならＧＯＴＯ ００４．
００３２ ＸＯＲがＮＯＴ ＺＥＲＯならＧＯＴＯ ００６．
００４ 主語分布表を用いて行う判定。
００４１ 本プログラムの主語は隣下の本プログラムにも内在するか（第２条件）
００４２ ＹＥＳならＧＯＴＯ ００５．
００４３ ＮＯならＧＯＴＯ ００６．
００５ ＭＯＶＥ １ ＴＯ Ｔ３２の第４保存領域．
００６ ＲＥＴＵＲＮ．
「Ｔ３２の第４保存領域」は座標関数３をランク構造に於ける本プログラム（１，１）の下位の本プログラム（２，１）の座標関数４に切り替える条件が整っていることを告知する。Ｔ３２，Ｐ３を分かり易くする為、論理結合型で示しているが、Ｔ３２は固有のデータ領域（第４保存領域）を持っているので、実際はベクトル構造でプログラムする。この場合のプログラム模型を示す。
００１ ＳＴＡＲＴ．
００２ Ｐ３の臨界判定：
００２１ パレット３の第６フラグ列の作成．
００２２ パレット３の第６フラグ列常数の作成．
００３ パレット３の第６フラグ列と第６フラグ列常数のＸＯＲ（第１条件）．
００３１ ＸＯＲがＺＥＲＯならＧＯＴＯ ００４．
００３２ ＸＯＲがＮＯＴ ＺＥＲＯならＧＯＴＯ ００６．
００４ 主語分布表を用いて行う判定。
００４１ 本プログラムの主語は隣下の本プログラムにも内在するか（第２条件）
００４２ ＹＥＳならＧＯＴＯ ００５．
００４３ ＮＯならＧＯＴＯ ００６．
００５ ＭＯＶＥ １ ＴＯ Ｔ３２の第４保存領域．
００６ ＲＥＴＵＲＮ．
【0048】
（Ｔ３３，Ｐ３プログラムの論理結合型模型）
「Ｔ３３の第４保存領域」は座標関数３をランク構造に於ける本プログラム（１，１）の最上位の本プログラムの座標関数３に切り替える条件が整っていることを告知する。Ｔ３３，Ｐ３を分かり易くする為、論理結合型で示しているが、Ｔ３３は固有のデータ領域（第４保存領域）を持っているので、実際はベクトル構造でプログラムする。この場合のプログラム模型を示す。
００１ ＳＴＡＲＴ．
００２ Ｐ３の臨界判定：
００２１ パレット３の第６フラグ列の作成．
００２２ パレット３の第６フラグ列常数の作成．
００３ パレット３の第６フラグ列と第６フラグ列常数のＸＯＲ（第１条件）．
００３１ ＸＯＲがＺＥＲＯならＧＯＴＯ ００４．
００３２ ＸＯＲがＮＯＴ ＺＥＲＯならＧＯＴＯ ００６．
００４ 主語分布表を用いて行う判定。
００４１ 本プログラムの主語は隣上の本プログラムにも内在するか（第２条件）
００４２ ＹＥＳならＧＯＴＯ ００５．
００４３ ＮＯならＧＯＴＯ ００６．
００５ ＭＯＶＥ １ ＴＯ Ｔ３２の第４保存領域．
００６ ＲＥＴＵＲＮ．
「Ｔ３３の第４保存領域」は座標関数３をランク構造に於ける本プログラム（１，１）の最上位の本プログラムの座標関数３に切り替える条件が整っていることを告知する。Ｔ３３，Ｐ３を分かり易くする為、論理結合型で示しているが、Ｔ３３は固有のデータ領域（第４保存領域）を持っているので、実際はベクトル構造でプログラムする。この場合のプログラム模型を示す。
００１ ＳＴＡＲＴ．
００２ Ｐ３の臨界判定：
００２１ パレット３の第６フラグ列の作成．
００２２ パレット３の第６フラグ列常数の作成．
００３ パレット３の第６フラグ列と第６フラグ列常数のＸＯＲ（第１条件）．
００３１ ＸＯＲがＺＥＲＯならＧＯＴＯ ００４．
００３２ ＸＯＲがＮＯＴ ＺＥＲＯならＧＯＴＯ ００６．
００４ 主語分布表を用いて行う判定。
００４１ 本プログラムの主語は隣上の本プログラムにも内在するか（第２条件）
００４２ ＹＥＳならＧＯＴＯ ００５．
００４３ ＮＯならＧＯＴＯ ００６．
００５ ＭＯＶＥ １ ＴＯ Ｔ３２の第４保存領域．
００６ ＲＥＴＵＲＮ．
【0049】
（座標関数４プログラムの論理結合型模型）
座標関数４のログラム模型を以下に示す。
００１ ＳＴＡＲＴ．
００２ パレット４の搭載順位１（ｉ＝１）のベクトルを指定．：座標周期４の始まり
００３ 指定された搭載順位（ｉ）のベクトルを起動．
００４ ここは起動したベクトルのＲＥＴＵＲＮ点です．
００５ 命令破壊信号（ＯＳ）の有無判定．
００５１ 有りで、ＳＥＰ起動．：本プログラムの実行を停止
００５２ なしで、ＧＯ ＴＯ ００６．
００６ 起動する次のベクトルを指定（ｉ＝ｉ＋１）．
００７ （ｉ）はパレット４のベクトルの搭載数（Ｎ４）を超えたか．
００７１ 超えていれば ＧＯ ＴＯ ００８．
００７２ 超えていなければ ＧＯ ＴＯ ００３．
００８ パレット４の臨界の成否判定．：Ｔ４の第４保存領域のオンオフを利用
００８１ オフなら ＧＯ ＴＯ ００２．
００８２ オンなら ＧＯ ＴＯ ００９．：座標周期４の終了
００９ 論理矛盾発症の有無を判定：Ｅ４２の第４保存領域オンオフの利用．
００９１ オンで、ＳＬＰ起動．：本プログラムの実行停止処理
００９２ オフで、ＧＯ ＴＯ ０１０．
：本プログラムには論理矛盾は起きていない
０１０ 同期関数に戻る為に次の処理を行う
０１０１ パレット４の第７フラグオンのベクトルを全て初期値化する．
０１０２ スタック更新プログラムの起動．
０１１ 同期関数にＲＥＴＵＲＮ．
座標関数４のログラム模型を以下に示す。
００１ ＳＴＡＲＴ．
００２ パレット４の搭載順位１（ｉ＝１）のベクトルを指定．：座標周期４の始まり
００３ 指定された搭載順位（ｉ）のベクトルを起動．
００４ ここは起動したベクトルのＲＥＴＵＲＮ点です．
００５ 命令破壊信号（ＯＳ）の有無判定．
００５１ 有りで、ＳＥＰ起動．：本プログラムの実行を停止
００５２ なしで、ＧＯ ＴＯ ００６．
００６ 起動する次のベクトルを指定（ｉ＝ｉ＋１）．
００７ （ｉ）はパレット４のベクトルの搭載数（Ｎ４）を超えたか．
００７１ 超えていれば ＧＯ ＴＯ ００８．
００７２ 超えていなければ ＧＯ ＴＯ ００３．
００８ パレット４の臨界の成否判定．：Ｔ４の第４保存領域のオンオフを利用
００８１ オフなら ＧＯ ＴＯ ００２．
００８２ オンなら ＧＯ ＴＯ ００９．：座標周期４の終了
００９ 論理矛盾発症の有無を判定：Ｅ４２の第４保存領域オンオフの利用．
００９１ オンで、ＳＬＰ起動．：本プログラムの実行停止処理
００９２ オフで、ＧＯ ＴＯ ０１０．
：本プログラムには論理矛盾は起きていない
０１０ 同期関数に戻る為に次の処理を行う
０１０１ パレット４の第７フラグオンのベクトルを全て初期値化する．
０１０２ スタック更新プログラムの起動．
０１１ 同期関数にＲＥＴＵＲＮ．
【0050】
（座標関数２プログラムの論理結合型模型）
座標関数２のログラム模型を以下に示す。
００１ ＳＴＡＲＴ．
００２ パレット２の搭載順位１（ｉ＝１）のベクトルを指定．：座標周期２の始まり
００３ 指定された搭載順位（ｉ）のベクトルを起動．
００４ ここは起動したベクトルのＲＥＴＵＲＮ点である．
００５ 命令破壊信号（ＯＳ）の有無判定．
００５１ 有りで、ＳＥＰ起動．：本プログラムの実行を停止
００５２ なしで、ＧＯ ＴＯ ００６．
００６ 起動する次のベクトルを指定（ｉ＝ｉ＋１）．
００７ （ｉ）はパレット２のベクトルの搭載数（Ｎ２）を超えたか．
００７１ 超えていれば ＧＯ ＴＯ ００８．
００７２ 超えていなければ ＧＯ ＴＯ ００３．
００８ パレット２の臨界の成否判定．：Ｔ２の第４保存領域のオンオフを利用
００８１ オフなら ＧＯ ＴＯ ００２．
００８２ オンなら ＧＯ ＴＯ ００９．：座標周期２の終了
００９ 論理矛盾発症の有無を判定：Ｅ４２の第４保存領域オンオフの利用．
００９１ オンで、ＳＬＰ起動．：本プログラムの実行停止処理
００９２ オフで、ＧＯ ＴＯ ０１０．
：本プログラムには論理矛盾は起きていない
０１０ 同期関数に戻る為に次の処理を行う
０１０１ パレット２の第７フラグオンのベクトルを全て初期値化する．
０１１ 同期関数にＲＥＴＵＲＮ．
座標関数２のログラム模型を以下に示す。
００１ ＳＴＡＲＴ．
００２ パレット２の搭載順位１（ｉ＝１）のベクトルを指定．：座標周期２の始まり
００３ 指定された搭載順位（ｉ）のベクトルを起動．
００４ ここは起動したベクトルのＲＥＴＵＲＮ点である．
００５ 命令破壊信号（ＯＳ）の有無判定．
００５１ 有りで、ＳＥＰ起動．：本プログラムの実行を停止
００５２ なしで、ＧＯ ＴＯ ００６．
００６ 起動する次のベクトルを指定（ｉ＝ｉ＋１）．
００７ （ｉ）はパレット２のベクトルの搭載数（Ｎ２）を超えたか．
００７１ 超えていれば ＧＯ ＴＯ ００８．
００７２ 超えていなければ ＧＯ ＴＯ ００３．
００８ パレット２の臨界の成否判定．：Ｔ２の第４保存領域のオンオフを利用
００８１ オフなら ＧＯ ＴＯ ００２．
００８２ オンなら ＧＯ ＴＯ ００９．：座標周期２の終了
００９ 論理矛盾発症の有無を判定：Ｅ４２の第４保存領域オンオフの利用．
００９１ オンで、ＳＬＰ起動．：本プログラムの実行停止処理
００９２ オフで、ＧＯ ＴＯ ０１０．
：本プログラムには論理矛盾は起きていない
０１０ 同期関数に戻る為に次の処理を行う
０１０１ パレット２の第７フラグオンのベクトルを全て初期値化する．
０１１ 同期関数にＲＥＴＵＲＮ．
【0051】
（座標関数３プログラムの論理結合型模型）
座標関数３のプログラム模型を以下に示す。
００１ ＳＴＡＲＴ．
００２ パレット３の搭載順位１（ｉ＝１）のベクトルを指定．：座標周期３の始まり
００３ 指定された搭載順位（ｉ）のベクトルを起動．
００４ ここは起動したベクトルのＲＥＴＵＲＮ点である．
００５ 命令破壊信号（ＯＳ）の有無判定．
００５１ 有りで、ＳＥＰ起動．：本プログラムの実行を停止
００５２ なしで、ＧＯ ＴＯ ００６．
００６ 起動する次のベクトルを指定（ｉ＝ｉ＋１）．
００７ （ｉ）はパレット２のベクトルの搭載数（Ｎ３）を超えたか．
００７１ 超えていれば ＧＯ ＴＯ ００８．
００７２ 超えていなければ ＧＯ ＴＯ ００３．
００８ パレット３の臨界の成否判定．：Ｔ２の第４保存領域のオンオフを利用
００８１ オフなら ＧＯ ＴＯ ００２．
００８２ オンなら ＧＯ ＴＯ ００９．：座標周期５の終了
００９ 論理矛盾発症の有無を判定：Ｅ４２の第４保存領域オンオフの利用．
００９１ オンで、ＳＬＰ起動．：本プログラムの実行停止処理
００９２ オフで、ＧＯ ＴＯ ０１０．
：本プログラムには論理矛盾は起きていない
０１０ 同期関数に戻る為に次の処理を行う
０１０１ パレット３の第７フラグオンのベクトルを全て初期値化する．
０１１ 同期関数にＲＥＴＵＲＮ
座標関数３のプログラム模型を以下に示す。
００１ ＳＴＡＲＴ．
００２ パレット３の搭載順位１（ｉ＝１）のベクトルを指定．：座標周期３の始まり
００３ 指定された搭載順位（ｉ）のベクトルを起動．
００４ ここは起動したベクトルのＲＥＴＵＲＮ点である．
００５ 命令破壊信号（ＯＳ）の有無判定．
００５１ 有りで、ＳＥＰ起動．：本プログラムの実行を停止
００５２ なしで、ＧＯ ＴＯ ００６．
００６ 起動する次のベクトルを指定（ｉ＝ｉ＋１）．
００７ （ｉ）はパレット２のベクトルの搭載数（Ｎ３）を超えたか．
００７１ 超えていれば ＧＯ ＴＯ ００８．
００７２ 超えていなければ ＧＯ ＴＯ ００３．
００８ パレット３の臨界の成否判定．：Ｔ２の第４保存領域のオンオフを利用
００８１ オフなら ＧＯ ＴＯ ００２．
００８２ オンなら ＧＯ ＴＯ ００９．：座標周期５の終了
００９ 論理矛盾発症の有無を判定：Ｅ４２の第４保存領域オンオフの利用．
００９１ オンで、ＳＬＰ起動．：本プログラムの実行停止処理
００９２ オフで、ＧＯ ＴＯ ０１０．
：本プログラムには論理矛盾は起きていない
０１０ 同期関数に戻る為に次の処理を行う
０１０１ パレット３の第７フラグオンのベクトルを全て初期値化する．
０１１ 同期関数にＲＥＴＵＲＮ
【0052】
（同期関数プログラムの論理結合型模型）
００１ ＳＴＡＲＴ．
００２ スタック初期値化プログラム起動．
００３ 本プログラムの終了判定．：Ｅ４１の第４保存領域のオンオフを利用
００３１ オンなら、ＧＯ ＴＯ ００４．：本プログラム終了処理
００３２ オフなら、ＧＯ ＴＯ ００５．：本プログラムの始動
００４ ＳＥＰ起動．：Ｓｙｓｔｍ Ｅｎｄｉｎｇ Ｐｒｏｇｒａｍ(本プログラム終了プログラム)
００５ Ｔ３１第４保存領域のオンオフ判定．：自分の座標関数４の起動
００５１ オンなら．Ｔ３１第４保存領域をオフにする．
００５２ 自分の座標関数４を起動．
００５３ オフならＧＯ ＴＯ ００６．
００６ Ｔ３２第４保存領域のオンオフ判定．：最近傍下位の座標関数４を起動
００６１ オンなら．Ｔ３２第４保存領域をオフにする．
００６２ 最近傍下位の座標関数４を起動．
００６３ オフなら、ＧＯ ＴＯ ００７．：最近傍下位の座標関数４がなければオフ。
００７ Ｔ３３第４保存領域のオンオフ判定．：最上位の座標関数３の起動
００７１ オンなら．Ｔ３３第４保存領域をオフにする．
００７２ 最上位の座標関数３を起動．
００７３ オフなら、ＧＯ ＴＯ ００８．：最上位の座標関数３がなければオフ。
００８ Ｔ４第４保存領域のオンオフ判定．：自分の座標関数２の起動
００８１ オンなら．Ｔ４第４保存領域をオフにする．
００８２ 自分の座標関数２を起動．
００８３ オフなら、ＧＯ ＴＯ ００９．：自分の座標関数３の起動。
００９ Ｔ２第４保存領域のオンオフ判定．：自分の座標関数３の起動
００９１ オンなら．Ｔ２第４保存領域をオフにする．
００９２ 自分の座標関数３を起動．
００９３ オフなら、ＧＯ ＴＯ ０１０．
０１０ Ｔ３２第４保存領域のオンオフ判定．：隣下の座標関数４の起動
０１０１ オンなら．Ｔ３２第４保存領域をオフにする．
０１０２ 隣下の座標関数４を起動．
０１０３ オフなら、ＧＯ ＴＯ ０１１．
０１１ Ｔ３３第４保存領域のオンオフ判定．：最上位の座標関数３の起動
０１１１ オンなら．Ｔ３３第４保存領域をオフにする．
０１１２ 最上位の座標関数３を起動．
０１１３ オフなら、ＧＯ ＴＯ ００５２．
０１２ ＥＮＤ．
００１ ＳＴＡＲＴ．
００２ スタック初期値化プログラム起動．
００３ 本プログラムの終了判定．：Ｅ４１の第４保存領域のオンオフを利用
００３１ オンなら、ＧＯ ＴＯ ００４．：本プログラム終了処理
００３２ オフなら、ＧＯ ＴＯ ００５．：本プログラムの始動
００４ ＳＥＰ起動．：Ｓｙｓｔｍ Ｅｎｄｉｎｇ Ｐｒｏｇｒａｍ(本プログラム終了プログラム)
００５ Ｔ３１第４保存領域のオンオフ判定．：自分の座標関数４の起動
００５１ オンなら．Ｔ３１第４保存領域をオフにする．
００５２ 自分の座標関数４を起動．
００５３ オフならＧＯ ＴＯ ００６．
００６ Ｔ３２第４保存領域のオンオフ判定．：最近傍下位の座標関数４を起動
００６１ オンなら．Ｔ３２第４保存領域をオフにする．
００６２ 最近傍下位の座標関数４を起動．
００６３ オフなら、ＧＯ ＴＯ ００７．：最近傍下位の座標関数４がなければオフ。
００７ Ｔ３３第４保存領域のオンオフ判定．：最上位の座標関数３の起動
００７１ オンなら．Ｔ３３第４保存領域をオフにする．
００７２ 最上位の座標関数３を起動．
００７３ オフなら、ＧＯ ＴＯ ００８．：最上位の座標関数３がなければオフ。
００８ Ｔ４第４保存領域のオンオフ判定．：自分の座標関数２の起動
００８１ オンなら．Ｔ４第４保存領域をオフにする．
００８２ 自分の座標関数２を起動．
００８３ オフなら、ＧＯ ＴＯ ００９．：自分の座標関数３の起動。
００９ Ｔ２第４保存領域のオンオフ判定．：自分の座標関数３の起動
００９１ オンなら．Ｔ２第４保存領域をオフにする．
００９２ 自分の座標関数３を起動．
００９３ オフなら、ＧＯ ＴＯ ０１０．
０１０ Ｔ３２第４保存領域のオンオフ判定．：隣下の座標関数４の起動
０１０１ オンなら．Ｔ３２第４保存領域をオフにする．
０１０２ 隣下の座標関数４を起動．
０１０３ オフなら、ＧＯ ＴＯ ０１１．
０１１ Ｔ３３第４保存領域のオンオフ判定．：最上位の座標関数３の起動
０１１１ オンなら．Ｔ３３第４保存領域をオフにする．
０１１２ 最上位の座標関数３を起動．
０１１３ オフなら、ＧＯ ＴＯ ００５２．
０１２ ＥＮＤ．
【0053】
（Ｅ４１，Ｐ４プログラムのベクトル型模型）
制御ベクトルの論理結合型模型を２例ベクトルに置き換える。他の制御ベクトルも置き換え方は同じである。論理結合型模型の制御ベクトルをベクトル型模型に変換する原型はＬ４．Ａである。このベクトルの命令文はスタッツクを採ることである。スタックを採る命令文は第２規約に置かれる。Ｅ４１，Ｐ４にはＬ３がない。次にプログラム模型を示す。
００１ ＳＴＡＲＴ．
ＸＸＸ
００４ 第１規約：Ｅ４１，Ｐ４の正統性を用いて第２規約に進むか、ＲＥＴＵＲＮかを判定。
００５ 第２規約
００５１ ＭＯＶＥ １ ＴＯ 第２フラグ．
００５２ 主語成立数スタックからＮＳ１を採る．
００５３ 主語成立数スタックからＮＳ５を採る．
００６ 第３規約：（ＮＳ１）＝（ＮＳ５）の判定．
００６１ ＹＥＳならＧＯＴＯ 第４規約．
００６２ ＮＯならＧＯＴＯ 第５規約．
００７ 第４規約。
００７１ ＭＯＶＥ ０ ＴＯ Ｅ４１，Ｐ４の第６フラグ．
００７２ ＭＯＶＥ Ａ ＴＯ Ｅ４１，Ｐ４の第４保存領域．
※００７３ ＭＯＶＥ Ａ ＴＯ Ｅ４１，Ｐ４の第４コピー領域．
００７４ ＡＤＤ １ ＴＯ 主語成立数カウンタ．
００８ ＲＥＴＵＲＮ．
００９ 第５規約：Ｅ４１，Ｐ４が同じ座標周期で成立するや否やの判定。
００９１ ＭＯＶＥ ０ ＴＯ 第６フラグ．
００９２ （ＮＳ１＝ＮＳ５）ならＧＯＴＯ 第７規約．
００９３ （ＮＳ１＞ＮＳ５）ならＧＯＴＯ 第６規約．
０１０ 第６規約：Ｅ４１，Ｐ４の再起要請の宣言。
０１０１ Ｅ４１，Ｐ４の第４保存領域を初期値化．
０１０２ ＭＯＶＥ １ ＴＯ 第６フラグ．
０１０３ ＭＯＶＥ ０ ＴＯ 第２フラグ．
０１０４ ＲＥＴＵＲＮ．
０１１ 第７規約：Ｅ４１，Ｐ４の再起停止宣言。
０１１１ ＭＯＶＥ １ ＴＯ 第７フラグ．
０１１２ ＭＯＶＥ ０ ＴＯ 第２フラグ．
０１１３ ＲＥＴＵＲＮ．
制御ベクトルの論理結合型模型を２例ベクトルに置き換える。他の制御ベクトルも置き換え方は同じである。論理結合型模型の制御ベクトルをベクトル型模型に変換する原型はＬ４．Ａである。このベクトルの命令文はスタッツクを採ることである。スタックを採る命令文は第２規約に置かれる。Ｅ４１，Ｐ４にはＬ３がない。次にプログラム模型を示す。
００１ ＳＴＡＲＴ．
ＸＸＸ
００４ 第１規約：Ｅ４１，Ｐ４の正統性を用いて第２規約に進むか、ＲＥＴＵＲＮかを判定。
００５ 第２規約
００５１ ＭＯＶＥ １ ＴＯ 第２フラグ．
００５２ 主語成立数スタックからＮＳ１を採る．
００５３ 主語成立数スタックからＮＳ５を採る．
００６ 第３規約：（ＮＳ１）＝（ＮＳ５）の判定．
００６１ ＹＥＳならＧＯＴＯ 第４規約．
００６２ ＮＯならＧＯＴＯ 第５規約．
００７ 第４規約。
００７１ ＭＯＶＥ ０ ＴＯ Ｅ４１，Ｐ４の第６フラグ．
００７２ ＭＯＶＥ Ａ ＴＯ Ｅ４１，Ｐ４の第４保存領域．
※００７３ ＭＯＶＥ Ａ ＴＯ Ｅ４１，Ｐ４の第４コピー領域．
００７４ ＡＤＤ １ ＴＯ 主語成立数カウンタ．
００８ ＲＥＴＵＲＮ．
００９ 第５規約：Ｅ４１，Ｐ４が同じ座標周期で成立するや否やの判定。
００９１ ＭＯＶＥ ０ ＴＯ 第６フラグ．
００９２ （ＮＳ１＝ＮＳ５）ならＧＯＴＯ 第７規約．
００９３ （ＮＳ１＞ＮＳ５）ならＧＯＴＯ 第６規約．
０１０ 第６規約：Ｅ４１，Ｐ４の再起要請の宣言。
０１０１ Ｅ４１，Ｐ４の第４保存領域を初期値化．
０１０２ ＭＯＶＥ １ ＴＯ 第６フラグ．
０１０３ ＭＯＶＥ ０ ＴＯ 第２フラグ．
０１０４ ＲＥＴＵＲＮ．
０１１ 第７規約：Ｅ４１，Ｐ４の再起停止宣言。
０１１１ ＭＯＶＥ １ ＴＯ 第７フラグ．
０１１２ ＭＯＶＥ ０ ＴＯ 第２フラグ．
０１１３ ＲＥＴＵＲＮ．
【0054】
（Ｔ３３，Ｐ３プログラムのベクトル型模型）
このベクトルの命令文はスタッツクを採ることである。スタッツクを採る命令文は第２規約に置かれる。Ｔ３３，Ｐ３にはＬ３がない。次にプログラム模型を示す。
００１ ＳＴＡＲＴ．
ＸＸＸ
００４ 第１規約：Ｔ３３，Ｐ３の正統性を用いて第２規約に進むか、ＲＥＴＵＲＮかを判定。
００５ 第２規約 Ｔ３３，Ｐ３の成立判定の準備：
００５１ ＭＯＶＥ １ ＴＯ 第２フラグ．
００５２ パレット３の第６フラグ列の作成．
００５３ パレット３の第６フラグ列常数の作成．
００６ 第３規約：Ｔ３３，Ｐ３の成立判定。
００６１ Ｐ３の臨界判定。
００６１１ パレット３の第６フラグ列と第６フラグ列常数のＸＯＲ（第１条件）．
００６１２ ＸＯＲがＺＥＲＯならＧＯＴＯ ００６２．
００６１３ ＸＯＲがＮＯＴ ＺＥＲＯなら第５規約．
００６２ 主語分布表を用いて行う判定。
００６２１ 主語は隣上の本プログラムにも内在するか（第２条件）
００６２２ ＹＥＳならＧＯＴＯ 第４規約．
００６２３ ＮＯならＧＯＴＯ ＲＥＴＵＲＮ．
００７ 第４規約。
００７１ ＭＯＶＥ ０ ＴＯ Ｔ３３，Ｐ３の第６フラグ．
００７２ ＭＯＶＥ Ａ ＴＯ Ｔ３３，Ｐ３の第４保存領域．
※００７３ ＭＯＶＥ Ａ ＴＯ Ｔ３３，Ｐ３の第４コピー領域．
００７４ ＡＤＤ １ ＴＯ 主語成立数カウンタ．
００８ ＲＥＴＵＲＮ．
００９ 第５規約：Ｐ３の臨界が同じ座標周期で成立するや否やの判定。
００９１ ＭＯＶＥ ０ ＴＯ 第６フラグ．
００９２ （ＮＳ１＞ＮＳ５）ならＧＯＴＯ 第６規約．
００９３ （ＮＳ１＞ＮＳ５）でなければＧＯＴＯ 第７規約．
０１０ 第６規約：Ｅ４１，Ｐ４の再起要請の宣言。
０１０１ Ｔ３３，Ｐ３の第４保存領域を初期値化．
０１０２ ＭＯＶＥ １ ＴＯ 第６フラグ．
０１０３ ＭＯＶＥ ０ ＴＯ 第２フラグ．
０１０４ ＲＥＴＵＲＮ．
０１１ 第７規約：Ｔ３３，Ｐ３の再起停止宣言。
０１１１ ＭＯＶＥ １ ＴＯ 第７フラグ．
０１１２ ＭＯＶＥ ０ ＴＯ 第２フラグ．
０１１３ ＲＥＴＵＲＮ．
このベクトルの命令文はスタッツクを採ることである。スタッツクを採る命令文は第２規約に置かれる。Ｔ３３，Ｐ３にはＬ３がない。次にプログラム模型を示す。
００１ ＳＴＡＲＴ．
ＸＸＸ
００４ 第１規約：Ｔ３３，Ｐ３の正統性を用いて第２規約に進むか、ＲＥＴＵＲＮかを判定。
００５ 第２規約 Ｔ３３，Ｐ３の成立判定の準備：
００５１ ＭＯＶＥ １ ＴＯ 第２フラグ．
００５２ パレット３の第６フラグ列の作成．
００５３ パレット３の第６フラグ列常数の作成．
００６ 第３規約：Ｔ３３，Ｐ３の成立判定。
００６１ Ｐ３の臨界判定。
００６１１ パレット３の第６フラグ列と第６フラグ列常数のＸＯＲ（第１条件）．
００６１２ ＸＯＲがＺＥＲＯならＧＯＴＯ ００６２．
００６１３ ＸＯＲがＮＯＴ ＺＥＲＯなら第５規約．
００６２ 主語分布表を用いて行う判定。
００６２１ 主語は隣上の本プログラムにも内在するか（第２条件）
００６２２ ＹＥＳならＧＯＴＯ 第４規約．
００６２３ ＮＯならＧＯＴＯ ＲＥＴＵＲＮ．
００７ 第４規約。
００７１ ＭＯＶＥ ０ ＴＯ Ｔ３３，Ｐ３の第６フラグ．
００７２ ＭＯＶＥ Ａ ＴＯ Ｔ３３，Ｐ３の第４保存領域．
※００７３ ＭＯＶＥ Ａ ＴＯ Ｔ３３，Ｐ３の第４コピー領域．
００７４ ＡＤＤ １ ＴＯ 主語成立数カウンタ．
００８ ＲＥＴＵＲＮ．
００９ 第５規約：Ｐ３の臨界が同じ座標周期で成立するや否やの判定。
００９１ ＭＯＶＥ ０ ＴＯ 第６フラグ．
００９２ （ＮＳ１＞ＮＳ５）ならＧＯＴＯ 第６規約．
００９３ （ＮＳ１＞ＮＳ５）でなければＧＯＴＯ 第７規約．
０１０ 第６規約：Ｅ４１，Ｐ４の再起要請の宣言。
０１０１ Ｔ３３，Ｐ３の第４保存領域を初期値化．
０１０２ ＭＯＶＥ １ ＴＯ 第６フラグ．
０１０３ ＭＯＶＥ ０ ＴＯ 第２フラグ．
０１０４ ＲＥＴＵＲＮ．
０１１ 第７規約：Ｔ３３，Ｐ３の再起停止宣言。
０１１１ ＭＯＶＥ １ ＴＯ 第７フラグ．
０１１２ ＭＯＶＥ ０ ＴＯ 第２フラグ．
０１１３ ＲＥＴＵＲＮ．
【0055】
（スタック更新プログラムの論理結合型模型）
００１ ＳＴＡＲＴ．
００２ 主語成立数カウンタがゼロならスタックを初期値化：スタック初期値化プログラムを起動
００３ ＲＥＴＵＲＮ．
００４ 主語成立数カウンタがゼロでなく、ＮＳ１、２，３，４ゼロなら
００５ 主語成立数カウンタをＮＳ１に上書．
００６ ＲＥＴＵＲＮ．
００７ 主語成立数カウンタがゼロでなく、ＮＳ２，３，４ゼロなら
００８ ＮＳ１をＮＳ２に上書．
００９ 主語成立数カウンタをＮＳ１に上書．
０１０ ＲＥＴＵＲＮ．
０１１ 主語成立数カウンタがゼロでなく、ＮＳ３，４ゼロなら
０１２ ＮＳ１をＮＳ２に上書．
０１３ ＮＳ２をＮＳ３に上書．
０１４ 主語成立数カウンタをＮＳ１に上書．
０１５ ＲＥＴＵＲＮ．
０１６ 主語成立数カウンタがゼロでなく、ＮＳ４がゼロなら
０１７ ＮＳ１をＮＳ２に上書．
０１８ ＮＳ２をＮＳ３に上書．
０１９ ＮＳ３をＮＳ４に上書．
０２０ 主語成立数カウンタをＮＳ１に上書．
０２１ ＲＥＴＵＲＮ．
０２２ 主語成立数カウンタがゼロでなく、全ＮＳがゼロでないなら
０２３ ＮＳ１をＮＳ２に上書．
０２４ ＮＳ２をＮＳ３に上書．
０２５ ＮＳ３をＮＳ４に上書．
０２６ ＮＳ４をＮＳ５に上書．
０２７ 主語成立数カウンタをＮＳ１に上書．
０２８ ＲＥＴＵＲＮ．
００１ ＳＴＡＲＴ．
００２ 主語成立数カウンタがゼロならスタックを初期値化：スタック初期値化プログラムを起動
００３ ＲＥＴＵＲＮ．
００４ 主語成立数カウンタがゼロでなく、ＮＳ１、２，３，４ゼロなら
００５ 主語成立数カウンタをＮＳ１に上書．
００６ ＲＥＴＵＲＮ．
００７ 主語成立数カウンタがゼロでなく、ＮＳ２，３，４ゼロなら
００８ ＮＳ１をＮＳ２に上書．
００９ 主語成立数カウンタをＮＳ１に上書．
０１０ ＲＥＴＵＲＮ．
０１１ 主語成立数カウンタがゼロでなく、ＮＳ３，４ゼロなら
０１２ ＮＳ１をＮＳ２に上書．
０１３ ＮＳ２をＮＳ３に上書．
０１４ 主語成立数カウンタをＮＳ１に上書．
０１５ ＲＥＴＵＲＮ．
０１６ 主語成立数カウンタがゼロでなく、ＮＳ４がゼロなら
０１７ ＮＳ１をＮＳ２に上書．
０１８ ＮＳ２をＮＳ３に上書．
０１９ ＮＳ３をＮＳ４に上書．
０２０ 主語成立数カウンタをＮＳ１に上書．
０２１ ＲＥＴＵＲＮ．
０２２ 主語成立数カウンタがゼロでなく、全ＮＳがゼロでないなら
０２３ ＮＳ１をＮＳ２に上書．
０２４ ＮＳ２をＮＳ３に上書．
０２５ ＮＳ３をＮＳ４に上書．
０２６ ＮＳ４をＮＳ５に上書．
０２７ 主語成立数カウンタをＮＳ１に上書．
０２８ ＲＥＴＵＲＮ．
【0056】
（スタック初期値化プログラムの論理結合型模型）
本スタック情報を利用する主語ベクトルの第５規約（ＮＳ１＞ＮＳ５）、制御ベクトルＥ４１（ＮＳ１＝ＮＳ５）、Ｅ４２（ＮＳ１＜ＮＳ５）の為に、本プログラムを同期周期の開始点で起動（ＣＡＬＬ）する。次にプログラム模型を示す。
００１ ＳＴＡＲＴ．
００２ ＮＳ５に１をセット．
００３ ＮＳ４をゼロクリア．
００４ ＮＳ３をゼロクリア．
００５ ＮＳ２をゼロクリア．
００６ ＮＳ１をゼロクリア．
００７ 主語成立数カウンタをゼロクリア．
００８ ＲＥＴＵＲＮ．
本スタック情報を利用する主語ベクトルの第５規約（ＮＳ１＞ＮＳ５）、制御ベクトルＥ４１（ＮＳ１＝ＮＳ５）、Ｅ４２（ＮＳ１＜ＮＳ５）の為に、本プログラムを同期周期の開始点で起動（ＣＡＬＬ）する。次にプログラム模型を示す。
００１ ＳＴＡＲＴ．
００２ ＮＳ５に１をセット．
００３ ＮＳ４をゼロクリア．
００４ ＮＳ３をゼロクリア．
００５ ＮＳ２をゼロクリア．
００６ ＮＳ１をゼロクリア．
００７ 主語成立数カウンタをゼロクリア．
００８ ＲＥＴＵＲＮ．
【0057】
以上が、プログラム模型の例示である。
【0058】
［参考情報］
以下は、上述した本発明にかかるシナリオ関数の理解の助けとなる情報である。
以下は、上述した本発明にかかるシナリオ関数の理解の助けとなる情報である。
【0059】
（シナリオ関数について）
シナリオ関数とは、実行時に最大の意味空間を主語系譜として捉えることができる唯一無二の同期型プログラムの定義構造式である。これは即ち、この唯一無二のシナリオ関数の構造式は、いかなる電算機システムの動性アルゴリズムをも捉えることをができることを意味する。実行時このシナリオ関数により創出されるアルゴリズムの全体はプログラムの完全体を成立させるのである。
シナリオ関数とは、実行時に最大の意味空間を主語系譜として捉えることができる唯一無二の同期型プログラムの定義構造式である。これは即ち、この唯一無二のシナリオ関数の構造式は、いかなる電算機システムの動性アルゴリズムをも捉えることをができることを意味する。実行時このシナリオ関数により創出されるアルゴリズムの全体はプログラムの完全体を成立させるのである。
【0060】
換言すれば、シナリオ関数とは実行時に最大の意味空間（ＳＧ）を自律的に創出する関係式のことである。この関係式はＬＹＥＥ理論が実行事にアルゴリズムの完全体を自律的に発症させる仕組を成立させる世界初の同期型プログラムの原理的仕組である。これによりシナリオ関数の動性アルゴリズムは不完全なプログラムの未解決問題を全て自律的に解法するプログラムの革新的技術をもたらすのである。この夢のような理想プログラムは理学（科学、数学）の分野では克服できない不完全人の思考法（ＣＰＳ）を反映する非同期（不連続）問題を解法する手段となる。同期型プログラムはその証明論である。
【0061】
主語ベクトルの第３規約で自動生成される名詞のツリー構造は、その構成名詞が全て正当でなければ成立しない。このツリー構造の成立原理を用いて、バグ構文問題、ウイルス問題、サイバープログラム問題を自律的に捉え且つ自律的に解法する。
【0062】
バグ構文問題、ウイルス問題、サイバープログラム問題は、非同期型プログラムでは、いかなる方法でも自律的に捉え且つ自律的に解法することは出来ない。これらの問題はシナリオ関数の動性アルゴリズムでなければ捉えることができない。且つ、その悪行の対応はシナリオ関数の動性アルゴリズムでなければ果たすことができない。
【0063】
（ＬＹＥＥ空間ＴＢＬとシナリオ関数）
ＬＹＥＥ空間ＴＢＬとは、ひとがベクトルの同期関係を捉えるために用いる同期表のことである。
ＬＹＥＥ空間ＴＢＬとは、ひとがベクトルの同期関係を捉えるために用いる同期表のことである。
【0064】
ＬＹＥＥ空間ＴＢＬは、（１）非同期型システムに属す全名詞を捉える能力を持ち、（２）且つ１２種のベクトルの理論的知見（ベクトルの意味解析図）を会得していれば作成することが出来る。
【0065】
因みに、本発明の発明者の指導を受けながらシステム開発に参画した約１５０名の新人クラスで行われた２０年前の名詞数１８００００個のシステム開発では、このベクトルの決定作業は１日独りあたり概算２０個の同期化が行われている。当時この開発法はまだＬＹＥＥ理論と呼ばせていた。シナリオ関数のレベルには至ってはいないが、２０か月といわれていた開発期間が約１０か月で終わり納品された。このシステムは当時の国策として日本の大企業では４０８Ｋと呼ばれて開発されていたシステムである。
【0066】
ＬＹＥＥ空間ＴＢＬ（同期表）を求め、且つこの同期表からシナリオ関数を自動編集する専用プログラムを求めれば、求められたシナリオ関数が実行時創出するアルゴリズムの全体はそのシナリオ関数に完全性を自律的に成立させる。
【0067】
（ベクトルの定義規則について）
図２に示したベクトルに含まれる７つの規約の処理について、主語ベクトルＬ４＿Ａに関し、以下に補足的に説明する。
図２に示したベクトルに含まれる７つの規約の処理について、主語ベクトルＬ４＿Ａに関し、以下に補足的に説明する。
【0068】
なお、出口１、出口２に至るベクトルはリセット後でなければ再帰されることはない。
【0069】
＜第１規約＞
Ｌ４＿Ａの第４保存領域が空でなく、且つ、Ｌ４＿Ａの第４保存領域の値と、Ｌ４＿Ａの第４コピー領域の値が一致し、且つ、第２フラグがオンならば、Ｌ４＿Ａは正統と判定し、出口１へ（出口２→出口１）。
第４保存領域が空、且つ、第７フラグがオンならば、出口１へ（出口４→出口１）。
正統でなければ、ベクトルの内容をリセットする（ウイルスのリセット処理）。
Ｌ４＿Ａの第４保存領域が空でなく、且つ、Ｌ４＿Ａの第４保存領域の値と、Ｌ４＿Ａの第４コピー領域の値が一致し、且つ、第２フラグがオンならば、Ｌ４＿Ａは正統と判定し、出口１へ（出口２→出口１）。
第４保存領域が空、且つ、第７フラグがオンならば、出口１へ（出口４→出口１）。
正統でなければ、ベクトルの内容をリセットする（ウイルスのリセット処理）。
【0070】
＜第２規約＞
プログラム元素（＝命令文、例えばＡ＝Ｂ＋Ｃ）を定義し、第２フラグをオンにし、第３規約へ進む。
プログラム元素（＝命令文、例えばＡ＝Ｂ＋Ｃ）を定義し、第２フラグをオンにし、第３規約へ進む。
【0071】
＜第３規約＞
プログラム元素の変数元素の成否判定がＯＫ（例えば、Ｌ３＿Ａが成立、且つ、Ｌ４＿Ｂ，Ｌ４＿Ｃが成立）ならば第４規約へ、そうでなければ第５規約へ進む。
プログラム元素の変数元素の成否判定がＯＫ（例えば、Ｌ３＿Ａが成立、且つ、Ｌ４＿Ｂ，Ｌ４＿Ｃが成立）ならば第４規約へ、そうでなければ第５規約へ進む。
【0072】
＜第４規約＞
Ａの値を第４保存領域に保存し、Ａの値を第４コピー領域に保存し、出口２へ。
Ａの値を第４保存領域に保存し、Ａの値を第４コピー領域に保存し、出口２へ。
【0073】
＜第５規約＞
パレット変位が必要（例えば、Ｌ３＿Ａが不成立）ならば第７規約へ進み、パレット変位が不要（Ｌ４＿Ｂ又はＬ４＿Ｃが不成立）ならば第６規約へ進む。
なお、第５規約は、スタック（＝主語成立数）による未来予測法である。
パレット変位が必要（例えば、Ｌ３＿Ａが不成立）ならば第７規約へ進み、パレット変位が不要（Ｌ４＿Ｂ又はＬ４＿Ｃが不成立）ならば第６規約へ進む。
なお、第５規約は、スタック（＝主語成立数）による未来予測法である。
【0074】
＜第６規約＞
継続処理の手続（再起）を行い、第６フラグをオンにし、出口３へ。
継続処理の手続（再起）を行い、第６フラグをオンにし、出口３へ。
【0075】
＜第７規約＞
パレット変位の手続を行い（この主語ベクトルの処理は終了し）、第７フラグをオンにし、出口４へ。
パレット変位の手続を行い（この主語ベクトルの処理は終了し）、第７フラグをオンにし、出口４へ。
【0076】
（同期関数について）
同期関数は、シナリオ関数に内在する阻害要因を、シナリオ関数がその仕組みで自律的に捉え、且つ、それを自律的に排除することを可能にする構造である。
同期関数は、シナリオ関数に内在する阻害要因を、シナリオ関数がその仕組みで自律的に捉え、且つ、それを自律的に排除することを可能にする構造である。
【0077】
同期関数においては、シナリオ関数の調和関係が乱れているか否かの判定によって、シナリオ関数に内在する阻害要因が捉えられる。シナリオ関数の調和関係が乱れていれば、そのベクトルが自律的に自分の第１規約で捉えた阻害要因を初期化することで、無力化する。
【0078】
シナリオ関数が実行時に発祥させる全てのアルゴリズムはシナリオ関数に属す全ベクトルが構造的に調和する関係に於いてもたらされる。これは従来型プログラムがもたらす様なアルゴリズムとは根本的に異なる。故に、シナリオ関数に本願でいう阻害要因（即ち、バグ構文、ウイルス、サイバー問題）が内在すれば、そのことに於いて、実行時のシナリオ関数に属す全ベクトルの調和関係の仕組が乱れる。全ベクトルは処理サイクルとして作動し、それを繰り返すので、調和関係の乱れは、シナリオ関数が悪行を働くアルゴリズムに晒される以前にベクトルにより捉えられ、これを捉えたベクトルによりその阻害要因は次々とリセットされる。
【0079】
従来型プログラムが阻害要因を自分に取り込み、それを自分で無力化させることは原理的に不可能である。理由は、両方とも共に非同期型プログラムだからである。同様に、ＯＳで阻害要因問題を解決することはできない。
【0080】
一方、本願の同期型世界では、阻害要因は同期型プログラムに属す全ベクトルのどれかが非調和となる関係をその必然的構造で捉え、且つそのベクトルが自律的にそれをリセットするのである。
【0081】
（シナリオ関数の同期作用）
シナリオ関数に属す全てのベクトルは実行時のシナリオ関数に同期化をもたらす超厳密に調和化された元素になっている。
シナリオ関数に属す全てのベクトルは実行時のシナリオ関数に同期化をもたらす超厳密に調和化された元素になっている。
【0082】
実行中のシナリオ関数に調和的な気配を感じるとすれば、それはシナリオ関数が、例えば、バグ構文、ウイルス、サイバー問題を排除している時である。
【0083】
例えば、シナリオ関数の同期サイクルが開始された後、ウィルスが侵入できたとする。その場合、第６規約又は第７規約を経た後、第１規約において、ウィルスは全ベクトルの効果により、実行に至ることなくリセットされる。すなわち、ウィルスは、全ベクトルの調和効果で第４規約を経て出口２に進めず、実行に至ることなく、結果的に第１規約でリセットされる。
【0084】
なお、シナリオ関数の処理サイクル数は、３種のパレット上で全ベクトルが自由勝手に山積みされることにおいて、実行時には同期関数を３種の座標関数により決定される。
【要約】
本願発明は、ウイルスに侵入されたプログラム自身がプログラムの実行中にウイルスを無力化する技術を提供する。本願発明は、コンピュータに、プログラムに従った処理の実行時に、シナリオ関数により当該プログラムを統治させる統治プログラムを提供する。本願発明にかかる統治プログラムに従い処理を行うコンピュータは、プログラムの命令文の各々に関し生成した主語ベクトルの第３規約において、第２規約でセットした命令文の右辺の全データが正統であるか否かをと判定する。そして、第３規約で正統であると判定した場合、第４規約において、第４規約の正保存領域である第４保存領域と、第４規約の副保存領域である第４コピー領域の各々に、第２規約の左辺のデータを保存する。そして、その後に実行される第１規約において、第４保存領域と第４コピー領域のデータが一致する場合、その主語ベクトルを正統と判断する。
【図1】
【図2】