ひらめいた！ 前回の２つのサンプルに続き、動作はできるけれど事後条件に合わないサンプルを提示するのです。 -- はじめてのVDM(まちがった陽仕様版) class はじめてのVDM operations public hello: () ==> seq of char hello() == return "こんにちわ, VDM…