Q @masterq@pawoo.net

一方MIは(まだ)ハードウェアから離れているから、仕様記述する価値があるかもしれない。。。

そうなんだよな。。。デバドラの構成はハードウェアのレジスタ構成が決まった時点で決定されてしまっている。つまりMDの仕様を記述する価値はありまりない。。。

とりあえずスケープゴートしないようにせねば、、、

なるほど、、、さすがMSとしか、、、

まぁ、、、具体例がモデル記述に染み出さないという点だけは評価できるのか。。。 #TLA+

SPINはありえないということはわかった。一方でTLA+さん結局具体的なモデルの内容がないと検査できないんですね。。。

今日は #段階的詳細化は銀の弾丸ではない と知ってよかったです

自分のイベント運営力に自信がつきました

Caduceusはいらない子だった。。。

OCamlのビルドは速いですね。。。 #z3とfstarを除いて...

rm -rf .opam

すごいキラキラしたWeb界隈な話題が聞こえてきます。。。

90%自動証明! すごい! #Bメソッド

Bメソッドの実装例 #Ada ばっかりなんですか。こわい

lxc3なるものがインストールされた。。。

HOL-Zとかあるんですか。。。

"いろいろなところの集計によって、開発上流工程に原因のある不具合混入が多いことがわかっている" #要出典

#未来は分岐 し #過去も分岐 しうる。というポエムをブログに書こうと思ったけれど、めんどうなのでやめました。

二大政党制羨ましい、、、

計画経済はやばい