>>496

みずぽの件を見てもそう思う。

自分の書いてるプログラムが原因不明のエラーを出す時なんか、デバッガ使う
よりも証明(というよりは反例探しだが)したくなるが、そもそもソケット通信
+マルチスレッドのプログラムをどう検証すればいいのかさっぱりわからん...
どんな計算系使えばいいの? どんな論理学使えばいいの?