Amazon Web Services ブログ
Category: Compute
「フィジカル AI 開発支援プログラム by AWS ジャパン」キックオフイベントを開催しました
2026 年 3 月 3 日、アマゾン ウェブ サービス ジャパン合同会社（以下、AWS ジャパン）は、「フィ […]
自律型プライベート AI エージェントを実行するための OpenClaw が Amazon Lightsail に導入されました
2026 年 3 月 4 日、Amazon Lightsail で OpenClaw の一般提供開始が発表され […]
AWS Parallel Computing Service (PCS) と RELION によるスケーラブルなクライオ電子顕微鏡データ解析環境
1. はじめに クライオ電子顕微鏡（Cryo-EM）技術は、2017年のノーベル化学賞を受賞し、構造生物学と創 […]
AWS Weekly Roundup: OpenAI パートナーシップ、AWS Elemental Inference、Strands Labs など (2026 年 3 月 2 日)
2026 年 2 月 23 日週、私は AI-DLC (AI-Driven Lifecycle) ワークショッ […]
2025 年 12 月の AWS Black Belt オンラインセミナー資料及び動画公開のご案内
2025 年 12 月に公開された AWS Black Belt オンラインセミナーの資料及び動画についてご案内させて頂きます。
動画はオンデマンドでご視聴いただけます。
自動推論で「25519」楕円曲線暗号の高速化と正当性保証を実現
自動推論と CPU マイクロアーキテクチャ固有の最適化を組み合わせ、AWS-LC における x25519/Ed25519 楕円曲線暗号の高速化と正当性保証を実現しました。HOL Light 定理証明器による形式的証明で実装の正しさを検証し、AWS Graviton 2、AWS Graviton 3、Intel Ice Lake の 3 つのマイクロアーキテクチャ全体で平均 86% のパフォーマンス向上を達成しています。定数時間実装によるサイドチャネル攻撃対策や、アプリケーションでの活用方法についても紹介します。
Graviton での RSA の高速化: 形式的検証で正当性を証明し開発も加速
Amazon の Automated Reasoning グループが、Graviton チップにおける RSA 署名のスループットを、モンゴメリ乗算やカラツバアルゴリズム、SIMD 命令の活用により鍵サイズに応じて 33～94% 向上させました。さらに、HOL Light 対話型定理証明器と形式的検証済み多倍長整数演算ライブラリ s2n-bignum を用いて最適化コードの機能的正当性を証明し、開発時間の短縮も実現した取り組みを紹介します。
AWS Weekly Roundup: Amazon Bedrock の Claude Sonnet 4.6、Kiro in GovCloud リージョンの Kiro、新しいエージェントプラグインなど (2026 年 2 月 23 日)
2026 年 2 月 16 日週、私のチームは米国サンノゼで開催された Developer Week で大勢の […]
第 5 世代 AMD EPYC プロセッサを搭載した Amazon EC2 Hpc8a インスタンスの一般提供開始
2026 年 2 月 16 日、Amazon Elastic Compute Cloud (Amazon EC […]
Integral Ad Science における Amazon OpenSearch Service を使った日次 1 億件超のドキュメント処理の紹介
Integral Ad Science (IAS) が Amazon OpenSearch Service を活用し、日次 1 億件以上のドキュメントを処理するスケーラブルな SaaS 型 ML プラットフォームを構築した事例を紹介します。ベクトル検索の最適化により、複雑な検索オペレーションで 40〜55% のパフォーマンス向上を達成しました。