Preprint · ✓完成 · 深堀り済 2026.07.03 SGDとMCP:エージェントツール統合の新たな視点 エージェントツールプロトコルの形式的意味論:プロセス計算アプローチ 査読前の可能性がある研究情報 大規模言語モデルエージェントの外部ツール統合における形式的検証手法を提案 Schema-Guided Dialogue Model Context Protocol プロセス計算 arXiv cs.AI