NHK教育を見て58671倍賢くリチウムイオン電池
■ このスレッドは過去ログ倉庫に格納されています
>>397
闇雲に何回も取り組んでもそれは統計にしかならんから、やっぱ数式で証明しなきゃならんのかな 数学者なんてプログラミングの専門家みたいなもんだろうに コンピューターで解くにはきちんとした数式を作らないといけないかられっきとした数学証明なんだけどな コンピューターで証明するのはエレガントではない
って証明にエレガントである必要性はない エレガントじゃないとって言う意見は可愛そうだけど
コンピュータで証明しちゃったせいで副産物的な発見がなかったとは言われてたね
だいたい大きな問題を解くとその過程でいろんな事がわかるのが今まで 数学に限らず科学全般そうやな
考古学みたいに例外もないではないが >>436,440
声ちょっと似てるな(´・ω・`) >>438
AI「勝手に独立発見すればいいじゃん」 技術なら理由はわからなくても答え在りきでだんだん洗練されていくものなのに 先生は元カノに似てるので当時を思い出して切なくなった(´・ω・`) 数式で処理するんじゃなくコンピューターに総当たりさせて証明とかされても困るしなあ >>450
AIって数学問題解けないのかな
予想が正解かどうかとかAI得意そうだけどなー >>457
わいが定職も無くスキー三昧で遊んでたから(´・ω・`) この先生、面白い雰囲気を持ってるなw
又吉先生との組み合わせも味だw >>473
ゲレンデに恋しちゃったんだね
若気のイタリアンだね(´・ω・`) キヤノンの一眼で撮ってるのか 5DMKIVあたりかな イラストレーターの渡辺さんと言うと
渡辺和博さんかな・・・ やっぱり無いことの証明は難しいってことか。
あることの証明は1つ見つければ証明できるけど。 (⌒Y⌒Y⌒)
/\__/ __ _ _
/ / \ |_ /| / ./| |_
.(⌒f^<''" 弋z.ミ'テtフ __| /‐| / /‐| |_
.( 〉!ト _ i{ ´ ̄r' =|'  ̄
(/ェ゙‐ェi. 、__`_ヤ ( サザエでございます )
./iュ.Hヽ.、 ゙,ニ/
-^ ー'-.、,i._`ヽ,.仁リ
ー - .、 /、 【出演】又吉直樹,【解説】東京工業大学 准教授…鈴木咲衣,【語り】吉村崇
https://www4.nhk.or.jp/heureka/
東工大の先生? なんか先生、サザエさんを今風に適応させた様な髪型… ■ このスレッドは過去ログ倉庫に格納されています