参照：「AWS Introduces Automated Reasoning Checks」 ^1 この記事は KINTOテクノロジーズ Advent Calendar 2025 の3日目の記事です🎅🎄 0. はじめに KINTOテクノロジーズのCloud Infrastructure G(CIG)でInfrastructure Architectを担当している劉(YOU)です。 2024年12月、AWSは生成AIの数学的証明と論理的推論を実現することができる自動推論を re:inventで発表 しました

Reference: AWS Introduces Automated Reasoning Checks ^1 This article is Day 3 entry of the KINTO Technologies Advent Calendar 2025 🎅🎄 0. Introduction I'm YOU, an Infrastructure Architect in the Cloud Infrastructure Group (CIG) at KINTO Technologies. I

Introduction Hello, I'm watanabe, and I joined in September 2025! In this article, I interviewed everyone who joined in September 2025 about their impressions right after joining. I hope this will be useful content for those interested in KINTO Techno

2025 年 11 月 30 日、 AWS Lambda マネージドインスタンスを発表しました。これは、サーバーレスの運用の簡単さを維持しながら、 Amazon Elastic Compute Cloud（Amazon EC2) 上で AWS Lambda 関数を実行できる新機能です。この強化機能は、重要な顧客ニーズに対応しています。すなわち、サーバーレス開発体験を損なうことなく、特殊なコンピューティングオプションにアクセスし、定常ワークロードのコストを最適化できるようにするものです。 Lambda はイ

セキュリティサービス部 佐竹です。AWS re:Invent 2025 期間中に発表された、Amazon GuardDuty の拡張脅威検知（Extended Threat Detection）における Amazon EC2 および Amazon ECS のサポートについて、その詳細とメリットを「実際の検出結果」と共に解説したいと思います。

はじめに 「緊急の脆弱性が発見された！影響を受けるサーバーを今すぐ特定しなければ...」 こんな経験、ありませんか？ 管理するEC2インスタンスが増えれば増えるほど、以下のような課題に直面します： 課題 具体例 インベントリ管理の煩雑さ マルチアカウント × 複数インスタンスの情報を手動で管理 検索の困難さ 「Apache 2.4.49以前のバージョン」を使っているサーバーはどのアカウントの、どのインスタンス？ 緊急対応の遅れ 脆弱性情報が出てから影響範囲（対象インスタンス）の特定に数時間〜数日 本記事で

こんにちは、ひるたんぬです。 この度「 AWS re:Invent 2025 」に参加できることになりましたので、現地での出来事や参加したセッションについてのレポートをお送りしたいと思います！ 今回は、二日目の出来事を振り返ります！ 今回の記事も比較的写真が多めの記事となります。ご了承くださいませ。 Day 2 Day 2からは毎日KeyNoteというセッションが開催されます。 そのため、二日目はKeyNoteの聴講からスタートです。 Opening Keynote with Matt Garman Ke

はじめに NTTデータの奥村です。今回は私が実際にやってしまったOCI（Oracle Cloud Infrastructure）での高額請求を受けてしまった失敗事例について紹介したいと思います。正直まだ傷は癒えてないのですが、記事にして執筆することで気を紛らわせたいと思います。私のような失敗をしてしまう方が少しでも少なくなればと願ってやみません。 ! 本件は私個人の過失であり、OCIには何ら過失はございません。その前提で記事をご覧ください。 背景 まずは少し背景について述べたいと思います。OCIでは、他の

この記事は、 Insight Edge Advent Calendar 2025 の4日目の記事です！！ はじめに こんにちは。データサイエンティストの唐澤です。 業務でAmazon Bedrockを利用する機会があったのですが、複数のリクエストを並列で処理すると ThrottlingException が頻発する問題に遭遇しました。この記事では、その時の経験をもとに、どのようなリトライ戦略が効果的かをシミュレータで検証した結果を共有します。 目次 Amazon Bedrock APIレート制限対策 -

こんにちは、AWS サポート課の坂本（@t_sakam）です。今回は、本日の re:Invent 2025 のキーノートで発表された新サービス「AWS Security Agent」に関するブログです。 まず、今回は速報としてマネジメントコンソールを見て、どのようなサービスなのかを簡単に確認してみました。 ※現在「AWS Security Agent」は、パブリックプレビュー期間中で、バージニアリージョン（us-east-1）のみ で利用が可能です。 AWS Security Agent とは 公式ブログ

1. はじめに Snowflake では近年、Iceberg Tablesや外部テーブル連携などオープンテーブルフォーマットへの対応が急速に拡張されています。その中で、Snowflake Innovation Team（SIT）が公開しているツールセット Emerging Solutions Toolboxは、実験的・実用的なユーティリティが多く、Snowflake技術者としては是非触っておきたい内容になっています。 今回はその中でも Helper Iceberg Migrator を実際に使い、Snow

.entry .entry-content .table-of-contents > li > ul { display: none; } はじめに こんにちは、情報セキュリティ部SOCブロックの大山です。普段はSOC業務、いわゆる「守る側」の業務を担当しています。攻撃者視点の理解をより深めることで、検知の質や対応手順の説得力を高めることを目的に、OffSec社が提供する「OSCP+」および「OSCP」を受講し、それぞれ資格試験に合格しました。 本記事では、同じブロックの 兵藤 と共同で受講から合格までの

はじめに タイミーで SRE 業務を担当している徳富（ @yannKazu1 ）です。 日々、数千万件のデータと向き合う中で、 Aurora MySQL の運用をより良くするための改善を積み重ねています。 本記事では、その中で経験してきた “机上ではわからないリアルな気づきや学び” を、できるだけ具体的にまとめました。 これから Aurora を本気で運用したい方や、同じような課題に悩んでいる方のヒントになれば嬉しいです。 (この記事は Timee Product Advent Calendar 2025

こんにちは、ブログ運営担当の遠藤です。 12/9（火）12:00～13:00当社主催の勉強会「NRIネットコム TECH & DESIGN STUDY #84」が開催されます!! 今回のTECH & DESIGN STUDYでは、当社エンジニアから「Bedrock AgentCoreで作る1on1支援エージェント」についてお話します。 発表概要 1on1 ミーティングは組織にとって重要な場ですが、「過去の会話が埋もれる」「継続的な成長支援が難しい」といった課題を抱えています。 本セッションでは、AWS の

みなさん、こんにちは。XI イノベーション 本部エンジニアリングテクノロ ジー センターの宮原です。 アメリ カ、ラスベガスにて12/1(月)から始まった AWS re:Invent2025に参加しております。 現地時間の12/2(火)の8:00からのキーノートに先ほど参加し、キーノート終了後速報でこちらのテックブログを書いております！ キーノート内での新サービス・機能の発表の中でいくつかピックアップし、サマリー形式でお伝えできればと思います！ 所感 新サービス・機能の発表 Amazon Nova 2 A