形式手法とは関係ないかもしれませんが、事前条件、事後条件、不変条件を 記述できる言語、Eiffelの記事が載ってました。 http://software.nikkeibp.co.jp/software/backno/2007/0701indexc.html 特集１：フリー言語で真のプログラミングを学ぶ Part4 Eiffel…

あなどれないですねぇ〜。 吐き気、腹痛などの症状はなおりましたが、消化器系の最終工程の生成物がまだ正常時の状態とは違います。もう少しメンテナンスモードのまま運用を続けます。 お食事中の人、ゴメンｍ（＿ ＿）ｍ