談話室 <6> 王の帰還（下）

52：のろうゐるす：2023/02/10(金) 09:46:38: 機械学習を目指したものではないけど、学部レベル数学(US基準)の
形式化は既にほぼ完了してるよ。
https://leanprover-community.github.io/undergrad.html
大学院レベルとなると、幾何学とかタイヘンそうだけど、
関数解析などはやる気があればすぐにできるんじゃないか。

新着レスの表示

※書き込む際の注意事項はこちら

※画像アップローダーはこちら

（画像を表示できるのは「画像リンクのサムネイル表示」がオンの掲示板に限ります）

掲示板管理者へ連絡無料レンタル掲示板