seasawher https://blog.hatena.ne.jp/seasawher/ パンの木を植えて https://seasawher.hatenablog.com/ mond 経由で質問がきました。 いつもありがとうございます。 こんにちは。いつも「パンの木を植えて」を愛読させていただいている高校2年生です。 私は以前から大学数学を趣味で勉強しているのですが、その過程で型理論やLeanに興味を持つようになりました。 しかし、現在それらについて私は何も知らず、また何から始めたら良いのかもわかりません。 私は数学の道に進みたいので型理論などは趣味の範囲で勉強したいのですが、どのように学ぶと良いのか (文献や学ぶ順序など) を教えていただけないでしょうか？ なお、プログラミングの経験があり、また英語の文献でも問題ないです。 長文失礼しました。 この質問にお答えし… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fseasawher.hatenablog.com%2Fentry%2F2026%2F08%2F06%2F041321" 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 2026-08-06 04:13:21 rich https://seasawher.hatenablog.com/entry/2026/08/06/041321 1.0 100%