Notices by Q (masterq@pawoo.net), page 54

明日さぼってProB充したいです、、、

いくしむさんが良いこと言いすぎていて一日に一度は動画を観てしまう。。。

ProBのチュートリアルのどこかでコンソールを出しておいて、検査が終わらない時に中断する話が書かれてた気がするんですが見つからない。。。

とにかく #なんらかの不均衡 を発見してそれを #半機械的に均衡 させる方法を見つければ良いのだった。。。

いやぁ、、、 #めくるめく静の世界 ですね。。。

なぜ僕は禁止されているのに寝る前に #グルメ動画 を観てしまうんだろう。。。

有識者の貴重なコメントの結果、 #gopro 買わずに済みそう。経費半額カット

Alloy本、BだけじゃなくてProBについても比較記事を書いて欲しかった。。。

これ、、、でもなんか例が全部整数のインスタンスしかとれないように見えるんですが、、、そういう限定された検査ツールなんでしょうか。。。 #Bメソッド

実際これどうやって融合しているんだろうか。。。 #アニメータと検査 #ProB

アニメータと検査の合わせ技が大事ということがわかった #ProB

#ProB 楽しい。なぜもっと早く手をつけなかったのか。。。

で、網羅するにはどうすれば。。。

あー。Bメソッドのアニメータを理解した。。。

まさかの #Prolog 実装だった。。。 / "The ProB Animator and Model Checker - ProB Documentation" https://www3.hhu.de/stups/prob/index.php/Main_Page

まぁちょっとだけATS2コンパイラの概要をかいまみた

蛙

大事なことは先に言ってくれよ。。。Hongwei。。。4年間ぐらい悩んじゃったじゃないか。。。 / "How to inject ATS's DWARF debug info" https://gist.github.com/master-q/b8167531a5a0679b9a830ed12a75619f

やめ。自分で頑張る暇があったら情報共有した方が良い

つまらないメモです。。。 / "#Vala はどうやって #DWARF を吐くのか" https://gist.github.com/master-q/f17359f8dad7e036a0c658ca00fec399