久野です。

kono@ie.u-ryukyu.ac.jpさん:
> こういうのも、
>       このstatementを抜けたら「ほげほげの条件が満たされている」
> っていう論理的な考えが出来ていれば、当り前のことなんだけどなぁ。

  確認ですけど、それは「論理的な考え」であっって論理学というより
プログラミング上の考え方ですよね。

             条件を厳密に求めだすとまた別だけど。           久野