Amazon Web Services ブログ

AWS は AES-XTS 復号の最適化された Arm64 アセンブリ実装の形式的検証に成功し、s2n-bignum ライブラリに初の AES アルゴリズムとして追加しました。本記事では、コア演算のアセンブリコードを単純化することで SLOTHY による自動最適化を可能にし、HOL Light 対話型定理証明器を用いて IEEE 1619 仕様への適合を数学的に証明したプロセスを紹介します。暗号文スティーリングや定数時間設計、メモリ安全性の検証についても解説します。

.NET、メインフレーム、および VMware ワークロード向けの AWS Transform がリリースされ […]

AWS Security Agent の新機能であるフルリポジトリコードレビューのプレビューリリースを発表。コードベース全体に対してコンテキスト認識型のセキュリティ分析を実行し、人間のセキュリティ研究者のように信頼境界やデータフローを推論します。従来の SAST が見逃す不整合や設計レベルの脆弱性を、透明性のある証拠と具体的な修復方法とともに検出します。本記事では仕組みと開発ワークフローへの組み込み方を紹介します。

Amazon Aurora DSQL は、パブリックプレビューで Change Data Capture (CDC) を発表しました。これにより、データベースの変更をほぼリアルタイムで Amazon Kinesis Data Streams にストリーミングできます。本記事では、Aurora DSQL CDC の仕組み、ストリーミングパイプラインの構成方法、変更イベントの消費方法を、CDC ストリームと Kinesis ストリームの作成から実際のイベント解析までの手順とともに説明します。

2026 年 5 月 14 日、Amazon Bedrock Advanced Prompt Optimiza […]

エンタープライズが直面する3つの課題（技術資産の把握不足、AI導入の停滞、AIを実践的に使いこなす力の不足）に対し、AIを活用したドキュメントアーティファクトの自動生成を提案します。AWS Transform customでコードを分析し、リアルタイムに更新されるナレッジベースを構築することで、技術的負債の可視化とAIスキルの実践的習得を同時に実現できます。これをOKRとして組織に定着させるアプローチを推奨しています。

今週は、AI チップ用語の入門解説や AWS 国内事例ブログから一次産業の見守りAI、建設・BIM特化基盤モデル、AI-DLCで3人月→2日の開発事例、Hannover Messe 2026のフィジカルAIブースまで幅広く紹介しています。サービスアップデートでは、Claude Platform on AWSの一般提供開始、Amazon BedrockのAdvanced Prompt Optimization、SageMaker AIのQwen3.6サーバーレスファインチューニング対応など、生成AI関連の注目アップデートが盛りだくさんです。

Amazon Aurora DSQL を使用して、強い整合性と低レイテンシーを両立しながらグローバル規模の金融トランザクションを実行する方法を解説します。コアバンキング、グローバル経費管理、デジタル通貨インフラストラクチャの 3 つのユースケースを通じて、従来の 2 フェーズコミットや結果整合性のトレードオフを解消するアーキテクチャを紹介します。

この記事では、富士電機ITソリューション株式会社（以下、FSL）が Amazon Q Developer Pro サブスクリプションを活用し、開発者が実施する業務だけではなく日常業務でも生成 AI を取り込むことで、業務効率化のその先にある新しい企業価値の創出へと歩みを進めている旅路をご紹介します。AWS は、Amazon Q Developer や Kiro をはじめとするコーディングエージェントや生成 AI サービスを通じて、お客様ならではの価値創出の旅路を引き続きサポートしてまいります。生成 AI を活用した開発変革について、ぜひ AWS の担当者にご相談ください。

2026 年 04 月に公開された AWS Black Belt オンラインセミナーの資料及び動画についてご案内させて頂きます。
動画はオンデマンドでご視聴いただけます。