JP7174468B1 - A program development method that allows a virus-infiltrated program to eliminate virus data by itself - Google Patents
A program development method that allows a virus-infiltrated program to eliminate virus data by itself Download PDFInfo
- Publication number
- JP7174468B1 JP7174468B1 JP2022560378A JP2022560378A JP7174468B1 JP 7174468 B1 JP7174468 B1 JP 7174468B1 JP 2022560378 A JP2022560378 A JP 2022560378A JP 2022560378 A JP2022560378 A JP 2022560378A JP 7174468 B1 JP7174468 B1 JP 7174468B1
- Authority
- JP
- Japan
- Prior art keywords
- flag
- program
- rule
- convention
- subject
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
- 238000000034 method Methods 0.000 title claims abstract description 27
- 241000700605 Viruses Species 0.000 title abstract description 15
- 239000013598 vector Substances 0.000 claims abstract description 138
- 238000012545 processing Methods 0.000 claims abstract description 26
- 230000008569 process Effects 0.000 claims abstract description 17
- 238000005516 engineering process Methods 0.000 abstract description 3
- 230000006870 function Effects 0.000 description 114
- 230000015572 biosynthetic process Effects 0.000 description 18
- 238000005755 formation reaction Methods 0.000 description 18
- 230000001360 synchronised effect Effects 0.000 description 16
- 230000002776 aggregation Effects 0.000 description 13
- 238000004220 aggregation Methods 0.000 description 13
- 238000011109 contamination Methods 0.000 description 7
- 230000004913 activation Effects 0.000 description 6
- 238000010586 diagram Methods 0.000 description 5
- 230000006378 damage Effects 0.000 description 4
- 238000006073 displacement reaction Methods 0.000 description 3
- 230000007246 mechanism Effects 0.000 description 3
- 230000007420 reactivation Effects 0.000 description 3
- 238000013473 artificial intelligence Methods 0.000 description 2
- 238000011161 development Methods 0.000 description 2
- 230000018109 developmental process Effects 0.000 description 2
- 230000000694 effects Effects 0.000 description 2
- 230000033772 system development Effects 0.000 description 2
- 230000009885 systemic effect Effects 0.000 description 2
- 241001502050 Acis Species 0.000 description 1
- 230000009471 action Effects 0.000 description 1
- 238000000627 alternating current impedance spectroscopy Methods 0.000 description 1
- 238000004458 analytical method Methods 0.000 description 1
- 239000000470 constituent Substances 0.000 description 1
- 239000003112 inhibitor Substances 0.000 description 1
- 238000003058 natural language processing Methods 0.000 description 1
- 230000006855 networking Effects 0.000 description 1
- 230000003472 neutralizing effect Effects 0.000 description 1
- 238000011160 research Methods 0.000 description 1
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
- G06F21/50—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems
- G06F21/55—Detecting local intrusion or implementing counter-measures
- G06F21/56—Computer malware detection or handling, e.g. anti-virus arrangements
Abstract
本願発明は、ウイルスに侵入されたプログラム自身がプログラムの実行中にウイルスを無力化する技術を提供する。本願発明は、コンピュータに、プログラムに従った処理の実行時に、シナリオ関数により当該プログラムを統治させる統治プログラムを提供する。本願発明にかかる統治プログラムに従い処理を行うコンピュータは、プログラムの命令文の各々に関し生成した主語ベクトルの第３規約において、第２規約でセットした命令文の右辺の全データが正統であるか否かをと判定する。そして、第３規約で正統であると判定した場合、第４規約において、第４規約の正保存領域である第４保存領域と、第４規約の副保存領域である第４コピー領域の各々に、第２規約の左辺のデータを保存する。そして、その後に実行される第１規約において、第４保存領域と第４コピー領域のデータが一致する場合、その主語ベクトルを正統と判断する。The invention of the present application provides a technology in which a virus-infected program itself neutralizes the virus during execution of the program. The present invention provides a computer with a governing program that governs the program by means of a scenario function when executing processes according to the program. The computer that performs processing according to the governing program according to the present invention determines whether all the data on the right side of the imperative sentence set in the second rule is legitimate in the third rule of the subject vector generated for each imperative sentence of the program. to be determined. Then, if it is determined to be legitimate in the 3rd rule, in the 4th rule, in each of the 4th storage area, which is the primary storage area of the 4th rule, and the 4th copy area, which is the secondary storage area of the 4th rule , save the data on the left side of the second convention. Then, when the data in the fourth storage area and the data in the fourth copy area match in the first rule executed after that, the subject vector is determined to be legitimate.
Description
本発明はコンピュータで実行されるプログラムの開発方法に関する。 The present invention relates to a method of developing a program executed by a computer.
本願発明者により論考されたソフトウェア構築の摂理に関する統一理論であるＬＹＥＥ理論がある。ＬＹＥＥ理論を開示している文献として、特許文献１乃至３及び非特許文献１乃至１０がある。 There is the LYEE theory, which is a unified theory regarding the providence of software construction discussed by the inventor of the present application. Documents disclosing the LYEE theory include Patent Documents 1 to 3 and Non-Patent Documents 1 to 10.
また、ＬＹＥＥ理論に基づき本願発明者により開発されたシナリオ関数（以下、「ＳＦ」ともいう）がある。シナリオ関数を開示している文献として、特許文献４乃至９及び非特許文献１１乃至１４がある。 There is also a scenario function (hereinafter also referred to as "SF") developed by the inventor of the present application based on the LYEE theory. Documents disclosing scenario functions include Patent Documents 4 to 9 and Non-Patent Documents 11 to 14.
特許文献７には、シナリオ関数を用いた、従来プログラムの潜在バグ構文を従来プログラムのソースから自動的に抽出する方法が開示されている。 Patent Document 7 discloses a method of automatically extracting a potential bug syntax of a conventional program from the source of the conventional program using a scenario function.
ウイルス侵入、サイバー攻撃に対する対策としてファイアウォールに代表されるような外壁方式を中心とする対応の為、ユーザープログラムにウイルス侵入を許すとなすすべなく情報漏洩、システム乗っ取り等が起こる。 As countermeasures against virus intrusion and cyber attacks are based on the outer wall method represented by a firewall, if a user program is allowed to invade a virus, information leakage, system hijacking, etc. will occur.
上記を鑑み、本願発明は、ウイルスに侵入されたプログラム自身がプログラムの実行中にウイルスを無力化する技術を提供する。 In view of the above, the present invention provides a technology in which a virus-infected program itself neutralizes the virus during execution of the program.
本発明は、
コンピュータに、
プログラムに従った処理の実行時に、シナリオ関数により前記プログラムを統治させる統治プログラムであって、
前記プログラムの命令文の各々に関し生成される主語ベクトルの各々において、
第１規約において、当該主語ベクトルの正統性を判断させ、
第２規約において、左辺が仮成立データである前記命令文をセットさせるとともに第２規約のフラグである第２フラグをオンにさせ、
第３規約において、第２規約の左辺に関与する右辺の全てのデータが正統であるかを判定させ、
第４規約において、第３規約における判定において全てのデータが正統であると判定された場合に限り、第２規約の左辺のデータを第４規約の正保存領域である第４保存領域と第４規約の副保存領域である第４コピー領域の各々に保存させ、
第５規約において、第３規約における判定において少なくとも１つのデータが正統でないと判定された場合、パレット４上の主語ベクトルのうち第４保存領域にデータが保存されている主語ベクトルの総数である主語成立数に基づき、当該主語ベクトルの再起及び停止のいずれかを選択させ、
第６規約において、第５規約において再起が選択された場合、当該主語ベクトルの再起を指示させ、第６規約のフラグである第６フラグをオンにさせ、
第７規約において、第５規約において停止が選択された場合、当該主語ベクトルの停止を指示させ、第７規約のフラグである第７フラグをオンにさせ、
第１規約において、
第２フラグがオンであり、且つ、当該主語ベクトルの第４保存領域と第４コピー領域に保存されているデータが一致する場合、当該主語ベクトルが正統であると判定した後に処理を終了させ、
第７フラグがオンの場合、当該主語ベクトルの第４保存領域と第４コピー領域を初期化した後に処理を終了させ、
第６フラグがオンの場合、当該主語ベクトルの第４保存領域、第４コピー領域、第２フラグ、及び、第６フラグを初期化した後に処理を第２規約に進ませ、
第２フラグがオンであり、且つ、当該主語ベクトルの第４保存領域と第４コピー領域に保存されているデータが一致しない場合、主語成立数から１を減算させ、当該主語ベクトルの第４保存領域、第４コピー領域、及び、第２フラグを初期化した後に処理を第２規約に進ませる
ための統治プログラム
を提供する。The present invention
to the computer,
A governing program that governs the program by a scenario function during execution of processing according to the program,
In each subject vector generated for each statement of the program,
In the first convention, determine the legitimacy of the subject vector,
In the second convention, causing the statement in which the left side is tentative establishment data to be set and turning on the second flag, which is the flag of the second convention,
In the third convention, determine whether all the data on the right side involved in the left side of the second convention are legitimate,
In the 4th rule, only when all the data is judged to be legitimate in the judgment in the 3rd rule, the data on the left side of the 2nd rule is transferred to the 4th storage area, which is the normal storage area of the 4th rule, and the 4th Store in each of the fourth copy areas, which are sub-storage areas of the rules,
In the fifth rule, if at least one data is determined to be unorthodox in the judgment in the third rule, the total number of subject vectors on the palette 4 whose data is stored in the fourth storage area. Based on the number of establishments, select either recurrence or termination of the subject vector,
In the sixth convention, if recurrence is selected in the fifth convention, instruct the recursion of the subject vector and turn on the sixth flag, which is the flag of the sixth convention,
In the 7th rule, if stop is selected in the 5th rule, cause the subject vector to stop and turn on the 7th flag, which is the flag of the 7th rule,
In the First Agreement:
if the second flag is on and the data stored in the fourth storage area and the fourth copy area of the subject vector match, the process is terminated after determining that the subject vector is legitimate;
if the seventh flag is on, terminate the process after initializing the fourth save area and the fourth copy area of the subject vector;
if the sixth flag is on, after initializing the fourth storage area, the fourth copy area, the second flag, and the sixth flag of the subject vector, advance the process to the second convention;
When the second flag is on and the data stored in the fourth storage area and the fourth copy area of the subject vector do not match, 1 is subtracted from the number of occurrences of the subject, and the subject vector is stored in the fourth storage. Provide a governing program for proceeding to the second convention after initializing the area, the fourth copy area, and the second flag.
シナリオ関数は、プログラムで使用される命令文の構成を定義式で表現したものである。以下に、シナリオ関数の定義式を示す。 A scenario function expresses the configuration of statements used in a program in a definitional formula. The definition formula of the scenario function is shown below.
ＳＧ＝Φ０［Φ４｛Ｌ４｝，｛Ｗ４｝，Ｔ４，Ｅ４１，Ｅ４２］＋Φ２［｛Ｒ２｝，｛Ｌ２｝，Ｔ２］＋Φ３［｛Ｌ３｝，Ｔ３１，Ｔ３２，Ｔ３３］
ただし、
ＳＧ：シナリオ関数の解（主語系譜）
Φ０：同期関数
Φ４：座標関数４
Φ２：座標関数２
Φ３：座標関数３
座標関数４のパレット４：［｛Ｌ４｝，｛Ｗ４｝，Ｔ４，Ｅ４１，Ｅ４２］
座標関数２のパレット２：［｛Ｒ２｝，｛Ｌ２｝，Ｔ２］
座標関数３のパレット３：［｛Ｌ３｝，Ｔ３１，Ｔ３２，Ｔ３３］
主語ベクトル（５種）：Ｌ４，Ｗ４，Ｌ２，Ｒ２，Ｌ３
制御ベクトル（７種）：Ｅ４１，Ｅ４２，Ｔ４，Ｔ２，Ｔ３１，Ｔ３２，Ｔ３３
である。SG = Φ0 [Φ4 {L4}, {W4}, T4, E41, E42] + Φ2 [{R2}, {L2}, T2] + Φ3 [{L3}, T31, T32, T33]
however,
SG: solution of scenario function (subject genealogy)
Φ0: synchronization function Φ4: coordinate function 4
Φ2: coordinate function 2
Φ3: coordinate function 3
Palette 4 of coordinate function 4: [{L4}, {W4}, T4, E41, E42]
Palette 2 of coordinate function 2: [{R2}, {L2}, T2]
Palette 3 of coordinate function 3: [{L3}, T31, T32, T33]
Subject vectors (5 types): L4, W4, L2, R2, L3
Control vector (7 types): E41, E42, T4, T2, T31, T32, T33
is.
この定義式の詳細に関しては、非特許文献１２（「シナリオ関数の全景」）に記載されており公知であるため、その説明を省略する。 The details of this definitional expression are described in Non-Patent Document 12 (“Overall View of Scenario Function”) and are publicly known, so the description thereof will be omitted.
図１は、シナリオ関数により統治されているプログラム（以下、「シナリオ関数プログラム」という）の同期アルゴリズムの仕組みを表した図である。同期関数は起動後、座標関数４、パレット４上のベクトルを実行する。座標関数はパレット上のベクトルを順次実行する。パレットの処理は、パレット上の全ベクトルのデータが成立すると終了する。Ｅ４１の第４保存領域がオンの場合、同期関数はシステム終了プログラムを起動し、実行中のシナリオ関数の処理が終了する。 FIG. 1 is a diagram showing the scheme of a synchronization algorithm for a program governed by a scenario function (hereinafter referred to as "scenario function program"). After the synchronization function is activated, it executes coordinate function 4 and vector on palette 4 . Coordinate functions step through the vectors on the palette. Pallet processing ends when the data for all vectors on the palette are valid. If the fourth save area of E41 is ON, the synchronous function activates the system termination program to terminate the processing of the scenario function being executed.
なお、パレット４の時は現在、パレット２の時は過去、パレット３の時は未来に対応する。 Palette 4 corresponds to the present, palette 2 to the past, and palette 3 to the future.
図２は、ベクトル（主語ベクトル又は制御ベクトル）の構造を示した図である。主語ベクトルはプログラムに含まれる命令文の各々に関し生成される。各々の主語ベクトルは７つの規約（第１規約～第７規約）で構成され、データ成立の正統性を担保する役割を果たす。 FIG. 2 is a diagram showing the structure of a vector (subject vector or control vector). A subject vector is generated for each statement contained in the program. Each subject vector is composed of seven conventions (1st convention to 7th convention) and plays a role in ensuring the legitimacy of data formation.
以下のサンプルプログラムがシナリオ関数により統治される場合を例に、７つの規約の各々において実行される処理を説明する。 The processing executed in each of the seven conventions will be explained using the following sample program governed by scenario functions as an example.
（サンプルプログラム）
００１ Ｇ＝１０
００２ Ｌ１ ＲＥＡＤ Ｆ１（Ｒ，Ｆ）
００３ Ｆ＝Ｒ－Ｆ
００４ ＩＦ Ｆ＜０
００５ ＣＬＯＳＥ Ｆ１
００６ Ｂ＝Ｇ－Ｆ(Sample program)
001G=10
002 L1 READ F1 (R, F)
003 F=RF
004 IF F<0
005 CLOSE F1
006 B=GF
００１行の命令文は定値文（又は定置文）であり、この命令文に関し、主語ベクトルＬ２がパレット２上に生成される。
００２行の命令文は入力文であり、この命令文に関し、主語ベクトルＲ２がパレット２上に生成される。
００３行の命令文は代入文（又は呼出文）であり、この命令文に関し、主語ベクトルＬ４がパレット４上に生成される。
００４行の命令文は条件文であり、この命令文に関し、主語ベクトルＬ３がパレット３上に生成される。
００６行の命令文は代入文（又は呼出文）であり、この命令文に関し、主語ベクトルＬ４がパレット４上に生成される。The imperative sentence in line 001 is a fixed value sentence (or fixed sentence), and a subject vector L2 is generated on the palette 2 for this imperative sentence.
The imperative sentence on line 002 is an input sentence, and subject vector R2 is generated on palette 2 for this imperative sentence.
The imperative statement in line 003 is an assignment statement (or a call statement), and a subject vector L4 is generated on the palette 4 for this imperative statement.
The imperative sentence on line 004 is a conditional sentence, and a subject vector L3 is generated on the palette 3 for this imperative sentence.
The imperative statement in line 006 is an assignment statement (or a call statement), and a subject vector L4 is generated on the palette 4 for this imperative statement.
７つの規約の各々において実行される処理は以下のとおりである。なお、（ ）内に例として、００６行の命令文に関し生成される主語ベクトルにおける値等を示す。 The processing performed in each of the seven conventions is as follows. As an example, the values in the subject vector generated for the imperative sentence on line 006 are shown in parentheses.
第１規約：主語ベクトル（例えば、Ｌ４#Ｂ）の正統性を判断（出口２、３、４で判断）
第２規約：左辺（例えば、Ｂ）が仮成立データである命令文（例えば、Ｂ＝Ｇ－Ｆ）をセット
第３規約：第２規約の左辺（例えば、Ｂ）に関与する右辺の全てのデータ（例えば、Ｇ、Ｆ）が正統であるかを判定
第４規約：第３規約における判定において全てのデータが正統であると判定された場合に限り、第２規約の左辺のデータ（Ｂ）を第４規約の保存領域である第４保存領域に保存
第５規約：第３規約における判定において少なくとも１つのデータ（例えば、Ｇ、Ｆの少なくとも一方）が正統でないと判定された場合、パレット４上の主語ベクトルのうち第４保存領域にデータが保存されている主語ベクトルの総数である主語成立数に基づき、この主語ベクトルの再起及び停止のいずれかを選択（すなわち、同じ座標周期における第４保存領域の成立可能性を判断）
第６規約：第５規約において再起が選択された場合（すなわち、同じ座標周期において第４保存領域の成立可能性があると判断された場合）、この主語ベクトルの再起を指示
第７規約：第５規約において停止が選択された場合（すなわち、同じ座標周期において第４保存領域の成立可能性がないと判断された場合）、当該主語ベクトルの停止を指示1st convention: Judging the legitimacy of the subject vector (eg, L4#B) (judged at exits 2, 3, and 4)
2nd convention: Set an imperative sentence (eg, B=GF) where the left side (eg, B) is provisional data Determine whether data (e.g., G, F) are legitimate Rule 4: Data (B) on the left side of Rule 2 only if all data is determined to be legitimate in the judgment in Rule 3 is stored in the 4th storage area, which is the storage area of the 4th rule. Based on the number of subject occurrences, which is the total number of subject vectors whose data are stored in the fourth storage area, among the above subject vectors, either recurrence or termination of this subject vector is selected (that is, the fourth subject vector in the same coordinate period). determine the feasibility of the storage area)
Rule 6: If recurrence is selected in Rule 5 (that is, if it is determined that there is a possibility of establishment of the 4th storage area in the same coordinate cycle), the subject vector is instructed to repeat. 5 If stop is selected in the rule (that is, if it is determined that there is no possibility of establishment of the fourth storage area in the same coordinate cycle), instruct the stop of the subject vector
なお、第２規約にセットされる命令文は、Ｌ４（代入文、呼出文）、Ｌ２（定値文、定置文）、又は、Ｒ２（入力文）である。Ｌ３（条件文）は第３規約で定義される。また、Ｗ４（出力文）は第４規約で定義される。 The imperative sentences set in the second convention are L4 (assignment sentence, call sentence), L2 (constant value sentence, fixed sentence), or R2 (input sentence). L3 (conditional statement) is defined in the third convention. Also, W4 (output sentence) is defined in the fourth convention.
第２規約、第６規約、及び、第７規約にはフラグが設けられ、それらの規約の処理が実行されるとフラグにオンがセットされる。第２規約のフラグは第２フラグ、第６規約のフラグは第６フラグ、第７規約のフラグは第７フラグと呼ばれる。ベクトルは、これらのフラグに基づき、実行の正統性を担保している。 Flags are provided for the 2nd, 6th, and 7th conventions, and the flags are set to ON when the processing of those conventions is executed. The flag of the second convention is called the second flag, the flag of the sixth convention is called the sixth flag, and the flag of the seventh convention is called the seventh flag. The vector ensures the legitimacy of execution based on these flags.
そして、第１規約において、以下の処理が行われる。
第２フラグがオンであり、且つ、この主語ベクトルが正統であると判定した場合、処理を終了する。（出口２→出口１）
第７フラグがオンの場合、この主語ベクトルの第４保存領域を初期化した後に処理を終了する。（出口４→出口１）
第６フラグがオンの場合、この主語ベクトルの第４保存領域、第２フラグ、及び、第６フラグを初期化した後に処理を第２規約に進ませる。（出口３）
第２フラグがオンであり、且つ、この主語ベクトルが正統でないと判定した場合、主語成立数から１を減算させ、この主語ベクトルの第４保存領域、及び、第２フラグを初期化した後に処理を第２規約に進ませる。（出口２）Then, in the first convention, the following processing is performed.
If it is determined that the second flag is ON and the subject vector is legitimate, the process is terminated. (Exit 2 → Exit 1)
If the seventh flag is ON, the process is terminated after initializing the fourth storage area of this subject vector. (Exit 4 → Exit 1)
If the 6th flag is on, the process proceeds to the 2nd convention after initializing the 4th storage area, the 2nd flag, and the 6th flag of this subject vector. (Exit 3)
If it is determined that the second flag is on and this subject vector is not legitimate, subtract 1 from the number of subject occurrences, and process after initializing the fourth storage area of this subject vector and the second flag advance to the Second Convention. (Exit 2)
なお、パレット４上の全ての主語ベクトルが、出口２又は出口４で終了したことが確認された場合、座標関数４から座標関数２へと処理が移動する。 When it is confirmed that all the subject vectors on the palette 4 end at the exit 2 or the exit 4, the processing moves from the coordinate function 4 to the coordinate function 2. FIG.
従来のシナリオ関数においては、第１規約における主語ベクトルの正統性の判断が、以下の模型で表されるプログラム（以下、「正統性判定プログラム」という）の実行により行われる。 In the conventional scenario function, the determination of the legitimacy of the subject vector in the first convention is performed by executing a program represented by the following model (hereinafter referred to as "legitimateness determination program").
（ＶＷＡ（Ｌ４，Ａ）の論理結合型プログラムの模型）
００１ ＳＴＡＲＴ．
００２ 第２フラグの汚染観察：
００２１ 第２フラグの（２，３，４）桁を抽出する．
００２２ 第２フラグの（２，３，４）桁と対応するフラグ常数（０，０，０）をＸＯＲする．
００２２１ ＺＥＲＯなら，第２フラグは汚染されていない、
ＧＯ ＴＯ 第６フラグの汚染観察．
００２２２ ＮＯＴ ＺＥＲＯなら，第２フラグは汚染されている、
ＧＯ ＴＯ Ｌ４，Ａの初期値化．
００３ 第６フラグの汚染観察：
００３１ 第６フラグの（２，３，４）桁を抽出する．
００３２ 第６フラグの（２，３，４）桁と対応するフラグ常数（０，０，０）をＸＯＲする．
００３２１ ＺＥＲＯなら，第６フラグは汚染されていない、
ＧＯ ＴＯ 第７フラグの汚染観察．
００３２２ ＮＯＴ ＺＥＲＯなら，第６フラグは汚染されている、
ＧＯ ＴＯ Ｌ４，Ａの初期値化．
００４ 第７フラグの汚染観察：
００４１ 第７フラグの（２，３，４）桁を抽出する．
００４２ 第７フラグの（２，３，４）桁と対応するフラグ常数（０，０，０）をＸＯＲ
する．
００４２１ ＺＥＲＯなら，第７フラグは汚染されていない、
ＲＥＴＵＲＮ．
００４２２ ＮＯＴ ＺＥＲＯなら，第７フラグは汚染されている、
ＧＯ ＴＯ Ｌ４，Ａの初期値化．
００５ Ｌ４，Ａの初期値化
００５１ 第４領域を初期値化する．
００５２ 第２フラグをオフにする．
００５３ 第６フラグをオンにする．
００５４ 第７フラグをオフにする．
００６ 主語成立数カウンタをマイナス１にする。
００７ ＲＥＴＵＲＮ．(Model of VWA (L4, A) logical combination program)
001 START.
002 Observation of contamination of the second flag:
0021 Extract the (2, 3, 4) digits of the second flag.
0022 XOR the (2,3,4) digits of the second flag with the corresponding flag constant (0,0,0).
00221 if ZERO, the second flag is untainted;
GO TO Contamination observation of the 6th flag.
00222 If NOT ZERO, the second flag is tainted;
GO TO L4, Initialize A.
003 Contamination Observation of Flag 6:
0031 Extract the (2, 3, 4) digits of the 6th flag.
0032 XOR the (2,3,4) digits of the sixth flag with the corresponding flag constant (0,0,0).
00321 if ZERO, the 6th flag is untainted;
GO TO Contamination observation of the 7th flag.
00322 If NOT ZERO, the 6th flag is tainted;
GO TO L4, Initialize A.
004 Flag 7 Contamination Observation:
0041 Extract the (2, 3, 4) digits of the 7th flag.
0042 XOR the (2, 3, 4) digits of the seventh flag and the corresponding flag constant (0, 0, 0)
do.
00421 if ZERO, the 7th flag is untainted;
RETURN.
00422 If NOT ZERO, the 7th flag is tainted;
GO TO L4, Initialize A.
005 Initialize L4, A 0051 Initialize the fourth area.
0052 Turn off the second flag.
0053 Turn on the sixth flag.
0054 Turn off the seventh flag.
006 Set the subject formation number counter to minus one.
007 RETURN.
これに対し、本発明にかかるシナリオ関数においては、第４規約及び第１規約の処理が以下に述べるように変更され、上記の正統性判定プログラムは実行されない。 On the other hand, in the scenario function according to the present invention, the processes of the 4th rule and the 1st rule are changed as described below, and the legitimacy determination program described above is not executed.
（第４規約）
第３規約における判定において全てのデータが正統であると判定された場合に限り、第４規約において、第２規約の左辺のデータを第４規約の正保存領域である第４保存領域に保存するのに加えて、同じデータを第４規約の副保存領域である第４コピー領域（第４保存領域とは異なる保存領域）にも保存する。(4th Agreement)
Only when all data is determined to be legitimate in the judgment in the 3rd rule, in the 4th rule, the data on the left side of the 2nd rule is saved in the 4th storage area, which is the normal storage area of the 4th rule. In addition to , the same data is also saved in a fourth copy area (save area different from the fourth save area), which is a sub-save area of the fourth rule.
（第１規約）
この主語ベクトルの第４保存領域と第４コピー領域に保存されているデータが一致する場合に限り、この主語ベクトルが正統であると判定する。(First Agreement)
Only when the data stored in the fourth storage area of the subject vector and the data stored in the fourth copy area match, it is determined that the subject vector is legitimate.
従って、本発明にかかるシナリオ関数においては、第１規約において、以下の処理が行われる。 Therefore, in the scenario function according to the present invention, the following processing is performed under the first convention.
第２フラグがオンであり、且つ、この主語ベクトルの第４保存領域と第４コピー領域に保存されているデータが一致する場合、この主語ベクトルが正統であると判定した後、処理を終了する。（出口２→出口１）
第７フラグがオンの場合、この主語ベクトルの第４保存領域と第４コピー領域を初期化した後に処理を終了する。（出口４→出口１）
第６フラグがオンの場合、この主語ベクトルの第４保存領域、第４コピー領域、第２フラグ、及び、第６フラグを初期化した後に処理を第２規約に進ませる。（出口３）
第２フラグがオンであり、且つ、この主語ベクトルの第４保存領域と第４コピー領域に保存されているデータが一致しない場合、主語成立数から１を減算させ、この主語ベクトルの第４保存領域、第４コピー領域、及び、第２フラグを初期化した後に処理を第２規約に進ませる。（出口２）If the second flag is ON and the data stored in the fourth storage area and the fourth copy area of the subject vector match, the subject vector is determined to be legitimate, and then the process is terminated. . (Exit 2 → Exit 1)
If the seventh flag is ON, the process is terminated after initializing the fourth storage area and the fourth copy area of this subject vector. (Exit 4 → Exit 1)
If the sixth flag is on, the process advances to the second convention after initializing the fourth storage area, fourth copy area, second flag, and sixth flag of this subject vector. (Exit 3)
If the second flag is on and the data stored in the fourth storage area and the fourth copy area of this subject vector do not match, 1 is subtracted from the number of occurrences of the subject, and the fourth storage of this subject vector is performed. After initializing the area, the fourth copy area, and the second flag, proceed to the second protocol. (Exit 2)
上記のように、本発明にかかるシナリオ関数においては、正統性判定プログラム（ＶＷＡ）の実行に代えて、第４保存領域に保存されているデータと、第４コピー領域に保存されているデータが全て一致するか否かを判定することによって、ウィルスによる汚染の有無が判定される。 As described above, in the scenario function according to the present invention, instead of executing the authenticity determination program (VWA), data stored in the fourth storage area and data stored in the fourth copy area are By determining whether or not they all match, the presence or absence of virus contamination is determined.
以下に、本発明にかかるシナリオ関数の主語ベクトルのプログラム模型をいくつか例示する。ただし、以下のプログラム模型に記載の「ＸＸＸ」はコードではなく、従来のシナリオ関数において、正統性判定プログラムを呼び出す以下の２行が記述されている位置を示す。また、行頭に「※」が付されているコードが、従来のシナリオ関数にはなく、本発明にかかるシナリオ関数において追加されているコードである。また、以下のプログラム模型において実行される第１規約の処理は、上述したように、従来のシナリオ関数における第１規約の処理と異なっている。 Several program models of subject vectors of scenario functions according to the present invention are illustrated below. However, "XXX" described in the following program model does not indicate the code, but indicates the position where the following two lines for calling the legitimacy determination program are described in the conventional scenario function. Also, the code with "*" at the beginning of the line is the code added in the scenario function according to the present invention, not in the conventional scenario function. Further, the processing of the first convention executed in the following program model differs from the processing of the first convention in the conventional scenario function, as described above.
００２ ＮＯＰ．
００３ ＣＡＬＬ ＶＷＡ（ ， ）．002 NOP.
003 CALL VWA ( , ).
（Ｌ４，Ａのベクトル模型）
このベクトルの命令文例を「Ａ＝Ｂ＋Ｃ＋５１２」とする。Ｌ４，Ａが統治する命令文はベクトルの叙述法により第２規約に置かれる。このＬ４，ＡにはＬ３，Ａがいないものとする。Ｌ４，ＡにＬ３，Ａがいれば本第３規約にはＬ３，Ａの正統性判定も加えられることになる。この場合のプログラム模型を示す。(Vector model of L4, A)
Assume that the example of this vector is "A=B+C+512". The imperatives governed by L4,A are placed in the second convention by the vector predicate. It is assumed that L4,A does not have L3,A. If L4,A has L3,A, L3,A's legitimacy judgment will be added to the third rule. A program model for this case is shown.
００１ ＳＴＡＲＴ．
ＸＸＸ
００４ 第１規約：Ｌ４，Ａの正統性を用いて第２規約に進むか、ＲＥＴＵＲＮかを判定。
００５ 第２規約。
００５１ ＭＯＶＥ １ ＴＯ 第２フラグ．
００５２ Ａ＝Ｂ＋Ｃ＋５１２．
００６ 第３規約：Ａの正統性（第４保存領域の正統性）の判定。
００６１ Ｌ４，Ｂの第４保存領域は正統か．
００６１１ 正統なら ＧＯＴＯ ００６２．
００６１２ 正統でなければ ＧＯＴＯ 第５規約．
００６２ Ｌ４，Ｃの第４保存領域は正統か．
００６２１ 正統なら ＧＯＴＯ 第４規約．
００６２２ 正統でなければ ＧＯＴＯ 第５規約．
００７ 第４規約。
００７１ ＭＯＶＥ ０ ＴＯ Ｌ４，Ａの第６フラグ．
００７２ ＭＯＶＥ Ａ ＴＯ Ｌ４，Ａの第４保存領域．
※００７３ ＭＯＶＥ Ａ ＴＯ Ｌ４，Ａの第４コピー領域．
００７４ ＡＤＤ １ ＴＯ 主語成立数カウンタ．
００８ ＲＥＴＵＲＮ．
００９ 第５規約：Ｌ４，ＡのＡが同じ座標周期で成立するや否やの判定。
００９１ ＭＯＶＥ ０ ＴＯ 第６フラグ．
００９２ （ＮＳ１＝ＮＳ５）なら第７規約に進む．
００９３ （ＮＳ１＞ＮＳ５）なら第６規約に進む．
０１０ 第６規約：Ｌ４，Ａの再起要請の宣言。
０１０１ Ｌ４，Ａの第４保存領域を初期値化．
０１０２ ＭＯＶＥ １ ＴＯ 第６フラグ．
０１０３ ＭＯＶＥ ０ ＴＯ 第２フラグ．
０１０４ ＲＥＴＵＲＮ．
０１１ 第７規約：Ｌ４，Ａの再起停止宣言。
０１１１ ＭＯＶＥ １ ＴＯ 第７フラグ．
０１１２ ＭＯＶＥ ０ ＴＯ 第２フラグ．
０１１３ ＲＥＴＵＲＮ．001 START.
XXX
004 1st convention: Determine whether to proceed to the 2nd convention using the legitimacy of L4,A or RETURN.
005 Second Convention.
0051 MOVE 1 TO 2nd flag.
0052 A=B+C+512.
006 Third rule: Judgment of legitimacy of A (legitimacy of the fourth conservation region).
0061 Is the fourth conserved region of L4,B canonical?
00611 GOTO if it is legitimate 0062.
00612 If not legit GOTO 5th rule.
0062 Is the fourth conserved region of L4,C canonical?
00621 If it is legit GOTO 4th rule.
00622 If not legit GOTO 5th rule.
007 Fourth Convention.
0071 MOVE 0 TO L4, 6th flag of A.
0072 MOVE A TO L4, the fourth conserved region of A.
* 0073 MOVE A TO L4, fourth copy region of A.
0074 ADD 1 TO Counter for the number of subject formations.
008 RETURN.
009 Fifth rule: Judgment as soon as A of L4 and A is established in the same coordinate period.
0091 MOVE 0 TO 6th flag.
0092 If (NS1=NS5), proceed to the 7th protocol.
0093 If (NS1>NS5), proceed to the 6th convention.
010 Rule 6: Declaration of L4, A's request for resurrection.
0101 Initialize the fourth storage area of L4,A.
0102 MOVE 1 TO 6th flag.
0103 MOVE 0 TO Second flag.
0104 RETURN.
011 Rule 7: Declare L4 and A to stop restarting.
0111 MOVE 1 TO 7th flag.
0112 MOVE 0 TO 2nd flag.
0113 RETURN.
（Ｌ３，Ｄのベクトル模型）
このベクトルの命令文例を「ＩＦ Ｘ＜Ｙ（真）」とする。Ｌ３，Ｄが統治する命令文はベクトルの叙述法により第３規約に置かれる。この場合のプログラム模型を示す。
００１ ＳＴＡＲＴ．
ＸＸＸ
００４ 第１規約：Ｌ３，Ｄの正統性を用いて第２規約に進むか、ＲＥＴＵＲＮかを判定。
００５ 第２規約。
００５１ ＭＯＶＥ １ ＴＯ 第２フラグ．
００５２ ＮＯＰ．
００６ 第３規約：ＩＦ Ｘ＜Ｙの正統性の判定。
００６１ Ｌ４，Ｘの第４保存領域は正統か．
００６１１ 正統なら ＧＯＴＯ ００６２．
００６１２ 正統でなければ ＧＯＴＯ 第５規約．
００６２ Ｌ４，Ｙの第４保存領域は正統か．
００６２１ 正統なら ＧＯＴＯ ００６３．
００６２２ 正統でなければ ＧＯＴＯ 第５規約．
００６３ ＩＦ Ｘ＜Ｙか．
００６３１ 正統なら ＧＯＴＯ 第４規約．
００６３２ 正統でなければ ＧＯＴＯ 第５規約．
００７ 第４規約。
００７１ ＭＯＶＥ ０ ＴＯ Ｌ３，Ｄの第６フラグ．
００７２ ＭＯＶＥ １ ＴＯ Ｌ３，Ｄの第４保存領域．
※００７３ ＭＯＶＥ １ ＴＯ Ｌ３，Ｄの第４コピー領域．
００７４ ＡＤＤ １ ＴＯ 主語成立数カウンタ．
００８ ＲＥＴＵＲＮ．
００９ 第５規約：Ｌ３，ＤのＤが同じ座標周期で成立するや否やの判定。
００９１ ＭＯＶＥ ０ ＴＯ 第６フラグ．
００９２ （ＮＳ１＝ＮＳ５）なら第７規約に進む．
００９３ （ＮＳ１＞ＮＳ５）なら第６規約に進む．
０１０ 第６規約：Ｌ３，Ｄの再起要請の宣言。
０１０１ Ｌ３，Ｄの第４保存領域を初期値化．
０１０２ ＭＯＶＥ １ ＴＯ 第６フラグ．
０１０３ ＭＯＶＥ ０ ＴＯ 第２フラグ．
０１０４ ＲＥＴＵＲＮ．
０１１ 第７規約：Ｌ３，Ｄの再起停止宣言。
０１１１ ＭＯＶＥ １ ＴＯ 第７フラグ．
０１１２ ＭＯＶＥ ０ ＴＯ 第２フラグ．
０１１３ ＲＥＴＵＲＮ．(L3, D vector model)
Assume that the example of this vector is "IF X<Y (true)". The imperatives governed by L3,D are placed in the third convention by the vector predicate. A program model for this case is shown.
001 START.
XXX
004 1st convention: Use the legitimacy of L3, D to determine whether to proceed to the 2nd convention or RETURN.
005 Second Convention.
0051 MOVE 1 TO 2nd flag.
0052 NOP.
006 3rd Convention: Determine legitimacy of IF X<Y.
0061 Is the fourth conserved region of L4,X canonical?
00611 GOTO if it is legitimate 0062.
00612 If not legit GOTO 5th rule.
0062 Is the fourth conserved region of L4,Y canonical?
00621 GOTO if it is legitimate 0063.
00622 If not legit GOTO 5th rule.
0063 IF X<Y?
00631 If it is legit GOTO 4th rule.
00632 If not legit GOTO 5th rule.
007 Fourth Convention.
0071 MOVE 0 TO 6th flag of L3,D.
0072 Fourth conserved region of MOVE 1 TO L3,D.
*4th copy area of 0073 MOVE 1 TO L3, D.
0074 ADD 1 TO Counter for the number of subject formations.
008 RETURN.
009 Fifth rule: Judgment as soon as D of L3 and D is established in the same coordinate period.
0091 MOVE 0 TO 6th flag.
0092 If (NS1=NS5), proceed to the 7th protocol.
0093 If (NS1>NS5), proceed to the 6th protocol.
010 Rule 6: Declaration of L3, D's request for resurrection.
0101 Initialize the fourth storage area of L3, D.
0102 MOVE 1 TO 6th flag.
0103 MOVE 0 TO Second flag.
0104 RETURN.
011 7th rule: L3, D's recurrence stop declaration.
0111 MOVE 1 TO 7th flag.
0112 MOVE 0 TO 2nd flag.
0113 RETURN.
（Ｌ２，Ｃのベクトル模型）
このベクトルの命令文例を「Ｃ＝１１」とする。「Ｌ２，Ｃ」が統治する命令文はベクトルの叙述法により第２規約に置かれる。このＬ２，ＣにはＬ３，Ｃがいないものとする。Ｌ２，ＣにＬ３，Ｃがいれば本第３規約にはＬ３，Ｃの正統性判定も加えられることになる。その場合には第５，６，７規約が発生することになる。この場合のプログラム模型を示す。
００１ ＳＴＡＲＴ．
ＸＸＸ
００４ 第１規約：Ｌ２，Ｃの正統性を用いて第２規約に進むか、ＲＥＴＵＲＮかを判定。
００５ 第２規約。
００５１ ＭＯＶＥ １ ＴＯ 第２フラグ．
００５２ Ｃ＝１１．
００６ 第３規約：Ｃ＝１１のＣの正統性の判定。ＮＯＰ．
００７ 第４規約
００７１ ＭＯＶＥ ０ ＴＯ Ｌ２，Ｃの第６フラグ．
００７２ ＭＯＶＥ Ｃ ＴＯ Ｌ２，Ｃの第４保存領域．
※００７３ ＭＯＶＥ Ｃ ＴＯ Ｌ２，Ｃの第４コピー領域．
００７４ ＡＤＤ １ ＴＯ 主語成立数カウンタ．
００８ ＲＥＴＵＲＮ．
００９ 第５規約：ＮＯＰ．
０１０ 第６規約：ＮＯＰ．
０１１ 第７規約：ＮＯＰ．(L2, C vector model)
Assume that the command sentence example of this vector is "C=11". The imperatives governed by "L2,C" are placed in the second convention by the vector predicate. It is assumed that L2 and C do not have L3 and C. If L3 and C are present in L2 and C, L3 and C's legitimacy determination will be added to the third convention. In that case, the 5th, 6th, and 7th rules will occur. A program model for this case is shown.
001 START.
XXX
004 First convention: Determine whether to proceed to the second convention using legitimacy of L2, C or RETURN.
005 Second Convention.
0051 MOVE 1 TO 2nd flag.
0052 C=11.
006 Third convention: C legitimacy determination for C=11. NOP.
007 4th convention 0071 MOVE 0 TO L2,C 6th flag.
0072 MOVE C TO L2, the fourth conserved region of C.
* 0073 MOVE C TO L2, 4th copy area of C.
0074 ADD 1 TO Counter for the number of subject formations.
008 RETURN.
009 Fifth Convention: NOP.
010 Sixth Convention: NOP.
011 Seventh Convention: NOP.
（Ｗ４，ＵＲＩＡＧＥのベクトル模型）
このベクトルの命令文例を「ＷＲＩＴＥ ＵＲＩＡＧＥ，ＤＢ１１」とする。これはＵＲＩＡＧＥを外部記憶領域「ＤＢ１１」に書く命令文である。この命令文の主語はＤＢ１１に成立する。ＤＢ１１の正統性は不明である。このベクトルの役割は正統なＬ４，ＵＲＩＡＧＥをＤＢ１１に出力するということである。Ｗ４，ＵＲＩＡＧＥが統治する命令文はベクトルの叙述法により第４規約に置かれる。Ｗ４，ＵＲＩＡＧＥのＶＷＡ，第１、第３規約ではＬ４，ＵＲＩＡＧＥに置き換えて処理される。このＷ４，ＵＲＩＡＧＥにはＬ３，ＵＲＩＡＧＥがいないものとする。Ｗ４，ＵＲＩＡＧＥにＬ３，ＵＲＩＡＧＥがいれば本第３規約にはＬ３，ＵＲＩＡＧＥの正統性判定も加えられることになる。この場合のプログラム模型を示す。
００１ ＳＴＡＲＴ．
ＸＸＸ
００４ 第１規約：Ｌ４，ＵＲＩＡＧＥの正統性を用いて第２規約に進むか、ＲＥＴＵＲＮかを判定。
００５ 第２規約。
００５１ ＭＯＶＥ １ ＴＯ 第２フラグ．
００５２ ＮＯＰ．
００６ 第３規約：Ｌ４，ＵＲＩＡＧＥの正統性の判定。
００６１ Ｌ４，ＵＲＩＡＧＥの第４保存領域は正統か．
００６１１ 正統なら ＧＯＴＯ第４規約．
００６１２ 正統でなければ ＧＯＴＯ 第５規約．
００７ 第４規約。
００７１ ＭＯＶＥ ０ ＴＯ Ｗ４，ＵＲＩＡＧＥの第６フラグ．
００７２ ＷＲＩＴＥ ＵＲＩＡＧＥ，ＤＢ１１．
※００７３ ＭＯＶＥ １ ＴＯ Ｗ４，ＵＲＩＡＧＥの第４保存領域．
００７４ ＡＤＤ １ ＴＯ 主語成立数カウンタ．
００８ ＲＥＴＵＲＮ．
００９ 第５規約： Ｌ４，ＵＲＩＡＧＥのＵＲＩＡＧＥが同じ座標周期で成立するや否やの判定。
００９１ ＭＯＶＥ ０ ＴＯ 第６フラグ．
００９２ （ＮＳ１＝ＮＳ５）なら第７規約に進む．
００９３ （ＮＳ１＞ＮＳ５）なら第６規約に進む．
０１０ 第６規約：Ｗ４，ＵＲＩＡＧＥの再起要請の宣言。
０１０１ Ｌ４，ＵＲＩＡＧＥ．の第４保存領域を初期値化．
０１０２ ＭＯＶＥ １ ＴＯ 第６フラグ．
０１０３ ＭＯＶＥ ０ ＴＯ 第２フラグ．
０１０４ ＲＥＴＵＲＮ．
０１１ 第７規約：Ｗ４，ＵＲＩＡＧＥの再起停止宣言。
０１１１ ＭＯＶＥ １ ＴＯ 第７フラグ．
０１１２ ＭＯＶＥ ０ ＴＯ 第２フラグ．
０１１３ ＲＥＴＵＲＮ．(W4, vector model of URIAGE)
Assume that the example of this vector is "WRITE URIAGE, DB11". This is a statement for writing URIAGE to the external storage area "DB11". The subject of this imperative sentence is materialized in DB11. The legitimacy of DB11 is unknown. The role of this vector is to output a legitimate L4, URIAGE to DB11. W4, the statement governed by URIAGE is placed in the fourth convention by vector predicate. W4, URIAGE is processed by replacing it with L4, URIAGE in VWA, 1st and 3rd conventions. It is assumed that this W4, URIAGE does not have L3, URIAGE. If W4, URIAGE includes L3, URIAGE, L3, URIAGE's legitimacy determination will be added to the third convention. A program model for this case is shown.
001 START.
XXX
004 1st convention: L4, URIAGE legitimacy is used to determine whether to proceed to 2nd convention or RETURN.
005 Second Convention.
0051 MOVE 1 TO 2nd flag.
0052 NOP.
006 Third convention: L4, URIAGE legitimacy determination.
0061 Is the fourth conserved region of L4, URIAGE canonical?
00611 If it is legit GOTO 4th rule.
00612 If not legit GOTO 5th rule.
007 Fourth Convention.
0071 MOVE 0 TO W4, sixth flag of URIAGE.
0072 WRITE URIAGE, DB11.
*0073 MOVE 1 TO W4, the fourth storage area of URIAGE.
0074 ADD 1 TO Counter for the number of subject formations.
008 RETURN.
009 Fifth rule: Determination as soon as URIAGE of L4, URIAGE is established in the same coordinate cycle.
0091 MOVE 0 TO 6th flag.
0092 If (NS1=NS5), proceed to the 7th protocol.
0093 If (NS1>NS5), proceed to the 6th convention.
010 Convention 6: W4, URIAGE's declaration of request for reactivation.
0101 L4, URIAGE. Initialize the fourth storage area of .
0102 MOVE 1 TO 6th flag.
0103 MOVE 0 TO Second flag.
0104 RETURN.
011 7th rule: W4, declaration of URIAGE stop restarting.
0111 MOVE 1 TO 7th flag.
0112 MOVE 0 TO 2nd flag.
0113 RETURN.
（Ｒ２ ＤＢ１１のベクトル模型）
このベクトルの命令文例を「ＲＥＡＤ ＤＢ１１，集計」とずる。これは外部記憶領域「ＤＢ１１」を集計に移す命令文である。この命令文の主語は集計に成立する。このベクトルの役割は正統な集計を成立させるということである。Ｒ２ ＤＢ１１が統治する命令文はベクトルの叙述法により第２規約に置かれる。Ｒ２ ＤＢ１１のＶＷＡ，第１、第３規約ではＬ４，集計に置き換えて処理される。このＲ２ ＤＢ１１にはＬ３，ＵＲＩＡＧＥがいないものとする。Ｒ２ ＤＢ１１にＬ３，ＤＢ１１がいれば本第３規約にはＬ３，ＤＢ１１の正統性判定も加えられることになる。この場合のプログラム模型を示す。
００１ ＳＴＡＲＴ．
ＸＸＸ
００４ 第１規約：Ｌ４，集計の正統性を用いて第２規約に進むか、ＲＥＴＵＲＮかを判定。
００５ 第２規約。
００５１ ＭＯＶＥ １ ＴＯ 第２フラグ．
００５２ ＲＥＡＤ ＤＢ１１，集計．
００６ 第３規約：Ｌ４，集計の正統性の判定。
００６１ Ｌ４，集計の第４保存領域は正統か．
００６１１ 正統なら ＧＯＴＯ ００７．
００６１２ 正統でなければ ＧＯＴＯ 第５規約．
００７ 第４規約。
００７１ ＭＯＶＥ ０ ＴＯ 第６フラグ．
００７２ ＭＯＶＥ 集計 ＴＯ ＲＥＡＤ ＤＢ１１，集計の第４保存領域．
※００７３ ＭＯＶＥ 集計 ＴＯ ＤＢ１１，集計の第４コピー領域．
００７４ ＡＤＤ １ ＴＯ 主語成立数カウンタ．
００８ ＲＥＴＵＲＮ．
００９ 第５規約：Ｌ４，集計の集計が同じ座標周期で成立するや否やの判定。
００９１ ＭＯＶＥ ０ ＴＯ 第６フラグ．
００９２ （ＮＳ１＝ＮＳ５）なら第７規約に進む．
００９３ （ＮＳ１＞ＮＳ５）なら第６規約に進む．
０１０ 第６規約：ＲＥＡＤ ＤＢ１１，集計の再起要請の宣言。
０１０１ ＲＥＡＤ ＤＢ１１，集計の第４保存領域を初期値化．
０１０２ ＭＯＶＥ １ ＴＯ 第６フラグ．
０１０３ ＭＯＶＥ ０ ＴＯ 第２フラグ．
０１０４ ＲＥＴＵＲＮ．
０１１ 第７規約：ＲＥＡＤ ＤＢ１１，集計の再起停止宣言。
０１１１ ＭＯＶＥ １ ＴＯ 第７フラグ．
０１１２ ＭＯＶＥ ０ ＴＯ 第２フラグ．
０１１３ ＲＥＴＵＲＮ．(Vector model of R2 DB11)
The command sentence example of this vector is changed to "READ DB11, tally". This is a statement that transfers the external storage area "DB11" to the aggregation. The subject of this imperative sentence is established in aggregation. The role of this vector is to establish legitimate aggregation. The statements governed by R2 DB 11 are placed in the second convention by vector predicate. In the VWA, first and third conventions of the R2 DB 11, processing is performed by replacing with L4, aggregation. It is assumed that this R2 DB 11 does not have L3 and URIAGE. If L3 and DB11 are present in R2 DB11, the legitimacy determination of L3 and DB11 will also be added to the third convention. A program model for this case is shown.
001 START.
XXX
004 1st convention: L4, use the legitimacy of aggregation to determine whether to proceed to the 2nd convention or RETURN.
005 Second Convention.
0051 MOVE 1 TO 2nd flag.
0052 READ DB11, Aggregation.
006 3rd convention: L4, judging legitimacy of aggregation.
0061 L4, Is the 4th storage area of aggregation legitimate?
00611 GOTO if it is legitimate 007.
00612 If not legit GOTO 5th rule.
007 Fourth Convention.
0071 MOVE 0 TO 6th flag.
0072 MOVE Aggregation TO READ DB11, Aggregation fourth storage area.
*0073 MOVE total TO DB11, fourth copy area for total.
0074 ADD 1 TO Counter for the number of subject formations.
008 RETURN.
009 Fifth rule: L4, determination of whether or not aggregation of aggregation is established in the same coordinate period.
0091 MOVE 0 TO 6th flag.
0092 If (NS1=NS5), proceed to the 7th protocol.
0093 If (NS1>NS5), proceed to the 6th convention.
010 Sixth rule: READ DB11, declaration of request for restart of aggregation.
0101 READ DB11, Initialize the 4th storage area for totals.
0102 MOVE 1 TO 6th flag.
0103 MOVE 0 TO Second flag.
0104 RETURN.
011 7th rule: READ DB11, Declare recurrence stop of counting.
0111 MOVE 1 TO 7th flag.
0112 MOVE 0 TO 2nd flag.
0113 RETURN.
（Ｅ４１，Ｐ４プログラムの論理結合型模型）
Ｅ４１，Ｐ４は本プログラムが終了状態にあることを告知する。Ｅ４１，Ｐ４を分かり易くする為、論理結合型で示しているが、Ｅ４１は固有のデータ領域（第４保存領域）を持っているので、実際はベクトル構造でプログラムする。この場合のプログラム模型を示す。
００１ ＳＴＡＲＴ．
００２ 主語成立数スタックからＮＳ１を採る．
００３ 主語成立数スタックからＮＳ５を採る．
００４ （ＮＳ１）＝（ＮＳ５）の判定．
００４１ ＹＥＳなら ＧＯ ＴＯ ００５．
００４２ ＮＯなら ＧＯ ＴＯ ００６．
００５ ＭＯＶＥ １ ＴＯ Ｅ４１の第４保存領域．
００６ ＲＥＴＵＲＮ．(Logical combination model of E41 and P4 programs)
E41 and P4 notify that the program is in the end state. E41 and P4 are shown in a logical combination for easy understanding, but since E41 has its own data area (fourth storage area), it is actually programmed in a vector structure. A program model for this case is shown.
001 START.
002 NS1 is taken from the stack of the number of occurrences of the subject.
003 NS5 is taken from the stack of the number of occurrences of the subject.
004 Determination of (NS1)=(NS5).
0041 If YES, go to 005.
0042 If NO, GO TO 006.
005 MOVE 1 TO E41 fourth conserved region.
006 RETURN.
（Ｅ４２，Ｐ４プログラムの論理結合型模型）
Ｅ４２，Ｐ４は命令破壊には至らない命令汚染により、本プログラムに生じる論理矛盾の発症を告知する。Ｅ４２，Ｐ４を分かり易くする為、論理結合型で示しているが、Ｅ４２は固有のデータ領域（第４保存領域）を持っているので、実際はベクトル構造でプログラムする。この場合のプログラム模型を示す。
００１ ＳＴＡＲＴ．
００２ 主語成立数スタックからＮＳ１を採る．
００３ 主語成立数スタックからＮＳ５を採る．
００４ （ＮＳ１）＜（ＮＳ５）の判定．：本プログラムに生じる論理矛盾はこの関係で捉えることができる。
００４１ ＹＥＳなら ＧＯ ＴＯ ００５．
００４２ ＮＯなら ＧＯ ＴＯ ００６．
００５ ＭＯＶＥ １ ＴＯ Ｅ４２の第４保存領域．
００６ ＲＥＴＵＲＮ．(Logical combination model of E42 and P4 programs)
E42 and P4 announce the onset of logic contradiction in this program due to instruction contamination that does not lead to instruction destruction. E42 and P4 are shown in a logical combination for easy understanding, but since E42 has its own data area (fourth storage area), it is actually programmed in a vector structure. A program model for this case is shown.
001 START.
002 NS1 is taken from the stack of the number of occurrences of the subject.
003 NS5 is taken from the stack of the number of occurrences of the subject.
004 Determination of (NS1)<(NS5). : The logical contradiction that occurs in this program can be captured in this relationship.
0041 If YES, go to 005.
0042 If NO, GO TO 006.
005 Fourth conservation region of MOVE 1 TO E42.
006 RETURN.
（Ｔ４，Ｐ４プログラムの論理結合型模型）
Ｔ４，Ｐ４はその第４保存領域で座標関数４を座標関数２に切り替える条件が整ったことを告知する。Ｔ４，Ｐ４を分かり易くする為、論理結合型で示しているが、Ｔ４は固有のデータ領域（第４保存領域）を持っているので、実際はベクトル構造でプログラムする。この場合のプログラム模型を示す。
００１ ＳＴＡＲＴ．
００２ Ｐ４の臨界判定．
００２１ パレット４の第６フラグ列の作成．
００２２ パレット４の第６フラグ列常数の作成．
００３ パレット４の第６フラグ列と第６フラグ列常数のＸＯＲ．
００３１ ＸＯＲがＺＥＲＯならＧＯＴＯ ００４．
００３２ ＸＯＲがＮＯＴ ＺＥＲＯならＧＯＴＯ ００５．
００４ ＭＯＶＥ １ ＴＯ Ｔ４の第４保存領域．
００５ ＲＥＴＵＲＮ．(Logical combination model of T4 and P4 programs)
T4, P4 announces that the conditions for switching coordinate function 4 to coordinate function 2 in its fourth storage area are met. To make T4 and P4 easier to understand, T4 and P4 are shown in a logical connection type, but since T4 has its own data area (fourth storage area), it is actually programmed in a vector structure. A program model for this case is shown.
001 START.
Critical judgment of 002 P4.
0021 Creation of 6th flag row for palette 4 .
0022 Creation of 6th flag row constant for palette 4 .
003 XOR the sixth flag string of palette 4 and the sixth flag string constant.
0031 GOTO if XOR is ZERO 004.
0032 GOTO if XOR is NOT ZERO 005.
004 MOVE 1 TO T4 fourth conserved region.
005 RETURN.
（Ｔ２，Ｐ２プログラムの論理結合型模型）
Ｔ２，Ｐ２はその第４保存領域で座標関数２を座標関数３に切り替える条件が整ったことを告知する。Ｔ２，Ｐ２を分かり易くする為、論理結合型で示しているが、Ｔ２は固有のデータ領域（第４保存領域）を持っているので、実際はベクトル構造でプログラムする。この場合のプログラム模型を示す。
００１ ＳＴＡＲＴ．
００２ Ｐ２の臨界判定：
００２１ パレット２の第６フラグ列の作成．
００２２ パレット２の第６フラグ列常数の作成．
００３ パレット２の第６フラグ列と第６フラグ列常数のＸＯＲ．
００３１ ＸＯＲがＺＥＲＯならＧＯＴＯ ００４．
００３２ ＸＯＲがＮＯＴ ＺＥＲＯならＧＯＴＯ ００５．
００４ ＭＯＶＥ １ ＴＯ Ｔ４の第４保存領域．
００５ ＲＥＴＵＲＮ．(Logical combination model of T2 and P2 programs)
T2, P2 announces that the conditions for switching coordinate function 2 to coordinate function 3 are met in its fourth storage area. To make T2 and P2 easier to understand, they are shown in a logical combination type, but since T2 has its own data area (fourth storage area), it is actually programmed in a vector structure. A program model for this case is shown.
001 START.
002 P2 criticality judgment:
0021 Creation of 6th flag column for palette 2 .
0022 Creation of 6th flag row constant for palette 2 .
003 XOR the 6th flag string of palette 2 and the 6th flag string constant.
0031 GOTO if XOR is ZERO 004.
0032 GOTO if XOR is NOT ZERO 005.
004 MOVE 1 TO T4 fourth conserved region.
005 RETURN.
（Ｔ３１，Ｐ３プログラムの論理結合型模型）
「Ｔ３１の第４保存領域」は座標関数３を自分の座標関数４に切り替える条件が整っていることを告知する。Ｔ３１，Ｐ３を分かり易くする為、論理結合型で示しているが、Ｔ３１は固有のデータ領域（第４保存領域）を持っているので、実際はベクトル構造でプログラムする。Ｔ３１の第４保存領域の初期値はオンである。この場合のプログラム模型を示す。
００１ ＳＴＡＲＴ．
００２ Ｐ３の臨界判定：
００２１ パレット３の第６フラグ列の作成．
００２２ パレット３の第６フラグ列常数の作成．
００３ パレット３の第６フラグ列と第６フラグ列常数のＸＯＲ（第１条件）．
００３１ ＸＯＲがＺＥＲＯならＧＯＴＯ ００４．
００３２ ＸＯＲがＮＯＴ ＺＥＲＯならＧＯＴＯ ００６．
００４ 主語分布表を用いて行う判定。
００４１ 本プログラムの全主語は本プログラムに内在するか（第２条件）
００４２ ＹＥＳならＧＯＴＯ ００５．
００４３ ＮＯならＧＯＴＯ ００６．
００５ ＭＯＶＥ １ ＴＯ Ｔ３１の第４保存領域．
００６ ＲＥＴＵＲＮ．(Logical combination model of T31 and P3 programs)
"4th storage area of T31" announces that the conditions for switching coordinate function 3 to its own coordinate function 4 are met. To make T31 and P3 easier to understand, they are shown in a logical combination type, but since T31 has its own data area (fourth storage area), it is actually programmed in a vector structure. The initial value of the fourth storage area of T31 is on. A program model for this case is shown.
001 START.
002 P3 criticality judgment:
0021 Creation of 6th flag row for palette 3 .
0022 Creation of 6th flag row constant for palette 3 .
003 XOR of the 6th flag string of palette 3 and the 6th flag string constant (first condition).
0031 GOTO if XOR is ZERO 004.
0032 GOTO if XOR is NOT ZERO 006.
004 Determination using subject distribution table.
0041 Are all subjects of this program inherent in this program (Second condition)?
0042 If YES, go to 005.
0043 If NO, go to 006.
005 MOVE 1 TO T31 fourth conserved region.
006 RETURN.
（Ｔ３２，Ｐ３プログラムの論理結合型模型）
「Ｔ３２の第４保存領域」は座標関数３をランク構造に於ける本プログラム（１，１）の下位の本プログラム（２，１）の座標関数４に切り替える条件が整っていることを告知する。Ｔ３２，Ｐ３を分かり易くする為、論理結合型で示しているが、Ｔ３２は固有のデータ領域（第４保存領域）を持っているので、実際はベクトル構造でプログラムする。この場合のプログラム模型を示す。
００１ ＳＴＡＲＴ．
００２ Ｐ３の臨界判定：
００２１ パレット３の第６フラグ列の作成．
００２２ パレット３の第６フラグ列常数の作成．
００３ パレット３の第６フラグ列と第６フラグ列常数のＸＯＲ（第１条件）．
００３１ ＸＯＲがＺＥＲＯならＧＯＴＯ ００４．
００３２ ＸＯＲがＮＯＴ ＺＥＲＯならＧＯＴＯ ００６．
００４ 主語分布表を用いて行う判定。
００４１ 本プログラムの主語は隣下の本プログラムにも内在するか（第２条件）
００４２ ＹＥＳならＧＯＴＯ ００５．
００４３ ＮＯならＧＯＴＯ ００６．
００５ ＭＯＶＥ １ ＴＯ Ｔ３２の第４保存領域．
００６ ＲＥＴＵＲＮ．(Logical combination model of T32 and P3 programs)
The "fourth storage area of T32" notifies that the conditions for switching coordinate function 3 to coordinate function 4 of this program (2, 1), which is lower than this program (1, 1) in the rank structure, are met. . To make T32 and P3 easier to understand, they are shown in a logical combination type, but since T32 has its own data area (fourth storage area), it is actually programmed in a vector structure. A program model for this case is shown.
001 START.
002 P3 criticality judgment:
0021 Creation of 6th flag row for palette 3 .
0022 Creation of 6th flag row constant for palette 3 .
003 XOR of the 6th flag string of palette 3 and the 6th flag string constant (first condition).
0031 GOTO if XOR is ZERO 004.
0032 GOTO if XOR is NOT ZERO 006.
004 Determination using subject distribution table.
0041 Does the subject of this program also exist in the adjacent program (second condition)?
0042 If YES, go to 005.
0043 If NO, go to 006.
005 Fourth conserved region of MOVE 1 TO T32.
006 RETURN.
（Ｔ３３，Ｐ３プログラムの論理結合型模型）
「Ｔ３３の第４保存領域」は座標関数３をランク構造に於ける本プログラム（１，１）の最上位の本プログラムの座標関数３に切り替える条件が整っていることを告知する。Ｔ３３，Ｐ３を分かり易くする為、論理結合型で示しているが、Ｔ３３は固有のデータ領域（第４保存領域）を持っているので、実際はベクトル構造でプログラムする。この場合のプログラム模型を示す。
００１ ＳＴＡＲＴ．
００２ Ｐ３の臨界判定：
００２１ パレット３の第６フラグ列の作成．
００２２ パレット３の第６フラグ列常数の作成．
００３ パレット３の第６フラグ列と第６フラグ列常数のＸＯＲ（第１条件）．
００３１ ＸＯＲがＺＥＲＯならＧＯＴＯ ００４．
００３２ ＸＯＲがＮＯＴ ＺＥＲＯならＧＯＴＯ ００６．
００４ 主語分布表を用いて行う判定。
００４１ 本プログラムの主語は隣上の本プログラムにも内在するか（第２条件）
００４２ ＹＥＳならＧＯＴＯ ００５．
００４３ ＮＯならＧＯＴＯ ００６．
００５ ＭＯＶＥ １ ＴＯ Ｔ３２の第４保存領域．
００６ ＲＥＴＵＲＮ．(Logical combination model of T33 and P3 programs)
The "fourth storage area of T33" notifies that the conditions for switching the coordinate function 3 to the coordinate function 3 of the program at the top of the program (1,1) in the rank structure are met. To make T33 and P3 easier to understand, they are shown in a logical combination type, but since T33 has its own data area (fourth storage area), it is actually programmed in a vector structure. A program model for this case is shown.
001 START.
002 P3 criticality judgment:
0021 Creation of 6th flag row for palette 3 .
0022 Creation of 6th flag row constant for palette 3 .
003 XOR of the 6th flag string of palette 3 and the 6th flag string constant (first condition).
0031 GOTO if XOR is ZERO 004.
0032 GOTO if XOR is NOT ZERO 006.
004 Determination using subject distribution table.
0041 Does the subject of this program also exist in the adjacent program (second condition)?
0042 If YES, go to 005.
0043 If NO, go to 006.
005 Fourth conserved region of MOVE 1 TO T32.
006 RETURN.
（座標関数４プログラムの論理結合型模型）
座標関数４のログラム模型を以下に示す。
００１ ＳＴＡＲＴ．
００２ パレット４の搭載順位１（ｉ＝１）のベクトルを指定．：座標周期４の始まり
００３ 指定された搭載順位（ｉ）のベクトルを起動．
００４ ここは起動したベクトルのＲＥＴＵＲＮ点です．
００５ 命令破壊信号（ＯＳ）の有無判定．
００５１ 有りで、ＳＥＰ起動．：本プログラムの実行を停止
００５２ なしで、ＧＯ ＴＯ ００６．
００６ 起動する次のベクトルを指定（ｉ＝ｉ＋１）．
００７ （ｉ）はパレット４のベクトルの搭載数（Ｎ４）を超えたか．
００７１ 超えていれば ＧＯ ＴＯ ００８．
００７２ 超えていなければ ＧＯ ＴＯ ００３．
００８ パレット４の臨界の成否判定．：Ｔ４の第４保存領域のオンオフを利用
００８１ オフなら ＧＯ ＴＯ ００２．
００８２ オンなら ＧＯ ＴＯ ００９．：座標周期４の終了
００９ 論理矛盾発症の有無を判定：Ｅ４２の第４保存領域オンオフの利用．
００９１ オンで、ＳＬＰ起動．：本プログラムの実行停止処理
００９２ オフで、ＧＯ ＴＯ ０１０．
：本プログラムには論理矛盾は起きていない
０１０ 同期関数に戻る為に次の処理を行う
０１０１ パレット４の第７フラグオンのベクトルを全て初期値化する．
０１０２ スタック更新プログラムの起動．
０１１ 同期関数にＲＥＴＵＲＮ．(Logical connection type model of coordinate function 4 program)
A log model of the coordinate function 4 is shown below.
001 START.
002 Designate the vector of loading order 1 (i=1) of pallet 4. : Beginning of coordinate cycle 4 003 Activate vector of specified mounting order (i).
004 This is the RETURN point of the activated vector.
005 Determining the presence or absence of an instruction destruction signal (OS).
0051 Yes, start SEP. : Stop execution of this program 0052 None, GO TO 006.
006 Specify next vector to start (i=i+1).
007 Does (i) exceed the number of vectors loaded on pallet 4 (N4)?
0071 If it exceeds GO TO 008.
0072 If it does not exceed GO TO 003.
008 Judgment of criticality of pallet 4. : Use the ON/OFF state of the fourth storage area of T4 0081 If OFF, GO TO 002.
0082 If it's on, GO TO 009. : End 009 of coordinate period 4 Determine whether logical contradiction occurs: Use of ON/OFF of fourth storage area of E42.
0091 On, SLP activation. : Execution stop processing of this program 0092 Off, GO TO 010.
: There is no logical contradiction in this program. 010 Perform the following processing to return to the synchronous function.
0102 Start stack update program.
011 RETURN.
（座標関数２プログラムの論理結合型模型）
座標関数２のログラム模型を以下に示す。
００１ ＳＴＡＲＴ．
００２ パレット２の搭載順位１（ｉ＝１）のベクトルを指定．：座標周期２の始まり
００３ 指定された搭載順位（ｉ）のベクトルを起動．
００４ ここは起動したベクトルのＲＥＴＵＲＮ点である．
００５ 命令破壊信号（ＯＳ）の有無判定．
００５１ 有りで、ＳＥＰ起動．：本プログラムの実行を停止
００５２ なしで、ＧＯ ＴＯ ００６．
００６ 起動する次のベクトルを指定（ｉ＝ｉ＋１）．
００７ （ｉ）はパレット２のベクトルの搭載数（Ｎ２）を超えたか．
００７１ 超えていれば ＧＯ ＴＯ ００８．
００７２ 超えていなければ ＧＯ ＴＯ ００３．
００８ パレット２の臨界の成否判定．：Ｔ２の第４保存領域のオンオフを利用
００８１ オフなら ＧＯ ＴＯ ００２．
００８２ オンなら ＧＯ ＴＯ ００９．：座標周期２の終了
００９ 論理矛盾発症の有無を判定：Ｅ４２の第４保存領域オンオフの利用．
００９１ オンで、ＳＬＰ起動．：本プログラムの実行停止処理
００９２ オフで、ＧＯ ＴＯ ０１０．
：本プログラムには論理矛盾は起きていない
０１０ 同期関数に戻る為に次の処理を行う
０１０１ パレット２の第７フラグオンのベクトルを全て初期値化する．
０１１ 同期関数にＲＥＴＵＲＮ．(Logical combination model of coordinate function 2 program)
The log model of coordinate function 2 is shown below.
001 START.
002 Designate the vector of loading order 1 (i=1) of pallet 2. : Beginning of coordinate period 2 003 Activate vector of specified mounting order (i).
004 This is the RETURN point of the activated vector.
005 Determining the presence or absence of an instruction destruction signal (OS).
0051 Yes, start SEP. : Stop execution of this program 0052 None, GO TO 006.
006 Specify next vector to start (i=i+1).
007 Does (i) exceed the number of vectors loaded on pallet 2 (N2)?
0071 If it exceeds GO TO 008.
0072 If it does not exceed GO TO 003.
008 Judgment of criticality of pallet 2. : Use the ON/OFF state of the fourth storage area of T2 0081 If OFF, GO TO 002.
0082 If it's on, GO TO 009. : End 009 of coordinate cycle 2 Determine whether logical contradiction occurs: Use of ON/OFF of fourth storage area of E42.
0091 On, SLP activation. : Execution stop processing of this program 0092 Off, GO TO 010.
: There is no logical contradiction in this program. 010 Perform the following processing to return to the synchronous function.
011 RETURN.
（座標関数３プログラムの論理結合型模型）
座標関数３のプログラム模型を以下に示す。
００１ ＳＴＡＲＴ．
００２ パレット３の搭載順位１（ｉ＝１）のベクトルを指定．：座標周期３の始まり
００３ 指定された搭載順位（ｉ）のベクトルを起動．
００４ ここは起動したベクトルのＲＥＴＵＲＮ点である．
００５ 命令破壊信号（ＯＳ）の有無判定．
００５１ 有りで、ＳＥＰ起動．：本プログラムの実行を停止
００５２ なしで、ＧＯ ＴＯ ００６．
００６ 起動する次のベクトルを指定（ｉ＝ｉ＋１）．
００７ （ｉ）はパレット２のベクトルの搭載数（Ｎ３）を超えたか．
００７１ 超えていれば ＧＯ ＴＯ ００８．
００７２ 超えていなければ ＧＯ ＴＯ ００３．
００８ パレット３の臨界の成否判定．：Ｔ２の第４保存領域のオンオフを利用
００８１ オフなら ＧＯ ＴＯ ００２．
００８２ オンなら ＧＯ ＴＯ ００９．：座標周期５の終了
００９ 論理矛盾発症の有無を判定：Ｅ４２の第４保存領域オンオフの利用．
００９１ オンで、ＳＬＰ起動．：本プログラムの実行停止処理
００９２ オフで、ＧＯ ＴＯ ０１０．
：本プログラムには論理矛盾は起きていない
０１０ 同期関数に戻る為に次の処理を行う
０１０１ パレット３の第７フラグオンのベクトルを全て初期値化する．
０１１ 同期関数にＲＥＴＵＲＮ(Logical connection type model of coordinate function 3 program)
A program model of coordinate function 3 is shown below.
001 START.
002 Designate the vector of loading order 1 (i=1) of pallet 3. : Beginning of coordinate cycle 3 003 Activate vector of specified mounting order (i).
004 This is the RETURN point of the activated vector.
005 Determining the presence or absence of an instruction destruction signal (OS).
0051 Yes, start SEP. : Stop execution of this program 0052 None, GO TO 006.
006 Specify next vector to start (i=i+1).
007 Does (i) exceed the number of vectors loaded on pallet 2 (N3)?
0071 If it exceeds GO TO 008.
0072 If it does not exceed GO TO 003.
008 Judgment of criticality of pallet 3. : Use the ON/OFF state of the fourth storage area of T2 0081 If OFF, GO TO 002.
0082 If it's on, GO TO 009. : End 009 of coordinate period 5 Determine whether logical contradiction occurs: Use of ON/OFF of fourth storage area of E42.
0091 On, SLP activation. : Execution stop processing of this program 0092 Off, GO TO 010.
: There is no logical contradiction in this program. 010 Perform the following processing to return to the synchronous function.
011 RETURN to synchronous function
（同期関数プログラムの論理結合型模型）
００１ ＳＴＡＲＴ．
００２ スタック初期値化プログラム起動．
００３ 本プログラムの終了判定．：Ｅ４１の第４保存領域のオンオフを利用
００３１ オンなら、ＧＯ ＴＯ ００４．：本プログラム終了処理
００３２ オフなら、ＧＯ ＴＯ ００５．：本プログラムの始動
００４ ＳＥＰ起動．：Ｓｙｓｔｍ Ｅｎｄｉｎｇ Ｐｒｏｇｒａｍ(本プログラム終了プログラム)
００５ Ｔ３１第４保存領域のオンオフ判定．：自分の座標関数４の起動
００５１ オンなら．Ｔ３１第４保存領域をオフにする．
００５２ 自分の座標関数４を起動．
００５３ オフならＧＯ ＴＯ ００６．
００６ Ｔ３２第４保存領域のオンオフ判定．：最近傍下位の座標関数４を起動
００６１ オンなら．Ｔ３２第４保存領域をオフにする．
００６２ 最近傍下位の座標関数４を起動．
００６３ オフなら、ＧＯ ＴＯ ００７．：最近傍下位の座標関数４がなければオフ。
００７ Ｔ３３第４保存領域のオンオフ判定．：最上位の座標関数３の起動
００７１ オンなら．Ｔ３３第４保存領域をオフにする．
００７２ 最上位の座標関数３を起動．
００７３ オフなら、ＧＯ ＴＯ ００８．：最上位の座標関数３がなければオフ。
００８ Ｔ４第４保存領域のオンオフ判定．：自分の座標関数２の起動
００８１ オンなら．Ｔ４第４保存領域をオフにする．
００８２ 自分の座標関数２を起動．
００８３ オフなら、ＧＯ ＴＯ ００９．：自分の座標関数３の起動。
００９ Ｔ２第４保存領域のオンオフ判定．：自分の座標関数３の起動
００９１ オンなら．Ｔ２第４保存領域をオフにする．
００９２ 自分の座標関数３を起動．
００９３ オフなら、ＧＯ ＴＯ ０１０．
０１０ Ｔ３２第４保存領域のオンオフ判定．：隣下の座標関数４の起動
０１０１ オンなら．Ｔ３２第４保存領域をオフにする．
０１０２ 隣下の座標関数４を起動．
０１０３ オフなら、ＧＯ ＴＯ ０１１．
０１１ Ｔ３３第４保存領域のオンオフ判定．：最上位の座標関数３の起動
０１１１ オンなら．Ｔ３３第４保存領域をオフにする．
０１１２ 最上位の座標関数３を起動．
０１１３ オフなら、ＧＯ ＴＯ ００５２．
０１２ ＥＮＤ．(Logically coupled model of synchronous function program)
001 START.
002 Start stack initialization program.
003 Determining the end of this program. : Use the ON/OFF state of the fourth storage area of E41 0031 If ON, GO TO 004. : End processing of this program 0032 If OFF, GO TO 005. : Start this program 004 Start SEP. : System Ending Program
005 T31 ON/OFF determination of the fourth storage area. : Activate own coordinate function 4 0051 If ON. Turn off the T31 fourth storage area.
0052 Start your own coordinate function 4.
0053 GO TO if off 006.
006 ON/OFF determination of T32 fourth storage area. : Activate coordinate function 4 of the nearest neighbor subordinate 0061 If ON. Turn off the T32 fourth storage area.
0062 Start the coordinate function 4 of the nearest neighbor subordinate.
0063 If off, GO TO 007. : Off if there is no coordinate function 4 below the nearest neighbor.
007 T33 ON/OFF determination of fourth storage area. : Activation of coordinate function 3 at the highest level 0071 If ON. T33 Turn off the fourth storage area.
0072 Activate top coordinate function 3.
0073 If off, GO TO 008. : Off if there is no top coordinate function 3.
008 ON/OFF determination of T4 fourth storage area. : Activate own coordinate function 2 0081 If on. T4 Turn off the fourth storage region.
0082 Start your own coordinate function 2.
0083 If off, GO TO 009. : Start your own coordinate function 3.
009 ON/OFF determination of T2 fourth storage area. : Activate own coordinate function 3 0091 If on. Turn off the T2 fourth storage region.
0092 Start your own coordinate function 3.
0093 If off, GO TO 010.
010 ON/OFF determination of T32 fourth storage area. : Activation of coordinate function 4 next to and below 0101 If ON. Turn off the T32 fourth storage area.
0102 Activate coordinate function 4 next to and below.
0103 If off, GO TO 011.
011 T33 ON/OFF determination of the fourth storage area. : Activation of coordinate function 3 at the highest level 0111 If ON. T33 Turn off the fourth storage area.
0112 Activate top coordinate function 3.
0113 If off, GO TO 0052.
012 END.
（Ｅ４１，Ｐ４プログラムのベクトル型模型）
制御ベクトルの論理結合型模型を２例ベクトルに置き換える。他の制御ベクトルも置き換え方は同じである。論理結合型模型の制御ベクトルをベクトル型模型に変換する原型はＬ４．Ａである。このベクトルの命令文はスタッツクを採ることである。スタックを採る命令文は第２規約に置かれる。Ｅ４１，Ｐ４にはＬ３がない。次にプログラム模型を示す。
００１ ＳＴＡＲＴ．
ＸＸＸ
００４ 第１規約：Ｅ４１，Ｐ４の正統性を用いて第２規約に進むか、ＲＥＴＵＲＮかを判定。
００５ 第２規約
００５１ ＭＯＶＥ １ ＴＯ 第２フラグ．
００５２ 主語成立数スタックからＮＳ１を採る．
００５３ 主語成立数スタックからＮＳ５を採る．
００６ 第３規約：（ＮＳ１）＝（ＮＳ５）の判定．
００６１ ＹＥＳならＧＯＴＯ 第４規約．
００６２ ＮＯならＧＯＴＯ 第５規約．
００７ 第４規約。
００７１ ＭＯＶＥ ０ ＴＯ Ｅ４１，Ｐ４の第６フラグ．
００７２ ＭＯＶＥ Ａ ＴＯ Ｅ４１，Ｐ４の第４保存領域．
※００７３ ＭＯＶＥ Ａ ＴＯ Ｅ４１，Ｐ４の第４コピー領域．
００７４ ＡＤＤ １ ＴＯ 主語成立数カウンタ．
００８ ＲＥＴＵＲＮ．
００９ 第５規約：Ｅ４１，Ｐ４が同じ座標周期で成立するや否やの判定。
００９１ ＭＯＶＥ ０ ＴＯ 第６フラグ．
００９２ （ＮＳ１＝ＮＳ５）ならＧＯＴＯ 第７規約．
００９３ （ＮＳ１＞ＮＳ５）ならＧＯＴＯ 第６規約．
０１０ 第６規約：Ｅ４１，Ｐ４の再起要請の宣言。
０１０１ Ｅ４１，Ｐ４の第４保存領域を初期値化．
０１０２ ＭＯＶＥ １ ＴＯ 第６フラグ．
０１０３ ＭＯＶＥ ０ ＴＯ 第２フラグ．
０１０４ ＲＥＴＵＲＮ．
０１１ 第７規約：Ｅ４１，Ｐ４の再起停止宣言。
０１１１ ＭＯＶＥ １ ＴＯ 第７フラグ．
０１１２ ＭＯＶＥ ０ ＴＯ 第２フラグ．
０１１３ ＲＥＴＵＲＮ．(Vector model of E41 and P4 programs)
Replace the logical combination model of the control vector with a two-example vector. Other control vectors are replaced in the same way. L4. It is A. The imperative of this vector is to take a stack. Statements that take the stack are placed in the second convention. E41 and P4 do not have L3. A program model is shown below.
001 START.
XXX
004 1st convention: Determine whether to proceed to 2nd convention using legitimacy of E41, P4 or RETURN.
005 Second convention 0051 MOVE 1 TO Second flag.
0052 NS1 is taken from the stack of the number of occurrences of the subject.
0053 NS5 is taken from the stack of the number of occurrences of the subject.
006 3rd rule: (NS1)=(NS5) decision.
0061 If YES, GOTO 4th rule.
0062 If NO, GOTO 5th rule.
007 Fourth Convention.
0071 MOVE 0 TO E41, 6th flag of P4.
0072 MOVE A TO E41, fourth conserved region of P4.
* 0073 MOVE A TO E41, fourth copy area of P4.
0074 ADD 1 TO Counter for the number of subject formations.
008 RETURN.
009 Fifth rule: Judgment as soon as E41 and P4 are established in the same coordinate cycle.
0091 MOVE 0 TO 6th flag.
0092 If (NS1=NS5) then GOTO 7th rule.
0093 If (NS1>NS5) then GOTO 6th rule.
010 Convention 6: E41, P4 declaration of request for reactivation.
0101 Initialize the fourth storage area of E41 and P4.
0102 MOVE 1 TO 6th flag.
0103 MOVE 0 TO Second flag.
0104 RETURN.
011 Rule 7: Declare E41 and P4 to stop restarting.
0111 MOVE 1 TO 7th flag.
0112 MOVE 0 TO 2nd flag.
0113 RETURN.
（Ｔ３３，Ｐ３プログラムのベクトル型模型）
このベクトルの命令文はスタッツクを採ることである。スタッツクを採る命令文は第２規約に置かれる。Ｔ３３，Ｐ３にはＬ３がない。次にプログラム模型を示す。
００１ ＳＴＡＲＴ．
ＸＸＸ
００４ 第１規約：Ｔ３３，Ｐ３の正統性を用いて第２規約に進むか、ＲＥＴＵＲＮかを判定。
００５ 第２規約 Ｔ３３，Ｐ３の成立判定の準備：
００５１ ＭＯＶＥ １ ＴＯ 第２フラグ．
００５２ パレット３の第６フラグ列の作成．
００５３ パレット３の第６フラグ列常数の作成．
００６ 第３規約：Ｔ３３，Ｐ３の成立判定。
００６１ Ｐ３の臨界判定。
００６１１ パレット３の第６フラグ列と第６フラグ列常数のＸＯＲ（第１条件）．
００６１２ ＸＯＲがＺＥＲＯならＧＯＴＯ ００６２．
００６１３ ＸＯＲがＮＯＴ ＺＥＲＯなら第５規約．
００６２ 主語分布表を用いて行う判定。
００６２１ 主語は隣上の本プログラムにも内在するか（第２条件）
００６２２ ＹＥＳならＧＯＴＯ 第４規約．
００６２３ ＮＯならＧＯＴＯ ＲＥＴＵＲＮ．
００７ 第４規約。
００７１ ＭＯＶＥ ０ ＴＯ Ｔ３３，Ｐ３の第６フラグ．
００７２ ＭＯＶＥ Ａ ＴＯ Ｔ３３，Ｐ３の第４保存領域．
※００７３ ＭＯＶＥ Ａ ＴＯ Ｔ３３，Ｐ３の第４コピー領域．
００７４ ＡＤＤ １ ＴＯ 主語成立数カウンタ．
００８ ＲＥＴＵＲＮ．
００９ 第５規約：Ｐ３の臨界が同じ座標周期で成立するや否やの判定。
００９１ ＭＯＶＥ ０ ＴＯ 第６フラグ．
００９２ （ＮＳ１＞ＮＳ５）ならＧＯＴＯ 第６規約．
００９３ （ＮＳ１＞ＮＳ５）でなければＧＯＴＯ 第７規約．
０１０ 第６規約：Ｅ４１，Ｐ４の再起要請の宣言。
０１０１ Ｔ３３，Ｐ３の第４保存領域を初期値化．
０１０２ ＭＯＶＥ １ ＴＯ 第６フラグ．
０１０３ ＭＯＶＥ ０ ＴＯ 第２フラグ．
０１０４ ＲＥＴＵＲＮ．
０１１ 第７規約：Ｔ３３，Ｐ３の再起停止宣言。
０１１１ ＭＯＶＥ １ ＴＯ 第７フラグ．
０１１２ ＭＯＶＥ ０ ＴＯ 第２フラグ．
０１１３ ＲＥＴＵＲＮ．(Vector model of T33 and P3 programs)
The imperative of this vector is to take a stack. Statements that take stacks are placed in the second convention. There is no L3 in T33, P3. A program model is shown below.
001 START.
XXX
004 First protocol: Determine whether to proceed to the second protocol using the legitimacy of T33, P3 or RETURN.
005 Preparing for determination of establishment of 2nd rule T33, P3:
0051 MOVE 1 TO 2nd flag.
0052 Creation of 6th flag column for palette 3 .
0053 Creation of 6th flag row constant for palette 3 .
006 3rd rule: Judgment of establishment of T33, P3.
0061 P3 criticality decision.
00611 XOR of the 6th flag string of palette 3 and the 6th flag string constant (first condition).
00612 GOTO if XOR is ZERO 0062.
00613 If XOR is NOT ZERO then rule 5.
0062 Judgment made using subject distribution table.
00621 Does the subject also exist in this program next to it (second condition)?
00622 If YES, GOTO 4th rule.
00623 If NO, GOTO RETURN.
007 Fourth Convention.
0071 MOVE 0 TO T33, sixth flag of P3.
0072 MOVE A TO T33, fourth conserved region of P3.
* 0073 MOVE A TO T33, fourth copy area of P3.
0074 ADD 1 TO Counter for the number of subject formations.
008 RETURN.
009 Fifth rule: Judgment as soon as the criticality of P3 is established in the same coordinate period.
0091 MOVE 0 TO 6th flag.
0092 If (NS1>NS5), GOTO 6th rule.
0093 If not (NS1>NS5), GOTO 7th rule.
010 Convention 6: E41, P4 declaration of request for reactivation.
0101 Initialize the fourth storage area of T33, P3.
0102 MOVE 1 TO 6th flag.
0103 MOVE 0 TO Second flag.
0104 RETURN.
011 7th convention: T33, P3 restart stop declaration.
0111 MOVE 1 TO 7th flag.
0112 MOVE 0 TO 2nd flag.
0113 RETURN.
（スタック更新プログラムの論理結合型模型）
００１ ＳＴＡＲＴ．
００２ 主語成立数カウンタがゼロならスタックを初期値化：スタック初期値化プログラムを起動
００３ ＲＥＴＵＲＮ．
００４ 主語成立数カウンタがゼロでなく、ＮＳ１、２，３，４ゼロなら
００５ 主語成立数カウンタをＮＳ１に上書．
００６ ＲＥＴＵＲＮ．
００７ 主語成立数カウンタがゼロでなく、ＮＳ２，３，４ゼロなら
００８ ＮＳ１をＮＳ２に上書．
００９ 主語成立数カウンタをＮＳ１に上書．
０１０ ＲＥＴＵＲＮ．
０１１ 主語成立数カウンタがゼロでなく、ＮＳ３，４ゼロなら
０１２ ＮＳ１をＮＳ２に上書．
０１３ ＮＳ２をＮＳ３に上書．
０１４ 主語成立数カウンタをＮＳ１に上書．
０１５ ＲＥＴＵＲＮ．
０１６ 主語成立数カウンタがゼロでなく、ＮＳ４がゼロなら
０１７ ＮＳ１をＮＳ２に上書．
０１８ ＮＳ２をＮＳ３に上書．
０１９ ＮＳ３をＮＳ４に上書．
０２０ 主語成立数カウンタをＮＳ１に上書．
０２１ ＲＥＴＵＲＮ．
０２２ 主語成立数カウンタがゼロでなく、全ＮＳがゼロでないなら
０２３ ＮＳ１をＮＳ２に上書．
０２４ ＮＳ２をＮＳ３に上書．
０２５ ＮＳ３をＮＳ４に上書．
０２６ ＮＳ４をＮＳ５に上書．
０２７ 主語成立数カウンタをＮＳ１に上書．
０２８ ＲＥＴＵＲＮ．(Logical combination model of stack update program)
001 START.
002 Initialize the stack if the counter for the number of occurrences of the subject is zero: start the stack initialization program 003 RETURN.
004 If the subject formation number counter is not zero and NS1, 2, 3, 4 are zero, 005 Subject formation number counter is overwritten to NS1.
006 RETURN.
007 If the subject formation number counter is not zero and NS2, 3, 4 are zero, 008 Overwrite NS1 to NS2.
009 Overwrite the counter for the number of occurrences of the subject to NS1.
010 RETURN.
011 If the subject formation number counter is not zero and NS3 and 4 are zero, 012 Overwrite NS1 to NS2.
013 Overwrite NS2 to NS3.
014 Overwrite the counter for the number of occurrences of the subject to NS1.
015 RETURN.
016 If the subject formation number counter is not zero and NS4 is zero, 017 Overwrite NS1 to NS2.
018 Overwrite NS2 to NS3.
019 Overwrite NS3 to NS4.
020 Overwrite the counter for the number of subject formation to NS1.
021 RETURN.
022 If the subject formation number counter is not zero and all NSs are not zero, then 023 Overwrite NS1 to NS2.
024 Overwrite NS2 to NS3.
025 Overwrite NS3 to NS4.
026 Overwrite NS4 with NS5.
027 Overwrite the counter for the number of subject formation to NS1.
028 RETURN.
（スタック初期値化プログラムの論理結合型模型）
本スタック情報を利用する主語ベクトルの第５規約（ＮＳ１＞ＮＳ５）、制御ベクトルＥ４１（ＮＳ１＝ＮＳ５）、Ｅ４２（ＮＳ１＜ＮＳ５）の為に、本プログラムを同期周期の開始点で起動（ＣＡＬＬ）する。次にプログラム模型を示す。
００１ ＳＴＡＲＴ．
００２ ＮＳ５に１をセット．
００３ ＮＳ４をゼロクリア．
００４ ＮＳ３をゼロクリア．
００５ ＮＳ２をゼロクリア．
００６ ＮＳ１をゼロクリア．
００７ 主語成立数カウンタをゼロクリア．
００８ ＲＥＴＵＲＮ．(Logically coupled model of stack initialization program)
Start (CALL) this program at the start point of the synchronization cycle for the fifth rule of the subject vector (NS1>NS5) and the control vectors E41 (NS1=NS5) and E42 (NS1<NS5) that use this stack information. do. A program model is shown below.
001 START.
002 Set 1 to NS5.
003 Clear NS4 to zero.
004 Clear NS3 to zero.
005 Clear NS2 to zero.
006 Clear NS1 to zero.
007 Clear the counter for the number of subject establishments to zero.
008 RETURN.
以上が、プログラム模型の例示である。 The above is an example of the program model.
［参考情報］
以下は、上述した本発明にかかるシナリオ関数の理解の助けとなる情報である。[Reference information]
The following is information that aids in understanding the scenario function according to the present invention described above.
（シナリオ関数について）
シナリオ関数とは、実行時に最大の意味空間を主語系譜として捉えることができる唯一無二の同期型プログラムの定義構造式である。これは即ち、この唯一無二のシナリオ関数の構造式は、いかなる電算機システムの動性アルゴリズムをも捉えることをができることを意味する。実行時このシナリオ関数により創出されるアルゴリズムの全体はプログラムの完全体を成立させるのである。(About scenario functions)
A scenario function is a unique structural definition of a synchronous program that can grasp the maximum semantic space as a subject genealogy at the time of execution. This means that this unique scenario function structure can capture the dynamic algorithm of any computer system. The entirety of the algorithm created by this scenario function at run time constitutes the completeness of the program.
換言すれば、シナリオ関数とは実行時に最大の意味空間（ＳＧ）を自律的に創出する関係式のことである。この関係式はＬＹＥＥ理論が実行事にアルゴリズムの完全体を自律的に発症させる仕組を成立させる世界初の同期型プログラムの原理的仕組である。これによりシナリオ関数の動性アルゴリズムは不完全なプログラムの未解決問題を全て自律的に解法するプログラムの革新的技術をもたらすのである。この夢のような理想プログラムは理学（科学、数学）の分野では克服できない不完全人の思考法（ＣＰＳ）を反映する非同期（不連続）問題を解法する手段となる。同期型プログラムはその証明論である。 In other words, a scenario function is a relational expression that autonomously creates the largest semantic space (SG) at runtime. This relational expression is the principle mechanism of the world's first synchronous program in which the LYEE theory establishes a mechanism that autonomously develops the complete algorithm upon execution. Thus, the dynamic algorithm of the scenario function brings about an innovative technology of the program that autonomously solves all the open problems of the incomplete program. This dream-like ideal program provides a means of solving asynchronous (discontinuous) problems that reflect the imperfect human way of thinking (CPS), which is insurmountable in the field of science (mathematics). Synchronous programs are proof theory.
主語ベクトルの第３規約で自動生成される名詞のツリー構造は、その構成名詞が全て正当でなければ成立しない。このツリー構造の成立原理を用いて、バグ構文問題、ウイルス問題、サイバープログラム問題を自律的に捉え且つ自律的に解法する。 The tree structure of nouns automatically generated according to the third rule of the subject vector cannot be established unless all of its constituent nouns are valid. Bug syntax problems, virus problems, and cyber program problems are autonomously grasped and solved autonomously using this tree structure establishment principle.
バグ構文問題、ウイルス問題、サイバープログラム問題は、非同期型プログラムでは、いかなる方法でも自律的に捉え且つ自律的に解法することは出来ない。これらの問題はシナリオ関数の動性アルゴリズムでなければ捉えることができない。且つ、その悪行の対応はシナリオ関数の動性アルゴリズムでなければ果たすことができない。 Bug syntax problems, virus problems, and cyber program problems cannot be autonomously grasped or solved autonomously in any way in asynchronous programs. These problems can only be captured by scenario function dynamic algorithms. Moreover, the countermeasures against the bad behavior can only be achieved by the dynamic algorithm of the scenario function.
（ＬＹＥＥ空間ＴＢＬとシナリオ関数）
ＬＹＥＥ空間ＴＢＬとは、ひとがベクトルの同期関係を捉えるために用いる同期表のことである。(LYEE space TBL and scenario function)
A LYEE space TBL is a synchronization table that one uses to capture the synchronization relationships of vectors.
ＬＹＥＥ空間ＴＢＬは、（１）非同期型システムに属す全名詞を捉える能力を持ち、（２）且つ１２種のベクトルの理論的知見（ベクトルの意味解析図）を会得していれば作成することが出来る。 A LYEE space TBL must be created if (1) it has the ability to capture all nouns belonging to an asynchronous system, and (2) it has theoretical knowledge of 12 types of vectors (semantic analysis diagrams of vectors). can be done.
因みに、本発明の発明者の指導を受けながらシステム開発に参画した約１５０名の新人クラスで行われた２０年前の名詞数１８００００個のシステム開発では、このベクトルの決定作業は１日独りあたり概算２０個の同期化が行われている。当時この開発法はまだＬＹＥＥ理論と呼ばせていた。シナリオ関数のレベルには至ってはいないが、２０か月といわれていた開発期間が約１０か月で終わり納品された。このシステムは当時の国策として日本の大企業では４０８Ｋと呼ばれて開発されていたシステムである。 Incidentally, in the system development of 180,000 nouns 20 years ago in a class of about 150 newcomers who participated in the system development under the guidance of the inventor of the present invention, this vector determination work was done by one person per day. An estimated 20 synchronizations have been performed. At that time, this development method was still called the LYEE theory. Although it has not reached the level of the scenario function, the development period, which was said to be 20 months, was completed in about 10 months and delivered. This system was developed under the name of 408K in large Japanese companies as a national policy at the time.
ＬＹＥＥ空間ＴＢＬ（同期表）を求め、且つこの同期表からシナリオ関数を自動編集する専用プログラムを求めれば、求められたシナリオ関数が実行時創出するアルゴリズムの全体はそのシナリオ関数に完全性を自律的に成立させる。 If a LYEE space TBL (synchronization table) is obtained and a dedicated program that automatically edits the scenario function from this synchronization table is obtained, the entire algorithm created by the obtained scenario function at run time will autonomously ensure the completeness of the scenario function. to be established.
（ベクトルの定義規則について）
図２に示したベクトルに含まれる７つの規約の処理について、主語ベクトルＬ４＿Ａに関し、以下に補足的に説明する。(Regarding the rules for defining vectors)
Processing of the seven conventions included in the vector shown in FIG. 2 will be supplementarily described below with respect to the subject vector L4_A.
なお、出口１、出口２に至るベクトルはリセット後でなければ再帰されることはない。 Note that the vectors leading to exit 1 and exit 2 are not recursed until after resetting.
＜第１規約＞
Ｌ４＿Ａの第４保存領域が空でなく、且つ、Ｌ４＿Ａの第４保存領域の値と、Ｌ４＿Ａの第４コピー領域の値が一致し、且つ、第２フラグがオンならば、Ｌ４＿Ａは正統と判定し、出口１へ（出口２→出口１）。
第４保存領域が空、且つ、第７フラグがオンならば、出口１へ（出口４→出口１）。
正統でなければ、ベクトルの内容をリセットする（ウイルスのリセット処理）。<First Agreement>
If the fourth storage area of L4_A is not empty, the value of the fourth storage area of L4_A matches the value of the fourth copy area of L4_A, and the second flag is ON, L4_A is determined to be legitimate. and go to Exit 1 (Exit 2 → Exit 1).
If the fourth storage area is empty and the seventh flag is on, go to Exit 1 (Exit 4→Exit 1).
If not legitimate, reset the contents of the vector (virus reset process).
＜第２規約＞
プログラム元素（＝命令文、例えばＡ＝Ｂ＋Ｃ）を定義し、第２フラグをオンにし、第３規約へ進む。<Second Agreement>
Define a program element (=statement, eg A=B+C), turn on the second flag, and proceed to the third convention.
＜第３規約＞
プログラム元素の変数元素の成否判定がＯＫ（例えば、Ｌ３＿Ａが成立、且つ、Ｌ４＿Ｂ，Ｌ４＿Ｃが成立）ならば第４規約へ、そうでなければ第５規約へ進む。<Term 3>
If the success/failure judgment of the variable element of the program element is OK (for example, L3_A is established and L4_B and L4_C are established), the process proceeds to the fourth rule, otherwise to the fifth rule.
＜第４規約＞
Ａの値を第４保存領域に保存し、Ａの値を第４コピー領域に保存し、出口２へ。<4th Agreement>
Store the value of A in the fourth storage area, store the value of A in the fourth copy area, and go to Exit 2.
＜第５規約＞
パレット変位が必要（例えば、Ｌ３＿Ａが不成立）ならば第７規約へ進み、パレット変位が不要（Ｌ４＿Ｂ又はＬ４＿Ｃが不成立）ならば第６規約へ進む。
なお、第５規約は、スタック（＝主語成立数）による未来予測法である。<Term 5>
If pallet displacement is required (for example, L3_A is not satisfied), proceed to the 7th rule, and if pallet displacement is not required (L4_B or L4_C is not satisfied), proceed to the 6th rule.
Note that the fifth convention is a future prediction method based on the stack (=the number of subject formations).
＜第６規約＞
継続処理の手続（再起）を行い、第６フラグをオンにし、出口３へ。<6th Agreement>
Proceed for continuation processing (restart), turn on the sixth flag, and proceed to exit 3.
＜第７規約＞
パレット変位の手続を行い（この主語ベクトルの処理は終了し）、第７フラグをオンにし、出口４へ。<Term 7>
Perform pallet displacement procedure (finish processing of this subject vector), turn on the seventh flag, and go to exit 4.
（同期関数について）
同期関数は、シナリオ関数に内在する阻害要因を、シナリオ関数がその仕組みで自律的に捉え、且つ、それを自律的に排除することを可能にする構造である。(About synchronous functions)
The synchronous function is a structure that enables the scenario function to autonomously capture impediments inherent in the scenario function and to eliminate them autonomously.
同期関数においては、シナリオ関数の調和関係が乱れているか否かの判定によって、シナリオ関数に内在する阻害要因が捉えられる。シナリオ関数の調和関係が乱れていれば、そのベクトルが自律的に自分の第１規約で捉えた阻害要因を初期化することで、無力化する。 In the synchronous function, by determining whether or not the harmonic relationship of the scenario function is disturbed, impediments inherent in the scenario function can be grasped. If the harmonious relationship of the scenario function is disturbed, the vector autonomously initializes the impediment factor captured by its own first convention, thereby neutralizing it.
シナリオ関数が実行時に発祥させる全てのアルゴリズムはシナリオ関数に属す全ベクトルが構造的に調和する関係に於いてもたらされる。これは従来型プログラムがもたらす様なアルゴリズムとは根本的に異なる。故に、シナリオ関数に本願でいう阻害要因（即ち、バグ構文、ウイルス、サイバー問題）が内在すれば、そのことに於いて、実行時のシナリオ関数に属す全ベクトルの調和関係の仕組が乱れる。全ベクトルは処理サイクルとして作動し、それを繰り返すので、調和関係の乱れは、シナリオ関数が悪行を働くアルゴリズムに晒される以前にベクトルにより捉えられ、これを捉えたベクトルによりその阻害要因は次々とリセットされる。 All algorithms that a scenario function spawns at runtime are brought about in a structurally harmonious relation of all vectors belonging to the scenario function. This is fundamentally different from the algorithms that conventional programs provide. Therefore, if the scenario function contains an impediment factor (ie, bug syntax, virus, cyber problem) in the present application, the harmony mechanism of all vectors belonging to the scenario function at runtime is disturbed. Since all vectors operate and repeat as a processing cycle, harmonic disturbances are captured by the vector before the scenario function is exposed to the rogue algorithm, and the vector that captures this resets its inhibitors one after another. be done.
従来型プログラムが阻害要因を自分に取り込み、それを自分で無力化させることは原理的に不可能である。理由は、両方とも共に非同期型プログラムだからである。同様に、ＯＳで阻害要因問題を解決することはできない。 In principle, it is impossible for a conventional program to take in obstacles and neutralize them by itself. The reason is that both are asynchronous programs. Likewise, the OS cannot solve the blocker problem.
一方、本願の同期型世界では、阻害要因は同期型プログラムに属す全ベクトルのどれかが非調和となる関係をその必然的構造で捉え、且つそのベクトルが自律的にそれをリセットするのである。 On the other hand, in the synchronous world of the present application, the impediment factor captures in its inevitable structure the relationship in which any of all the vectors belonging to the synchronous program become anharmonic, and the vector resets it autonomously.
（シナリオ関数の同期作用）
シナリオ関数に属す全てのベクトルは実行時のシナリオ関数に同期化をもたらす超厳密に調和化された元素になっている。(Synchronous action of scenario function)
All vectors belonging to the scenario function are super-strictly harmonized elements that provide synchronization to the run-time scenario function.
実行中のシナリオ関数に調和的な気配を感じるとすれば、それはシナリオ関数が、例えば、バグ構文、ウイルス、サイバー問題を排除している時である。 If there is a hint of harmony in a running scenario function, it is when the scenario function eliminates bug syntax, viruses, cyber problems, for example.
例えば、シナリオ関数の同期サイクルが開始された後、ウィルスが侵入できたとする。その場合、第６規約又は第７規約を経た後、第１規約において、ウィルスは全ベクトルの効果により、実行に至ることなくリセットされる。すなわち、ウィルスは、全ベクトルの調和効果で第４規約を経て出口２に進めず、実行に至ることなく、結果的に第１規約でリセットされる。 For example, suppose a virus was able to invade after the synchronization cycle of the scenario function was started. In that case, after going through the 6th or 7th protocol, in the 1st protocol the virus is reset without reaching execution due to the effect of all vectors. That is, the virus does not proceed to exit 2 via the fourth contract with the harmonizing effect of all vectors, does not reach execution, and is consequently reset at the first contract.
なお、シナリオ関数の処理サイクル数は、３種のパレット上で全ベクトルが自由勝手に山積みされることにおいて、実行時には同期関数を３種の座標関数により決定される。 Note that the number of processing cycles of the scenario function is determined by the synchronous function and the three coordinate functions at the time of execution when all vectors are freely piled up on the three types of palettes.
Claims (1)
プログラムに従った処理の実行時に、シナリオ関数により前記プログラムを統治させる統治プログラムであって、
前記プログラムの命令文の各々に関し生成される主語ベクトルの各々において、
第１規約において、当該主語ベクトルの正統性を判断させ、
第２規約において、左辺が仮成立データである前記命令文をセットさせるとともに第２規約のフラグである第２フラグをオンにさせ、
第３規約において、第２規約の左辺に関与する右辺の全てのデータが正統であるかを判定させ、
第４規約において、第３規約における判定において全てのデータが正統であると判定された場合に限り、第２規約の左辺のデータを第４規約の正保存領域である第４保存領域と第４規約の副保存領域である第４コピー領域の各々に保存させ、
第５規約において、第３規約における判定において少なくとも１つのデータが正統でないと判定された場合、パレット４上の主語ベクトルのうち第４保存領域にデータが保存されている主語ベクトルの総数である主語成立数に基づき、当該主語ベクトルの再起及び停止のいずれかを選択させ、
第６規約において、第５規約において再起が選択された場合、当該主語ベクトルの再起を指示させ、第６規約のフラグである第６フラグをオンにさせ、
第７規約において、第５規約において停止が選択された場合、当該主語ベクトルの停止を指示させ、第７規約のフラグである第７フラグをオンにさせ、
第１規約において、
第２フラグがオンであり、且つ、当該主語ベクトルの第４保存領域と第４コピー領域に保存されているデータが一致する場合、当該主語ベクトルが正統であると判定した後に処理を終了させ、
第７フラグがオンの場合、当該主語ベクトルの第４保存領域と第４コピー領域を初期化した後に処理を終了させ、
第６フラグがオンの場合、当該主語ベクトルの第４保存領域、第４コピー領域、第２フラグ、及び、第６フラグを初期化した後に処理を第２規約に進ませ、
第２フラグがオンであり、且つ、当該主語ベクトルの第４保存領域と第４コピー領域に保存されているデータが一致しない場合、主語成立数から１を減算させ、当該主語ベクトルの第４保存領域、第４コピー領域、及び、第２フラグを初期化した後に処理を第２規約に進ませる
ための統治プログラムto the computer,
A governing program that governs the program by a scenario function during execution of processing according to the program,
In each subject vector generated for each statement of the program,
In the first convention, determine the legitimacy of the subject vector,
In the second convention, causing the statement in which the left side is tentative establishment data to be set and turning on the second flag, which is the flag of the second convention,
In the third convention, determine whether all the data on the right side involved in the left side of the second convention are legitimate,
In the 4th rule, only when all the data is judged to be legitimate in the judgment in the 3rd rule, the data on the left side of the 2nd rule is transferred to the 4th storage area, which is the normal storage area of the 4th rule, and the 4th Store in each of the fourth copy areas, which are sub-storage areas of the rules,
In the fifth rule, if at least one data is determined to be unorthodox in the judgment in the third rule, the total number of subject vectors on the palette 4 whose data is stored in the fourth storage area. Based on the number of establishments, select either recurrence or termination of the subject vector,
In the sixth convention, if recurrence is selected in the fifth convention, instruct the recursion of the subject vector and turn on the sixth flag, which is the flag of the sixth convention,
In the 7th rule, if stop is selected in the 5th rule, cause the subject vector to stop and turn on the 7th flag, which is the flag of the 7th rule,
In the First Agreement:
if the second flag is on and the data stored in the fourth storage area and the fourth copy area of the subject vector match, the process is terminated after determining that the subject vector is legitimate;
if the seventh flag is on, terminate the process after initializing the fourth save area and the fourth copy area of the subject vector;
if the sixth flag is on, after initializing the fourth storage area, the fourth copy area, the second flag, and the sixth flag of the subject vector, advance the process to the second convention;
When the second flag is on and the data stored in the fourth storage area and the fourth copy area of the subject vector do not match, 1 is subtracted from the number of occurrences of the subject, and the subject vector is stored in the fourth storage. A governing program for proceeding to the second protocol after initializing the area, the fourth copy area, and the second flag.
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| PCT/JP2022/023618 WO2023242901A1 (en) | 2022-06-13 | 2022-06-13 | Program development method capable of enabling virus infected-program to exclude virus data from program itself |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JP7174468B1 true JP7174468B1 (en) | 2022-11-17 |
Family
ID=84100525
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP2022560378A Active JP7174468B1 (en) | 2022-06-13 | 2022-06-13 | A program development method that allows a virus-infiltrated program to eliminate virus data by itself |
Country Status (2)
| Country | Link |
|---|---|
| JP (1) | JP7174468B1 (en) |
| WO (1) | WO2023242901A1 (en) |
Citations (5)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US20020174349A1 (en) * | 2001-05-15 | 2002-11-21 | Wolff Daniel Joseph | Detecting malicious alteration of stored computer files |
| JP2003108253A (en) * | 2001-09-28 | 2003-04-11 | Hitachi Software Eng Co Ltd | Method and program for monitoring application |
| JP2013164732A (en) * | 2012-02-10 | 2013-08-22 | Isis Asset Co Ltd | Information processor |
| JP2014501002A (en) * | 2010-11-01 | 2014-01-16 | エイチビーゲーリー インコーポレイテッド | Inoculators and antibodies for computer security |
| WO2016021220A1 (en) * | 2014-08-04 | 2016-02-11 | 根来 文生 | Definition structure of program for autonomously disabling invading virus, program equipped with structure, recording medium installed with program, and method/device for autonomously solving virus problem |
-
2022
- 2022-06-13 JP JP2022560378A patent/JP7174468B1/en active Active
- 2022-06-13 WO PCT/JP2022/023618 patent/WO2023242901A1/en unknown
Patent Citations (5)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US20020174349A1 (en) * | 2001-05-15 | 2002-11-21 | Wolff Daniel Joseph | Detecting malicious alteration of stored computer files |
| JP2003108253A (en) * | 2001-09-28 | 2003-04-11 | Hitachi Software Eng Co Ltd | Method and program for monitoring application |
| JP2014501002A (en) * | 2010-11-01 | 2014-01-16 | エイチビーゲーリー インコーポレイテッド | Inoculators and antibodies for computer security |
| JP2013164732A (en) * | 2012-02-10 | 2013-08-22 | Isis Asset Co Ltd | Information processor |
| WO2016021220A1 (en) * | 2014-08-04 | 2016-02-11 | 根来 文生 | Definition structure of program for autonomously disabling invading virus, program equipped with structure, recording medium installed with program, and method/device for autonomously solving virus problem |
Non-Patent Citations (2)
| Title |
|---|
| 根来 文生, 世界初！コンピュータウイルスを無力化するプログラム革命 （ＬＹＥＥ）, JPN6022033814, 3 November 2014 (2014-11-03), JP, pages 73 - 77, ISSN: 0004905465 * |
| 根来 文生，世界初！コンピュータウイルスを無力化するプログラム革命 （ＬＹＥＥ），日本，株式会社日本地域社会研究所，2014年11月03日，pp.73-77 |
Also Published As
| Publication number | Publication date |
|---|---|
| WO2023242901A1 (en) | 2023-12-21 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Lohstroh et al. | Toward a lingua franca for deterministic concurrent systems | |
| Naden et al. | A type system for borrowing permissions | |
| Sampaio | An algebraic approach to compiler design | |
| Ley-Wild et al. | Subjective auxiliary state for coarse-grained concurrency | |
| Dyvbig et al. | A monadic framework for delimited continuations | |
| Danvy | A rational deconstruction of Landin’s SECD machine | |
| US20100037212A1 (en) | Immutable parsing | |
| US9170787B2 (en) | Componentization of compiler functionality | |
| Fredette et al. | RTSL: a language for real-time schedulability analysis | |
| Maier et al. | Implementing a high-level distributed-memory parallel Haskell in Haskell | |
| Andronick et al. | Proof of OS scheduling behavior in the presence of interrupt-induced concurrency | |
| Laddad et al. | Katara: Synthesizing CRDTs with verified lifting | |
| JP7174468B1 (en) | A program development method that allows a virus-infiltrated program to eliminate virus data by itself | |
| Chin et al. | Parallelization via context preservation | |
| Kristensen et al. | Model-based development of a course of action scheduling tool | |
| Botincan et al. | Resource-sensitive synchronization inference by abduction | |
| Jezequel et al. | Factored planning: From automata to Petri nets | |
| Geeraerts et al. | Queue-dispatch asynchronous systems | |
| Guo et al. | A generic approach for the certified schedulability analysis of software systems | |
| Cai et al. | The λ-calculus in the π-calculus | |
| Butterfield et al. | prialt in Handel-C: an operational semantics | |
| Downen et al. | Continuations, processes, and sharing | |
| Wang | Software failure avoidance using discrete control theory | |
| Din | Verification Of Asynchronously Communicating Objects | |
| Dekker et al. | Generating a google go framework from an uppaal model |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20221003 |
|
| A871 | Explanation of circumstances concerning accelerated examination |
Free format text: JAPANESE INTERMEDIATE CODE: A871 Effective date: 20221003 |
|
| TRDD | Decision of grant or rejection written | ||
| A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20221025 |
|
| A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20221028 |
|
| R150 | Certificate of patent or registration of utility model |
Ref document number: 7174468 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
| S111 | Request for change of ownership or part of ownership |
Free format text: JAPANESE INTERMEDIATE CODE: R313113 |
|
| R350 | Written notification of registration of transfer |
Free format text: JAPANESE INTERMEDIATE CODE: R350 |