＞「プログラミング言語のモデル論」と書いたんだよ。「プログラミング言語のモデル」とは書いていない。
＞「モデル論」と言っている以上、数理論理学的に規定された「モデル論」を指すのであって
＞非常に漠然とした意味での「モデル」ではない。
「モデル」とその派生語である「モデル論」は別だという理屈のようだが、
「モデル論」と「モデル論的」は別と言ってるのと何も変わらん。
用語の派生関係をぶった切って自己正当化するような粗雑な人間とは議論にならないね。