を作ってみた。ただし、以下のソースしか動かない。（＾＾； /* はじめてのVDM */ class HelloVDM operations public hello: () ==> seq of int hello() == return "Hello VDM++"; end HelloVDM 完成にはほど遠いし、完成させる気もなかったりする・・・。（…

がっくり。０−０。orz FWはなんとかならんのか？あれだけチャンスがありながら・・・。 ジーコが蹴った方がいいんじゃないか？？？ ブラジル戦に出てくれ！：−）