>>84
いや、もふこのスレは形式仕様記述なんてものは対象に入ってないでしょ（ｗ。
プログラム仕様の形式記述というところを理解するだけで精一杯というか。