Verification Engineerの戯言 Veraは日本人(Atsushi Kasuya氏)が開発した言語であることはあまり知られていませんが、 Googleに聞いてみると下記のURLの内容でその事実がわかります。 http://techon.nikkeibp.co.jp/article/NEWS/20060418/116315/ http://ww…