7月 24 2026 0 LLMの論理推論をPrologで補完するMCPサーバ「Euclid-MCP」の実装と評価 投稿者: ユウ TL;DR Euclid-MCPは、LLMが苦手とする多段階の論理推論…
12月 14 2025 0 AIの「頭の良さ」の秘密は設計図にあった！？ 〜ChatGPTより地味なあの子が、因果推理では本領発揮〜 投稿者: ユウ 解説 ねえねえ、智也くん！これ、面白そうな論文のタイトル見つけたんだけ…