トップページ
⇒
math
652コメント
203KB
コンピューターによる定理の自動証明
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています
0370
367
2008/01/17(木) 01:51:40
でもさ、ランダムにコピーミスしながら自己増殖するデータとかで「人工生命」という概念を確立した人もいるみたいだよ。計算力で膨大な世代を作れる上、寄生生物とか実際の生命の現象に似た現象が起きたりして色々面白いらしい。
人間が定理や定義の「善」をコンピュータにいちいち正すのは面倒。
というワケで〜進化論的に目指させればそれなりにそこそこの結果でるんじゃないカナ〜と思う。なるべく簡潔で汎用性の高いのが生き残ってゆくとかさ。
人間の理性的処理能力だってもともとは遺伝子のコピーミスというぎじ乱数から出たっぽいしさ。
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています