「SymPy」の記事一覧

• シンボリック代数とMCPの実験的融合

  2025-05-22 13:59

  科学・技術

  本記事では、シンボリック代数システムと大規模言語モデル（LLM）をMCP（Model Context Protocol）で接続し、自然言語と記号操作の強みを統合する試みが紹介されています。MCPにより、LLMがSymPyなどの外部ツールを呼び出して正確な数学的処理を行えるようになり、数学問題への対応力が向上します。実例として微分方程式の解法を提示し、その実用性と将来の形式数学・検証ツールとの統合可能性も示唆されています。

• 柔軟な証明支援ツールの開発

  2025-05-10 10:41

  科学・技術

  著者は、推定の自動検証ツールを改良し、対話型で柔軟な証明支援ツールへと進化させた。Lean風のインターフェースを持ち、Pythonのsympyを利用して線形不等式や漸近推定を処理できる。ユーザーは高レベルの「戦術」を指定し、ツールが計算を行う。今後は関数空間ノルムの評価や不等式の導入も視野に入れており、さらなる拡張が期待される。実装はGitHub上で公開されており、数理解析や論理に関心のある開発者に有用だ。