マルレク「コンピュータ、数学の問題を解き始める」blog集
このページは、2022年3月26日に開催したマルレク「コンピュータ、数学の問題を解き始める」にむけたblogのエントリーをまとめたものです。 このセミナーの基本的な情報は以下にまとめられています。ただ、これらの資料はいずれも大部なものです。もう少し簡単にセミナーの内容にアクセスするために短いblogのエントリーを再掲しました。タイトルを見て興味が持てそうなところから、読んでみてください。 ----------------------------- 2022/03/26「コンピュータ、数学の問題を解き始める」 まとめページ https://www.marulabo.net/docs/math-proof/ コンシェルジェαバージョン https://www.marulabo.net/20220326md/ 「コンピュータ、数学の問題を解き始める」 講演資料 pdf https://drive.google.com/file/d/12726t4yD0ouUngmFXSy2UIzvQptSdP6g/view 「コンピュータ、数学の問題を解き始める」 講演ビデオの再生リスト https://www.youtube.com/playlist?list=PLQIrJ0f9gMcNz3RKzDYCANRvt7NciY86X セミナーに向けたショートムービーの再生リスト https://www.youtube.com/playlist?list=PLQIrJ0f9gMcPP8LOejaQQlYufAMEQbcdg ----------------------------- 「コンピュータ、数学の問題を解き始める」blog集 AIについての二つの見方 https://maruyama097.blogspot.com/2022/03/ai.html 誰が証明を行っているのか? https://maruyama097.blogspot.com/2022/03/blog-post_5.html Deep Learningの到達点と課題 https://maruyama097.blogspot.com/2022/03/deep-learning.html セ ルフ・プレイに代わるもの https://maruyama097.blogspot.com/202...