x76789 https://blog.hatena.ne.jp/x76789/ x76789の研究メモ https://x76789.hatenadiary.org/ CS Set-theoretic specifications, which are also knows as "model-based specifications" or "model-oriented specifications" , model systems using sets which are either considered to be primitives sets or constructed by means of combinations of primitive subsets using set-theoretic operations. Specific lan… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fx76789.hatenadiary.org%2Fentry%2F20090921%2F1253540847" title="Summary of Set-theoretic Specifications (tentative) - x76789の研究メモ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2009-09-21 22:47:27 rich https://x76789.hatenadiary.org/entry/20090921/1253540847 1.0 100%