「モデルが在る」ことは、フィクションあるいはファンタジーだと言えるだろう。誰も存在を保証できない。実際にモデルを作るには、構文領域をいじくる以外に方法がない。つまり、「構文に先立ってモデルの世界が在る」ということは全然言えなくて、「構文領…

忘れてしまう件、メモに動機や例を書いておかないのがいけないのだと思った。そのときは、具体的な事例で考えているので自明に見えることでも、その例がなくなるとサッパリわからなくなる。リストとスタックの関係で具体例。Lispのリストのようなものを考え…