InfoQ ホームページ ニュース
-
Amazon QとClaude Codeが開発者CLIをAIで制御可能に
AWSは最近、高度なエージェント機能を備えたAmazon Q Developer用の拡張CLI（コマンドラインインターフェイス）エージェントを発表した。Amazon BedrockとClaude 3.7 Sonnetの推論機能を利用したこのアップグレードにより、開発者はコンテキストを切り替えることなく、ターミナル内で直接AIと作業可能になる。一方、Anthropic社は研究プレビューとしてClaude Codeを発表した。これはターミナルベースのコーディングアシスタントで、開発者はコマンドラインから直接Claudeを操作できる。
-
CiscoがJARVISを発表：プラットフォームエンジニアリングチームのためのAIアシスタント
Ciscoのイノベーション部門Outshiftがプラットフォームエンジニアリング・ワークフローを効率化するために設計されたJARVIS 、AI搭載アシスタントを発表した。JARVISは会話型インターフェースを提供、複雑なタスクを簡素化し、実行時間と認知負荷を減少させる。
-
Redis 8はベクトル類似性の新しいデータ型でAIアプリケーションをターゲットにする
Redisは最近、ベクトル類似性のために設計されたデータ型であり、AIアプリケーションのための新しいオプションであるVector Setの追加を発表した。この新しいデータ型は、Redisの生みの親であるSalvatore Sanfilippo氏（別名「antirez」）がRedisに復帰して以来、初めての大きな貢献となる。
-
Googleがイルカのコミュニケーション研究支援にDolphinGemmaを投入
GoogleはDolphinGemma、研究者がイルカの発声を分析・解釈することを支援するために開発された新しいAIモデルを発表した。このプロジェクトはWild Dolphin Project（WDP）とジョージア工科大学の研究者との継続的な共同研究の一環であり、大西洋マダライルカの自然なコミュニケーションにおけるパターンの特定にフォーカスしている。
-
SSL/TLS証明書の有効期間が2029年までに47日に短縮される
インターネットセキュリティを強化する動きの中で、CA/Browserフォーラム（CA/Bフォーラム）はSSL/TLS証明書の最大有効期間を現在の398日から、2029年3月15日までにわずか47日に短縮する提案を承認した。この決定は当初Appleによって提案され、Google、Mozilla、Sectigoなどの主要な業界関係者によって支持され、長期間有効な証明書に伴うリスクを軽減し、証明書管理の自動化を促進することを目的としている。
-
AWS LambdaがCloudWatch Logsに対して階層型料金を導入、ログ記録先を拡大
AWSはLambdaロギング機能に大きなアップデートを発表、Amazon CloudWatch Logsに対してボリュームベースの階層型料金を導入し、さらにAmazon S3およびAmazon Data Firehoseを新しいコスト効率の高いLambdaログの送信先として追加した。2025年5月1日より有効となるこれらの変更は、大量のLambdaデプロイメントにおけるロギングコストの削減を目的としており、より広範な監視ツールとの連携に対する柔軟性も提供する。
-
Google Cloud、Cloud Storageに階層型ネームスペースを導入し、AI/MLワークフローを強化
2025年3月17日、Google CloudはCloud Storageに階層型ネームスペース（HNS）機能を導入し、データの整理、パフォーマンス、信頼性を向上させることで、AIおよび機械学習（ML）ワークロードの最適化を目指した。
-
グーグル社、Cloud WANで企業ネットワークの革新を狙う
グーグル社は、Cloud WANの一般公開を発表した。今回発表となったCloud WANは、自社グローバルネットワークインフラを活用したCloud Wide Area Network（WAN）の新たなマネージドソリューションである。
-
ソーシャルドライバーを活用してソフトウェアエンジニアリングチームのパフォーマンスを向上させる
Lizzie Matusov氏が、技術的なドライバー（例えば、速度）はチームのパフォーマンスの不完全な視点しか提供しないと発表した。信頼、自律性、目的、心理的安全性といった「ソーシャルドライバー」（社会的要因）はより完全な視点を提供し、改善のための重要な機会を明らかにする。彼女はQCon San Franciscoで高パフォーマンスのエンジニアリングチームの背後にあるソーシャルドライバーについて話した。
-
DeepSeek社、数学定理証明向けLLM「Prover-V2」をオープンソースで公開
DeepSeek社は、Lean 4における数学定理証明に特化した新しいオープンソースの大規模言語モデルDeepSeek-Prover-V2を公開した。このモデルは、同社の基盤モデルであるDeepSeek-V3を活用した再帰的定理証明パイプラインを基盤として構築されている。Lean 4は、Microsoft Researchが開発した最新バージョンのLean定理証明ツールであり、機械による検証が可能な形式的証明を数学者やコンピュータ科学者が記述できる対話型証明支援システムである。
-
CedarによるKubernetes認証対応
Cedarは現代の認証のニーズのために設計された、人間が読みやすく機械が分析可能なポリシー言語である。Kubernetes認可におけるロールベースアクセス制御（RBAC）の課題に対処し、特定のリソースに対するきめ細かなパーミッションを可能にする条件演算子を提供する。
-
CNCFがKubescapeをインキュベートプロジェクトとして承認
CNCF技術指導委員会（TOC）は最近、Kubescapeをインキュベートプロジェクトとして承認したことを発表した。Kubescapeは、Kubernetes環境の開発からデプロイメントまでのセキュリティカバレッジを提供する。CLIツールとKubernetesオペレーターとして利用できる。
-
GitHubはどのようにsub-issueをissueトラッキングシステムに組み込んだか
sub-issueの一般公開に合わせて、GitHubのエンジニア Shaun Wong氏が階層的なissue構造をサポートするようになった経緯や、開発中に学んだ教訓、ワークフローにおいてsub-issueが果たした重要なロールについての知見をシェアした。
-
Google DeepMindがAIコーディングエージェントAlphaEvolveを発表
Google DeepMindがAlphaEvolveコーディングエージェントに関する論文を発表した。AlphaEvolveはハードウェア設計、データセンター運用、AIトレーニングを含む幅広い分野でアルゴリズムの発見と最適化を行うためにLLMを使用する。
-
GitHub Actionsの一部アクションの侵害でCI/CDサプライチェーンのリスクが浮き彫りに
先日、参照・利用用途で人気のGitHub Actionsの一部のアクションが利用者リポジトリを侵害する事件があり、オープンソース GitHub Actionsの公開・使用に伴う重大な脆弱性が露呈する事態となった。