14/09/08 19:43:53.50
馬鹿って自覚できてない馬鹿がまだいるな。
あれだけわかりやすく説明しても、自分もサルマネすらなかなかできないバカって気付けんか？
お前もサルマネができてるかどうかもあやしいサルにすぎんのだよ。
ちなみに、久しぶりに群論を再度勉強しだした。
一回目はなんのための定義なのか、5次方程式の不可解性とどう関係してくるのかまったくわからずに
意欲がわかなかった。先まで、わからなくても無理矢理すすんで、しばらくしてからやり直すと
効率良いみたいだ。
そのまま集中的にやった方が効率は良いだろうけど。
馬鹿な癖に俺の1000倍くらい時間かけてサルマネできたから自分が賢い。サルじゃないって勘違いしてる馬鹿ははよ自分もサルマネのサルにすぎんことに気付けよ。
コンピューターの進化はやいからな。
将棋連盟の会長の米長さん(他界されたけど)も10年か15年前くらいに
コンピューター将棋に人間は200年くらいはまだ負けないって言いきってた。
10年とか20年で逆転してる。
コンピューターの方がサルマネ上手くなってんだよ。
あいつらは忘れないからな。放射線とかですべてのデータが破壊されないかぎり。
証明ソフトのアウトプット、インプットもGAPと同じである程度の知識が必要で
最初は使いにくいもの多いけど、あっと言うまに進化するから、そのあたりの素人が
複雑な証明を機械で代行させれるようになる日は近いよ。
俺も多分、機械補助がなくても、5次方程式の不可解性の証明の意味の理解はそれほど時間かけずにできそう。
どういう仕組みで、群論のどこが関係が深くて、群論がどういうものなのか、ちょっとだけイメージわいてきてるし。