Alloy4.2に苦しめられる計算工の市民たち

ゆずちゃん @ken5a

申し上げにくいがAlloy4.2 MacはNatural周りにバグ有る。Alloy4.1 Windowsでやったら上手くいった #alloy

uchan @uchan_nos

@ken5a Alloy 4.2 Windowsはどうでした？

ゆずちゃん @ken5a

@uchan_nos Alloy 4.2 for Windows also has bugs

運転免許失効Guy @draftcode

同期が踏んでいるというNaturalのバグとはなんなんだろうか

ゆずちゃん @ken5a

@draftcode FeeでNatural使ってるんだけど、参加前のプレーヤーの持ち金1、トーナメント参加費が1だとして参加後に2になったりする

運転免許失効Guy @draftcode

@ken5a 適当にコード抜粋して見れます？

ゆずちゃん @ken5a

@draftcode https://t.co/IU6JOTs7

運転免許失効Guy @draftcode

@ken5a なんかNaturalの定義的にaddの結果は=じゃなくてinを使わないといけないっぽくて、さらにインスタンス数の上限に来ると動きが怪しくなるっぽいですね。 check { One in add[One, One] } for 2 が通るので。

uchan @uchan_nos

Alloy Naturalはaddの結果にinつかうのかー！！

uchan @uchan_nos

と思って=をinにしてみたけども上手くいかないお

ゆずちゃん @ken5a

@draftcode つまりAlloy4.2のあの症状はバグではなくて定義が厳密になったってことか

いで@いで庵 @ide_an

integerの安定感

uchan @uchan_nos

@draftcode forの後を2,3,4,5にしても反例なしってなる

運転免許失効Guy @draftcode

@uchan_nos えーまじで〜

uchan @uchan_nos

@draftcode ちなみにAlloy 4.1でやるとちゃんと反例が見つかる

運転免許失効Guy @draftcode

ふぇぇ〜 http://t.co/4abIP4pk

拡大

uchan @uchan_nos

@draftcode これはｗｗ

ゆずちゃん @ken5a

国家プロジェクトだ！！┗(^o^;)┓Alloyの出番かな？？？？ｗｗｗ┏(;^o^)┛？？ｗｗｗ こ…これ…これは…………Naturalはオワコンだあああああ┗(^o^)┛ｗｗｗｗｗ┏(^o^)┓ﾄﾞｺﾄﾞｺﾄﾞｺﾄﾞｺｗｗｗｗｗ http://t.co/8CIhMhmJ

uchan @uchan_nos

Alloy4.1 http://t.co/H3qrdzah Alloy4.2 http://t.co/Udy3n66F ふえぇぇ…

拡大

uchan @uchan_nos

Alloy4.2ってググってもバグ報告とか見つからないし、今僕らが使っててバグ見つけてるのってまさか最先端分野

uchan @uchan_nos

ぼかあAlloy4.1で頑張る

ゆずちゃん @ken5a

@uchan_nos NaturalをIntegerに変えてfee>0つけたほうが幸せかも

uchan @uchan_nos

@ken5a そうしようかな

運転免許失効Guy @draftcode

これは諦めるレベル http://t.co/qiLjBkNb

拡大

uchan @uchan_nos

@draftcode それ4.2の結果？