プログラミング

高度な数学的問題や生成AIとの統合シナリオに焦点を当て、SymPyの応用例を詳細に解説①競技数学（代数、幾何学、数論、組合せ論代数、幾何学、数論、組合せ論、他多岐にわたる）レベルの問題、②高度な微分方程式、③形式的な証明サポート生成AIとS...

SymPyは、Pythonで書かれたオープンソースのシンボリック計算ライブラリです。数学的な式を数値的に計算するのではなく、記号（シンボル）として扱い、代数的操作や解析的な計算を行うためのツールです。生成AIが数学的問題を解く際、特にシンボ...

生成AIに数学を学習させる手法は、AIのモデル構造や学習プロセスに深く関わるもので、さまざまなアプローチが存在します。以下に、生成AI（特に生成モデルや大規模言語モデルなど）に数学を学習させるための主要な手法を網羅的かつ体系的に解説します。...

1. 形式証明ツールとは形式証明ツールは、数学的証明を形式論理（formal logic）に基づいて構築し、コンピュータがその正しさを検証できるようにするツール人間の証明はしばしば曖昧さやエラーを含む可能性があるが、形式証明は厳密なルールに...

1. 概要と要点概要本稿では、Microsoft AutoGen の AgentChat API における Swarm パターンの設計思想・実装構造・動作原理について技術的に考察する。Swarm は、複数のエージェントが共通の会話コンテキス...

1. 本実装の概要SelectorGroupChat の動作を３つのモードから選択3種類のAIエージェント（PlanningAgent, SearchAgent, DataAgent）と、人間の立場を代行するUserProxyAgent か...

― SelectorGroupChat 不要のシンプル構成で自律的推論を実現 ―■ 概要（要点まとめ）gpt-4o や gemini 系のモデルは、グループチャットの会話順を指定する必要あり一方、o3-mini のような推論モデルは、文脈か...

概要AutoGenの SelectorGroupChat を活用したマルチエージェント協調実行のデモコードを解説本プログラムでは、Planning / Search / Analysis / User 承認という役割を担うエージェントが協力...

✅ AutoGen記事一覧（チュートリアル順）※参考チュートリアル: SelectorGroupChat公式ガイドAutoGen AgentChat 技術記事リスト（ID対応・URL明記版）構成ルールチュートリアル順（AutoGen公式に準...