つっても公式だけ。 証明することが重要なのではなくて、名前と概念を一致させることが最も重要と想定。 というのも、AI系の数学眺めて一番困るケースが なんでそうなるの？→公式の知識不足 説明の意味が分からない→単語の持ってる概念が分かってない 用語の…