kencoba https://blog.hatena.ne.jp/kencoba/ kencobaの日記 https://kencoba.hatenadiary.org/ Alloy 私も最初、訳がわからなかった。 UMLにはこれの直接表現がないし。 /* * Example : extends vs in * *author: Kenichi Kobayashi */ abstract sig Human {} sig Man,Woman extends Human {} abstract sig Employee {} sig Sales,Engineer in Employee{} /* これはそもそもできない。extendsの場合、ManかつWomanはない pred Bisexual { some m:Man | m in Woman } run Bisexual… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkencoba.hatenadiary.org%2Fentry%2F20100416%2F1271387391" title="extendsとinの違い - kencobaの日記" 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 2010-04-16 12:09:51 rich https://kencoba.hatenadiary.org/entry/20100416/1271387391 1.0 100%