InfoQ ホームページ Architecture に関するすべてのコンテンツ
-
DeepSeek社、数学定理証明向けLLM「Prover-V2」をオープンソースで公開
DeepSeek社は、Lean 4における数学定理証明に特化した新しいオープンソースの大規模言語モデルDeepSeek-Prover-V2を公開した。このモデルは、同社の基盤モデルであるDeepSeek-V3を活用した再帰的定理証明パイプラインを基盤として構築されている。Lean 4は、Microsoft Researchが開発した最新バージョンのLean定理証明ツールであり、機械による検証が可能な形式的証明を数学者やコンピュータ科学者が記述できる対話型証明支援システムである。
-
CedarによるKubernetes認証対応
Cedarは現代の認証のニーズのために設計された、人間が読みやすく機械が分析可能なポリシー言語である。Kubernetes認可におけるロールベースアクセス制御（RBAC）の課題に対処し、特定のリソースに対するきめ細かなパーミッションを可能にする条件演算子を提供する。
-
GitHubはどのようにsub-issueをissueトラッキングシステムに組み込んだか
sub-issueの一般公開に合わせて、GitHubのエンジニア Shaun Wong氏が階層的なissue構造をサポートするようになった経緯や、開発中に学んだ教訓、ワークフローにおいてsub-issueが果たした重要なロールについての知見をシェアした。
-
ソフトウェア業界でレジリエンスを高める業界・企業文化や習慣を育むには
レジリエンスを高めることで、課題に対する個人や企業の柔軟な対応が可能になる。Kathleen Vignos氏曰く、個人のレジリエンス、技術におけるレジリエンス、企業のレジリエンスの根底には、それぞれ適応力、幅広いツールの習得、柔軟性と強力なネットワークが必要になるという。 急速に変化するソフトウェア業界では、技術変化にアンテナを広げ、新たな知識の吸収して柔軟性を高め、協業を進めることがレジリエンス向上につながるというのだ。
-
FastAPI-MCP: FastAPIとAIエージェントの統合をシンプルに
新しいオープンソースライブラリFastAPI-MCPは、Model Context Protocol (MCP)を通じて開発者が、従来のFastAPIアプリケーションと最新のAIエージェントを接続することを容易にしている。ゼロコンフィギュレーションセットアップのために設計されたFastAPI-MCPは、開発者が自動的にAPIエンドポイントをMCP互換のツールとして公開できるようにし、最小限の変更でWebサービスをAIシステムからアクセス可能にする。
-
AWSはWell-Architected Generative AI Lensにおいて責任あるAIを推進
AWSは、生成AIワークロード設計と運用のベストプラクティス提供にフォーカスした、新しいWell-Architected Generative AI Lensの提供を発表した。このLensは、生成AIを使って堅牢かつコスト効率の高いソリューションを提供する責任を持つビジネスリーダー、データサイエンティスト、アーキテクト、エンジニアを対象としている。このドキュメントはクラウドに依存しないベストプラクティス、実装ガイダンス、その他のリソースへのリンクを提供している。
-
オブザーバビリティがLLMベースのシステムのユーザーエクスペリエンスを向上させる方法：KubeCon EUでのHoneycombのCEOの洞察
KubeCon Europeの基調講演で、HoneycombのCEO兼共同設立者であるChristine Yen氏は、ソフトウェアシステムにおけるLLMの統合によってもたらされた急速なシフトに対処するために、オブザーバビリティどのように役立つかについての洞察を説明した。LLMの統合は、ソフトウェア開発方法だけでなく、リリース方法論にも大きな変革をもたらした。彼女は、本番環境の観測結果に基づいて開発のフィードバックループを適応させる方法を説明した。
-
QCon London 2025：エンタープライズにおけるハイブリッドクラウドネイティブネットワーキング – アセンブリが必要
QCon London 2025の実用的で洞察に満ちたセッションで、Solo.io―クラウドネイティブネットワーキングに深く関与している企業―のCTOであり、影響力のあるIstio service meshの共同開発者 Louis Ryan氏が、ハイブリッドクラウド環境における堅牢なネットワーキング構築の複雑な現実について、実践的かつ洞察に満ちたセッションを行った。「マルチクラウドとハイブリッドクラウドアーキテクチャ」という非常に関連性の高いトラックの一部であり、Ryan氏の講演「エンタープライズにおけるハイブリッドクラウドネイティブネットワーキング – アセンブリが必要」にはアーキテクトやプラットフォームエンジニアが集まった。
-
Kafka 4.0: KRaftがアーキテクチャを簡素化
10年以上にわたり、ZooKeeperはKafkaの基盤として機能し、コミュニティはその貢献に感謝を表明してきた。しかし、Kafka 4.0のデフォルトでのKRaftへの移行は、個別のZooKeeperアンサンブルを維持する必要性を排除することで、デプロイと管理を合理化する。
-
AWS AppSyncイベントがWebSocketメッセージの直接発行を追加
AWSは最近、フルマネージドのサーバーレスWebSocket APIサービスであるAWS AppSync Eventsに、WebSocket接続によるダイレクトメッセージ発行の新機能を追加した。
-
Dapr Agents：LLM、Kubernetes、マルチエージェント協調によるスケーラブルなAIワークフロー
Daprは最近、大規模言語モデル（LLM）を使用してスケーラブルでレジリエントなAIエージェントを構築するためのフレームワークDapr Agentsを発表した。Dapr Agentsは、Daprのセキュリティ、オブザーバビリティ、クラウドニュートラルなアーキテクチャを活用し、構造化されたワークフロー、マルチエージェント連携、イベント駆動型の実行が可能だ。企業向けに設計されており、数千のエージェントをサポートし、データベースと統合し、堅牢なオーケストレーションとメッセージングによって信頼性を確保する。
-
レジリエンス強化に向けたベストプラクティス：Amazon社のクライアント管理と保護サービスの構築方法
AWSのシニアプリンシパルソリューションアーキテクトであるMichael Haken氏は、Amazon社の運用・アーキテクチャ戦略を通じたクライアント管理や十分なサービス保護構築方法を、ランチで込み合う時間のレストラン対応になぞらえて説明している。「Resilience lessons from the lunch rush （ランチ対応に学ぶレジリエンス）」では、自動キャパシティ予測や負荷制限の実装といったクラウドプロバイダーによるキューの深さ管理に向けた戦略が共有されている。
-
Googleがウィジェット品質階層を導入
クリエーターがウィジェットのユーザーエクスペリエンスを向上させられるよう、ベストプラクティスとウィジェットガイドラインへの準拠に基づいてGoogle社はすべてのAndroidウィジェットを3つの品質階層に分類することを開始する。
-
分散型マルチモーダルデータベースAerospike 8がリアルタイムACIDトランザクションのサポートを提供
Aerospikeは分散マルチモーダルデータベースのバージョン8.0を発表し、分散ACIDトランザクションをサポートした。これにより、銀行、eコマース、在庫管理、ヘルスケア、注文処理などの大規模オンライントランザクション処理（OLTP）アプリケーションが可能になるという。
-
データコントラクトでデータチームのチームコラボレーションを促進するには
データコントラクトは、データプロバイダーとデータコンシューマー間のインターフェース定義であり、データモデル、品質保証、所有権などを指定する。Jochen Christ氏によると、データコントラクトはデータメッシュでの分散データのデータ所有権の決定に不可欠であり、このおかげでデータ特定性、データ相互運用性、データガバナンスが確保されている。データコントラクトでチーム間のコミュニケーションが促進され、データプロダクトの信頼性と品質が向上している。