あーでもテストケース生成に使えるか

アドレス帳への追加・削除・検索がただしくうごくことを証明するためだけにこんなに書かないといけないのか

さっきのAlloyのモデルの意味はわかってきたが、これは人類には難しい気がするな

Alloyすごい。何もわからん。

オオカミとクマが鉢合わせて戦わないかなー

しかしdockerコンテナを用意した時点で再現性は確保されてるということか？よく分からんな。まあ使ってみよう

オーバーヘッドより単純明快さが良い。

やはりdockerで作ったubuntuコンテナにnix入れて使おう。

WSLに直でnixを入れたりはしたくないなー

よく分からんがnixはWindowsで動かせないみたいだし、WSLの環境をあんまり汚したくないしでdockerで毎回環境作ってその上でnixで何度でも作れる何かを作ればええかなと