本ブログは 2026 年 2 月 9 日に公開された AWS Blog “ Automated Reasoning checks rewriting chatbot reference implementation ” を翻訳したものです。 本日 (2026 年 2 月 9 日)、 新しいオープンソースのサンプルチャットボット を公開します。このサンプルでは、自動推論チェック (Automated Reasoning checks) のフィードバックを使って、生成されたコンテンツを反復的に改善し、確認のた

本ブログは 2025 年 10 月 31 日に公開された AWS Blog “ Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1 ” を翻訳したものです。 規制産業の企業では、すべての AI 応答が定められたポリシーとドメイン知識に準拠していることを、数学的な確実性をもって示すことがしばしば求められます。こうした業界では、AI 出力の統計的なサンプルだけをテストしてコンプライアンスを確率的に主張する従

こんにちは！株式会社LuupのiOSエンジニアのリョウです。 先日、iOSDC Japan 2026が開催され、LuupのiOSエンジニアで参加しました。 本記事では、各メンバーがとくに注目したセッションについてご紹介します。 iOSDC Japan iOSDC Japan 2026はiOS関連技術をコアのテーマとした、ソフトウェア技術者のためのカンファレンスです。 日本中、世界中から公募した知的好奇心を刺激するトークの他にも、パンフレットに掲載された技術記事、懇親会など、初心者から上級者まで楽しめるコン

本ブログは 2021 年 10 月 11 日に公開された AWS Blog “ Exploring Simon’s Algorithm with Daniel Simon ” を翻訳したものです。 はじめに 量子コンピューティングに取り組み始めたお客様は、基礎を学ぶときや新しいサービスを評価するときに、既知のアルゴリズムを活用することがよくあります。Amazon Braket では、そうしたアルゴリズムを SDK とマネージドノートブックに多数用意しています。この記事では、最初期に考案された量子アルゴリズ

＜【連載】具体と抽象を往復しよう！ 記事一覧＞ ※クリックで開きます 【第1回】分類学とアブストラクト（抽象化）〜AI時代を生き抜くための「思考の武器」〜 【第2回】分類学とアブストラクト（抽象化）〜「思考の武器」をテスト・QAの現場に活かす〜 【第3回】『具体と抽象』から見る、デザインと直感 【第4回】『具体と抽象』から見る、テスト設計 はじめに 前回の記事では、具体と抽象の往復が、デザインや直感にどのように表れるのかを書きました。 デザインでは、ユーザーの頭の中にある「こうしたい」という抽象的な期待を

はじめに これまで、NIST CSFを用いたセキュリティリスク可視化や、FISC安全対策基準を基にしたセキュリティアセスメントに携わる中で、アセスメントの品質を維持しながら、いかに効率的に実施するかという課題に直面してきました。例えば、既に別のフレームワークに基づく評価結果が存在する場合、その結果を有効活用できれば重複する確認を削減できるのではないかと考えていました。本稿では、この課題に対して既存のアセスメント結果を転用できる可能性について検証します。 本稿での取り組み 異なるセキュリティフレームワーク間

本ブログは 2026 年 8 月 31 日に公開された Amazon Science Blog “ Developing provably correct Rust code with Verus ” を翻訳したものです。 コードをその機能の数学的な仕様に照らして自動的に検査する「プログラム検証ツール (program verifier)」である Verus が、ソフトウェアプロジェクトのセキュリティ保証をどのように高めるのかを紹介します。 オープンソースや企業のソフトウェアプロジェクトの多くが Rust

この記事は Kiro ブログの Tackling technical debt at scale with autonomous mode in Kiro Web を翻訳したものです。 ソフトウェア開発チームはどこも、保守と新機能開発のあいだの緊張関係を経験しています。一方に使った時間は、もう一方に使えなかった時間です。オープンソースのメンテナーにとってこの課題はさらに深刻で、チームは小さく、ユーザーベースは大きく、バックログは伸び続けます。 形式検証 、つまりソフトウェアの性質を証明するために数学的技法

本ブログは 2026 年 8 月 11 日に公開された Amazon Science Blog “ A decade of mathematical certainty: Reflections on the Automated Reasoning Group ” を翻訳したものです。 Automated Reasoning Group の設立から 10 年。数学的論理は学術研究の領域を越え、お客様の数百万のワークロードを守る本番サービスにまで広がりました。これは、システムが単に「おそらく正しい」だけでな

本ブログは 2021 年 12 月 1 日に公開された Amazon Science Blog “ A gentle introduction to automated reasoning ” を翻訳したものです。 2021 年、Amazon Science は研究領域のリストに 自動推論 を追加しました。この変更を行ったのは、自動推論が Amazon にもたらしている影響が大きいからです。例えば、Amazon Web Services のお客様は現在、 IAM Access Analyzer 、 S3

こんにちは！Girls Meet STEM in AWS 運営メンバーの守田です。2026 年 8 月 21 日、AWS は中高生女子の皆さんを 2026 年に開設したばかりの麻布台ヒルズの新オフィスにお迎えし、「自分のアイデアを AI アプリにする」体験をお届けしました。私は普段、アマゾン ウェブ サービス ジャパン合同会社 (以下、AWS) でソリューションアーキテクトとして働いています。 イベント概要 AWS は「Girls Meet STEM」に参加し、東京都港区の麻布台ヒルズの新オフィスにてイベ

はじめに こんにちは。Developer Engagementブロックの @wiroha です。8月21日（金）に、ZOZOにて中高生女子を対象とした体験イベント「 ZOZOTOWN・WEARを支える技術と働き方を知ろう！ 」を開催しました。 これは 公益財団法人山田進太郎D&I財団 が実施する「 Girls Meet STEM 」プログラムの一環です。中高生女子がSTEM（科学・技術・工学・数学）分野で働く人やSTEM分野で学ぶ学生、実際の現場に触れることで、将来の可能性を広げる機会を提供するこ

G-gen の河野です。当記事では、Google が開発した最適化問題を解くためのオープンソースライブラリ「 OR-Tools 」を使用して、製品の生産計画を作成します。 OR-Tools とは 仕様 解きたい最適化問題の定義 ソルバーの決定 最適化問題を解く API 版との比較 検証 検証内容 データ処理フロー データ準備 OR-Tools のインストール Python コード 検証結果 出力結果 処理プロセス OR-Tools とは OR-Tools は、Google が開発した、 最適化問題 を解く

1. はじめに 2026/09/01、Anthropic は新世代フロンティアモデル Claude Fable 5.1 をAmazon Bedrock および Claude Platform on AWS で提供開始しました。同日、AWS（Amazon Web Services）と Anthropic の協業で Enterprise Frontier Safeguards（EFS） をアナウンスしています。 企業が直面する本質的なジレンマがあります。それは「フロンティアモデルの高度な推論能力」と「セキュリ

20 年前の 8 月 25 日、 Jeff Barr が Amazon EC2 ベータ版を公開したブログ記事を書きました。その記事では、1 つのリージョン (米国東部) で 1 つのインスタンスタイプ ( m1.small ) の、時間単位で課金されるサイズ変更可能な Linux 仮想サーバーをクラウド内で紹介しました。最小限でありながら有用であり、コンピューティングインフラストラクチャに対する世界の考え方を変えました。 2021 年、Jeff は EC2 の 15 年にわたる歴史について、その裏話や記憶