こんにちは。楽楽明細の開発をしている者です。 運用目線での顧客視点として、障害対応の話を書こうと思います。 障害が起きたとき、私が頭の中でどういう順番で何を判断しているのか。それを文章にしてみます。 はじめに 前提になる楽楽明細の事情 私の動き方 まず騒ぐ 何が起きているかをざっと把握する 顧客への影響を見極める 止血が要るかで動きを分ける 原因調査で意識していること そのケースがなぜ起きたかを追う 仮説を複数立ててから動く AI との分業 属人化させないために はじめに 開発の仕事は、機能を作りリリース

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

はじめに 2025年8月29日、滋賀県大津市のピアザ淡海（ピアザホール）でNaniwaNOG 3ミーティングが開催されました。関西のネットワーク技術者が一堂に会するこのイベントで、前回に引き続き、学生を中心としたNOCチ […]

こんにちは！医療プラットフォーム本部 コンシューマーサービス室 第一開発グループの森です。 2026年4月にメドレーへ新卒入社し、 いつもの医療が変わるアプリ「melmo」 を開発しています。 株式会社メドレーは、2026年9月11日(金)〜13日(日)に開催された iOSDC Japan 2026 に、ゴールドスポンサーとして協賛しました。 私はブーススタッフとして3日間参加しました。新卒1年目で参加する、初めての技術カンファレンスです！ 本記事では、当日の会場やブースの様子、印象に残ったセッションをレ

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

はじめに ソフトクリエイトで Microsoft 365 の設計・構築を担当している、 野菜トリプル  です。 Entra/Intuneなどのインフラ、Defenderなどのセキュリティ製品の導入と並行して、SharePoint の設計・構築および管理者教育を担当しています。

ニューヨークの 9 月中旬には、特別なエネルギーがあります。パンプキンスパイスラテがたっぷりとあり、気温も下がってきていて、もうすぐセーターが必要となりそうな天気です。街は全速力で戻ってきました。AWS のローンチカレンダーも同様です。2026 年 9 月 14 日週、そのエネルギーは、Amazon Bedrock 上の新しいフロンティアモデル、Amazon Quick のデスクトップアプリ、そして AI エージェントで最大の効果を得ている開発者は単により良いツールを使っているだけではなく、働き方そのもの

はじめまして。昨年新卒として株式会社ラクスに入社し、現在はHRソリューション開発部楽楽勤怠開発課でバックエンドエンジニアをしているmurosyoです。普段は楽楽勤怠の機能開発を担当しています。開発本部が掲げる 『顧客に価値を高速提供できるAIネイティブな開発組織への変革』 というビジョンのもと、ClaudeのSkillsやAgentsなどを整備・展開しています。 今回は、私がチームに導入を試みた 「Claude Codeを用いたIssueの自動解消」 の取り組みについて、構成の全貌や、実際にやってみて直面

2026 年 5 月 21 日から 23 日に開催された「第 21 回情報危機管理コンテスト」にて経済産業大臣賞 と AWS 賞 を受賞した 『ITソルーション室_げんこつ』 の皆様にインタビューを行いました。 情報危機管理コンテストは、企業インフラを模した環境で発生するセキュリティインシデントに対し、参加チームが調査・対応を行い、主催者が用意した窓口へ報告を行う実践的なコンテストです。今回はチーム編成や役割分担、コンテストへの準備に加えて、生成 AI の活用が進むなかでのインシデントレスポンスの変化につ

はじめに こんにちは。2026年4月にInsight Edge（以下、IE）へデータサイエンティストとして新卒入社した田中です。 本記事を執筆している2026年9月時点で、入社から約5か月が経ちました。新卒データサイエンティスト（DS）の2期生として、新卒研修から最初の案件への参画までを経験する中で、入社前には見えていなかったIEの特徴が少しずつ分かってきました。本記事では、実際に働いて感じたことを新卒の視点からお伝えします。 IEへの新卒入社を検討している学生の方はもちろん、商社グループでデータサイエン

2025 年、 Amazon Elastic Block Store (Amazon EBS) の新機能である ボリュームクローン を導入しました。これにより、同一のアベイラビリティーゾーン内で、EBS ボリュームの特定時点のコピーを即座に作成できるようになりました。 2026 年 9 月 9 日、ボリュームクローンをクロスアカウントコピーに対応させました。これにより、EBS ボリュームのコピーを他の AWS アカウントに作成できるほか、必要に応じて、コピー先のアカウントにある AWS Key Manag

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

はじめに こんにちは。Re:Career採用で26新卒としてABEMAに入社し、広告配信システムの開 ...

前置き AIで簡易なペネトレーションテストをする場合、基盤がAWS（Amazon Web Services）ならAWS Security Agent（現在はAWS Continuumの一部）が楽ですが、他クラウドを利用しているケースや、すでにAWS Bedrock以外のLLM基盤を整備しており、それを利用したいケースを想定して、本記事を書いてみました。 はじめに 2026年9月現在、LLMの性能向上によってWebセキュリティを取り巻く状況は大きく変化しており、特にフロンティアモデルと呼ばれる高性能なLLM

はじめに 本ブログは、株式会社第一興商と Amazon Web Services Japan が共同で執筆しました。 株式会社第一興商 （以下、第一興商）では、通信カラオケ「DAM」シリーズにおける採点機能の高度化に取り組んでおり、AWS Professional Services と共同で、人間の聴感に即した歌声評価 AI モデル「聴感採点モデル」を開発しました。この技術は、DAM のフラッグシップモデル LIVE DAM WAO! に搭載されている採点機能 精密採点Ai Heart の中核として活用さ