2005年09月27日 ジョルダン:曲線定理、世界初の完全証明 信州大教授ら 「ジョルダンの曲線定理」は「平面上の閉じた曲線は、平面を曲線の内と外に分ける」というもの。 いやもう、そんなものわざわざ証明しなくても一目瞭然疑問の余地無し…と思ったけど、 中村教授は「同様のシステムでコンピュータープログラムにミスがないことを確認するなど、今回の成果は実社会にも応用できる可能性がある」と話している。 おお、素晴らしい。品質会計要らなくなるじゃん。 つか…ベン図は今まで実は怪しかったのか!!! MIZERっていうプルーフチェッカーソフトだそうな。Pascalっぽい? 「news」カテゴリの最新記事 < 前の記事次の記事 > コメント コメントフォーム 名前 コメント 評価する リセット リセット 顔 星 投稿する 情報を記憶
コメント