やはり大間違いだったので全文削除。相変わらず「証明の字面はわかるが本質がわからない」という状態に逆戻りしました。

Ｓ君に「なんでＳ井さんはあんな面白くないことばかりブログに書くんですか。僕は下らないことしか書かないことにしています。」と言われましたが、私のブログも下らないと思います。:-)

「日経コンピュータ」を斜め読みしていたら、某不具合裁判でＴ井先生が証人になっていました（正確には意見書を提出）。別の人（研究者ではなく実務家）の意見書には「テストでは不具合は防げない」とあったとのこと。静的検証や形式的手法の研究者は（下っ…

4月上旬からずっと一つの特定の問題で悩んでいました（ある研究で必要な補題が証明できず、反例も構成できない）。手も足も出ない問題ならば簡単に諦めて終わるのですが、「いかにも成り立ちそうだが示せない」「ある証明方法が行き詰っても、すぐに別の証明…