14/09/07 14:10:02.95
証明も自動証明でかなりできるようになってるらしいから
そのあたりの理系よりコンピューターの方が数学得意でサルマネ上手って時代きてるよ。
将棋もコンピューターの方が強くなりつつあるし
数式処理なんかは数式処理ソフトの方が俺の同期よりあきらかに優秀だしな。
人間のサルマネも機械学習使うと....。
一部の天才いがいは基本クズだよ。
14/09/07 14:10:02.95
証明も自動証明でかなりできるようになってるらしいから
そのあたりの理系よりコンピューターの方が数学得意でサルマネ上手って時代きてるよ。
将棋もコンピューターの方が強くなりつつあるし
数式処理なんかは数式処理ソフトの方が俺の同期よりあきらかに優秀だしな。
人間のサルマネも機械学習使うと....。
一部の天才いがいは基本クズだよ。