>>246
>形式手法とはシステム記述に形式主義を導入して
>形式主義的な検証や開発をおこなうこと
>を指すと思うのだが...
ちょっと違う。「主義」をはずせばよい。

>>248
>そういう話なのか？
>hoge = 2.0 * pi * r
>という形式的定義があった時に
>円周率や半径の類推から
>piやrの形式的定義を辿らずに
>hogeを円周の長さだと思い込んではいけない
>という話なんじゃないのか？
いや、そもそもhogeやrを円周や半径と思ってはいけないと言ってるんだろ？
それに、いくら形式的定義を辿ってもhogeが円周だとはわからないよ

>>249
>形式主義を真っ向から否定しているようだが？
形式主義を否定してるんじゃなくて、形式手法＝形式主義ではないと言ってる

>>250
>仕様を書く人は誤解を生まないように気を付けた方が良いし
>仕様を読む人は思い込みをしないように気を付けた方が良い
随分ぬるいがｗまあそういうことだ。記号病達にはこれも伝わらないのじゃないかな