カテナの開発手法Lyee その3

LYEEシナリオ関数の構成要素である「論理要素」とは
唯一つの単語の存在が命題的に真であるか偽であるかを
説明する命題関数に相当する。
例えば、単語を「LYEE」とすると、その命題関数の述語を
COBOLで記述し翻訳すれば次のとおりとなる。

IF LYEE-EQ OF W03 = “LYEE”
＜LYEEが既に発明されており＞
AND LYEE OF W04 = LOW-VALUE
＜かつ、未だLYEEが真でなかったならば＞
COMPUTE LYEE OF WORK4 =
発明者 OF W04
* 実施者 OF W04
＜発明者と実施者が一致協力して真に持っていくことを試みる＞
　 IF LYEE OF WORK4 NOT = LOW-VALUE
＜真に持っていく試みは成功したか＞
　MOVE LYEE OF WORK4 TO LYEE OF W04
＜試みか成功したならば、LYEEは真となる＞
　ELSE
＜真に持っていく試みが不成功であって＞
　 IF STATUS-CHAGE-FLG OF W04 = LOW-VALUE
＜発明者と実施者のどちらかが存在していないならば＞
　　　 MOVE “1”TO LYEE-SUNSET OF W04
＜発明者と実施者のどちらかの到来を待つ＞
　　 ELSE
＜発明者と実施者のどちらかが真でないならば＞
　　　 MOVE “1”TO LYEE-SUNRISE OF W04
＜発明者と実施者の双方が真になるまで待つ＞
　　 END-IF
END-IF
＜LYEEは既に真である＞
END-IF.

結論；
発明者として根来文生が存在し、
実施者として小宮善継が存在しており
二人とも一致協力して真に持っていくことを揺るぎ無く取り組んでいる
のであるから、LYEEの存在とその成功は既に真である。