なんかAlloyでいろいろできそうな気がしてきたので、参照カウント式GCでメモリリークがあることを検証してみます。 とりあえず、こんな感じでモデルを作ります。今回は、参照のカウントはとらずに、参照があるかないかで判断することにします。 module exec/…