「いざない」 の 「はしがき」 のなかでも綴りましたが、単なる画法 （diagramming） が 「モデル」 と云われていることに対して私は強い不満を抱いています。「モデル」 とは 「模型、実例」 のことです。「模型、実例」 と云っても、我々 システム・エンジニア の仕事は 「事業を プログラミング する」 ことですから、その 「模型、実例」 は形式的 [ 論理的 ] 構造でなければならない──つまり、現実的事態 （事業構造） を論理的に写像したものでなければならない。そして、写像は関数です。したがって、モノ （項） とモノ （項） とのあいだに成立する 「関係」 を 「関数」 として扱う文法が用意されていなければならない。私は、数学基礎論を学習して、その関数 （「関係」 文法） を構文論として無矛盾になるように モデル TM を整えてきました。そして、私は、実地の モデル 作成において、構文論を 益々 重視するようになっています。 □