サクサク読めて、アプリ限定の機能も多数!
数学者は「厳密」が好き、という話をしましたが、実は数学者はコンピュータの厳密性からいったらちっとも厳密ではありません。
mind のブックマーク 2006/04/17 13:23
情報証明論[.I情報|統計][reasoning(制御実行)|debug][.論理系][programming(計画)][algorithm(仕組み)] 数学者は「厳密」が好き、という話をしましたが、実は数学者はコンピュータの厳密性からいったらちっとも厳密ではありません。2006/04/17 13:23
このブックマークにはスターがありません。 最初のスターをつけてみよう!
markun.cs.shinshu-u.ac.jp2006/04/17
情報証明論というのは新しい分野です。従来、「証明」というと数学の分野のものでした。他の分野でもこの言葉は使われなかった訳ではありませんが、「証明とは何だろうか?」という疑問が人々の意識に昇ることは...
5 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
数学者は「厳密」が好き、という話をしましたが、実は数学者はコンピュータの厳密性からいったらちっとも厳密ではありません。
mind のブックマーク 2006/04/17 13:23
このブックマークにはスターがありません。
最初のスターをつけてみよう!
情報証明論
markun.cs.shinshu-u.ac.jp2006/04/17
情報証明論というのは新しい分野です。従来、「証明」というと数学の分野のものでした。他の分野でもこの言葉は使われなかった訳ではありませんが、「証明とは何だろうか?」という疑問が人々の意識に昇ることは...
5 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /