タグ一覧に戻る

開発者ツール

記事数: 15
Mistral Leanstral 1.5: 形式検証で数学ベンチマーク優位、実コード内のバグを5件検出

Mistral Leanstral 1.5: 形式検証で数学ベンチマーク優位、実コード内のバグを5件検出

Mistral AI が Leanstral 1.5(Lean 4 形式検証モデル)をオープンソースでリリース。数学ベンチマークで100%達成、57のオープンソースリポジトリスキャンで未知のバグを発見。開発者・数学者向けの実用的なツール。

続きを読む
Anthropic、Claude Code に Artifacts 機能を統合——セッション結果をインタラクティブなウェブページとして共有可能に

Anthropic、Claude Code に Artifacts 機能を統合——セッション結果をインタラクティブなウェブページとして共有可能に

Claude Code でコーディングセッションの成果を自動的にウェブページ化して共有できる「Artifacts」機能が登場。セッション全体のコンテキストを反映し、変更があると自動更新されます。

続きを読む
Microsoft SkillOpt、Markdown ファイルで AI エージェントを自動最適化――GPT-5.5 で 23 ポイント向上

Microsoft SkillOpt、Markdown ファイルで AI エージェントを自動最適化――GPT-5.5 で 23 ポイント向上

Microsoft と中国の大学が共同開発した SkillOpt は、Markdown ファイルに記述されたスキル文書を「訓練可能なパラメータ」として扱い、自動最適化する手法。Codex や Claude Code など複数の環境に転移可能で、開発者が手軽に AI エージェントの性能を高められる実用的な技術。

続きを読む
TurboLynx――グラフデータベース、既存比184倍高速、オープンソースで開発者に無料公開

TurboLynx――グラフデータベース、既存比184倍高速、オープンソースで開発者に無料公開

韓国 POSTECH の研究チームが開発した TurboLynx は、複雑に相互接続されたデータを既存システム比184倍高速で分析するグラフデータベース。オープンソースとして GitHub で公開され、開発者は無料で利用可能です。

続きを読む
OpenAI と Dell が Codex をエンタープライズ向けに統合、ハイブリッド・オンプレミス環境で AI コーディング・エージェント展開可能に

OpenAI と Dell が Codex をエンタープライズ向けに統合、ハイブリッド・オンプレミス環境で AI コーディング・エージェント展開可能に

OpenAI と Dell が提携し、Codex をハイブリッドおよびオンプレミス環境で運用できるようにしました。企業は独自のデータやワークフロー環境で AI コーディング・エージェントをセキュアに配置可能になります。

続きを読む

x.AI、初のコーディングエージェント『Grok Build』をβ提供開始、ターミナルベースで複雑なタスク対応

Elon Musk の x.AI が AI コーディングエージェント『Grok Build』のベータ版を発表。ターミナルベースの CLI ツールで、承認モード・差分表示・並列サブエージェント機能を装備。Claude Code や OpenAI の Codex に後れを取りながらも、既存設定との互換性で差別化を図る。

続きを読む
Anthropic、Claude Code の使用制限とトランスパレンシー戦略を語る──Cat Wu 製品リード

Anthropic、Claude Code の使用制限とトランスパレンシー戦略を語る──Cat Wu 製品リード

Anthropic の Claude Code 製品リード Cat Wu が、使用制限、トランスパレンシー、および『Lean Harness』アーキテクチャについて語った。グランドプランはなく、ユーザーの声を聞きながら柔軟に開発を進める姿勢を強調。

続きを読む
Clawdmeter、Claude Code ユーザーの使用統計をリアルタイム可視化——開発者向けデスクトップダッシュボード

Clawdmeter、Claude Code ユーザーの使用統計をリアルタイム可視化——開発者向けデスクトップダッシュボード

Iceland の開発者がアイスランドで開発した Clawdmeter は、Claude Code の使用状況をリアルタイムで表示する IoT ダッシュボード。Bluetooth 接続の小型ディスプレイで、トークン使用量をアニメーション表示し、開発者のコーディングペースを可視化します。

続きを読む
なぜClaude Codeのトークンが爆食いするのか:キャッシュバグの全貌と今すぐできる対策

なぜClaude Codeのトークンが爆食いするのか:キャッシュバグの全貌と今すぐできる対策

2026年3月、Claude Codeユーザーを襲った「トークン爆食い問題」。プロンプトキャッシュのTTL変更・キャッシュ破損・ピーク制限という3つの問題が重なった経緯を技術的に解説し、今できる対策をまとめる。

続きを読む