46 集会 · 768 発表 · 275 人の発表者
Wolfram/LeanLinkにより、LeanをMathematicaから使えるようになりました。Mathematicaは、自動推論に適した形式の座標非依存の総合幾何学的シーンの記号表現をサポートし、幾何学的推論と、可視化のための関数を…
Vket技術学術WEEKでは、「LLM呼び出しの自動化のためのペトリネットワークフローとプライバシーレベルを考慮した知識共有の枠組み」というタイトルでここ数か月のまとめ的な話をしましたが、その振り返りと雑談回です。その後、実際に諸般の作業…
VRChat「計算と自然」集会でのnconcさんの発表をレポート！LLMの自動化とプライバシー保護を両立する、ペトリネットを活用した画期的な枠組みについて、技術の未来とワクワク感を込めてお届けします。
VRChat「計算と自然」集会でのnconcさんの発表をレポート！数式処理のMathematicaとAIのClaude Codeを繋ぐ、ペトリネットを活用した新しい計算フローの可能性について、ワクワクする未来を分かりやすくお届けします。
Andrej KarpathyのLLM Wikiのように、LLMに外部データアクセスレイヤーを作って、そこに有機的に結合した要約を配置して...というアプローチを試している人は多いと思います。 そのときの最大の障壁である、クラウドLLMに…
現在構築中のMathematica-Claude Codeブリッジにデータの統一的な保管と管理のためのデータキャッシュレイヤー(SourceVault)を追加することについて発表します。 SourceVaultは、Webページ・PDF・N…
VRChat「計算と自然」集会でのnconcさんの発表をレポート！MathematicaとClaude Codeを繋ぎ、AIが自ら考えて計算を繰り返す「反復ループ型エージェント」の驚きの進化と、数式処理の未来についてワクワクする内容をお届…
前回のMathematica 上で動作する Expression-Proposal ループ状態機械の実装(ClaudeRuntime)に引き続き、それを組み合わせた反復ループ型エージェント機能(ClaudeOrchestrator)の実装…
VRChat「計算と自然」集会で発表された、MathematicaとClaude Codeを繋ぐAIエージェントの進化について紹介。数式処理と対話型AIが連携し、自ら試行錯誤して正解に辿り着く驚きの仕組みを分かりやすくお伝えします。
2026年3月のVRChat「計算と自然」集会で行われたnconcさんの発表をレポート。数式処理の王者Mathematicaと、最新のAIツールClaude Codeが融合した驚きの開発体験と、未来の計算環境の可能性を楽しくお伝えします。
