2005-12-12 ご発注2 やっぱり(?)システムのバグもあったそうで。内容がよくわからないので、検証できたかどうか(笑)わかりませんが。とか後からいってると、かえって(ますます?)形式的手法のイメージが悪くなりそうだが。