「仕様」と「公理系」と「セオリー」を同義語で使っている人はけっこう多いな。イデアルとの対応からは次のような用語法がいいような気がする。
| イデアルの概念 | セオリーの概念 |
|---|---|
| イデアル | セオリー |
| （イデアルの）生成系 | （セオリーの）公理系 |
| 極大イデアル | 極大（無矛盾）セオリー |
| イデアル{0} | トートロジーセオリー |
セオリー論を仕様技術に適用すると、公理系が仕様の制約記述で、モデルが抽象実装、充当関係（satisfaction）がテスト／照合という対応だろう。
このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。