2005-09-28から1日間の記事一覧
http://www.mainichi-msn.co.jp/shakai/wadai/news/20050928k0000m040137000c.html 4色問題以外にも、コンピュータに支援された証明の有名な例ができましたね。 証明した先生のページでは、中村 八束先生の肉声によるメッセージを聞くことができます。 http…
http://www.mainichi-msn.co.jp/shakai/wadai/news/20050928k0000m040137000c.html 4色問題以外にも、コンピュータに支援された証明の有名な例ができましたね。 証明した先生のページでは、中村 八束先生の肉声によるメッセージを聞くことができます。 http…