seasawher https://blog.hatena.ne.jp/seasawher/ パンの木を植えて https://seasawher.hatenablog.com/ Lean Prover いままであまり書いていなかったような気がするのですが、「個人ではなくコミュニティが成長する」というのは Lean の大きなメリットだなと思います。 どういうことかというと、「人間が手動で証明を検証する」いわゆる普通の数学と、Lean などの定理証明支援系を使って証明を形式化していくのとを比較して、Lean の方には「個人ではなくコミュニティが成長する」というメリットがあるという意味です。*1 人間が手動で証明を検証する場合、どんなに頑張って数学を勉強しても賢くなるのは自分一人で、基本的に他のひとにメリットはありません。講演したりメモをまとめて公開したりすれば他の人にもメリットがあるかもしれませ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fseasawher.hatenablog.com%2Fentry%2F2024%2F09%2F28%2F184256" title="Lean のメリット：個人ではなくコミュニティが成長する - パンの木を植えて" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2024-09-28 18:42:56 rich https://seasawher.hatenablog.com/entry/2024/09/28/184256 1.0 100%