さらにチラチラ： （本じゃなくてAlloyが）全体に、オブジェクト指向言語、特にJavaと類似の構文にしようとしている印象。abstractとかextendsとか。それが良いか悪いかはともかく、やるんなら、sigじゃなくてinterfaceにすればよかったのでは。 sig（interf…

Alloy本を献本でいただいた。けど、「はじめに」しか読んでない。昨日、他もチラチラ眺めたが、チラチラではどうも分からないな。疑問を感じたところをメモしておこう。ちゃんと読めばたぶん分かるだろうから、後で読むときに「気をつける」ポイントだな。 …