Leanでの多項式の説明Leanでの多項式の説明リーン多項式処理の主要な概念と課題。記号計算Leanにおける多項式：技術的な概要Leanの機能と課題を使った多項式の扱いについての考察。2025-06-30T12:20:54+00:00 ― 1 分で読む