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

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

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

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

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

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

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

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

OCamlのビルドは速いですね。。。 ...

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

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

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

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

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

しうる。というポエムをブログに書こうと思ったけれど、めんどうなのでやめました。

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

計画経済はやばい