本記事は 2026 年 11 月 2 日に Kiro ブログで公開された「 Kiro proves properties of its own harness in Lean 」を翻訳したものです。 私たちは、Kiro が自身のコードの一部を Lean でモデル化し、そのモデルについての定理を証明し、各モデルを TypeScript、Rust、Python のコードと照らし合わせる作業を、自動で進める仕組みを作りました。最初に適用した対象は Kiro 自身です。26 個の関数のモデルについて、性質の候補と

Azure環境で仮想マシンへ安全にリモート接続するための「Azure Bastion」について、従来の踏み台サーバーと比較した導入メリットや、コスト・ネットワーク設計などの注意点を解説します。

本稿は、2026 年 10 月 2 日に公開された “ Architect highly available Oracle Database on Amazon EVS and FSx for ONTAP ” を翻訳したものです。 VMware Cloud Foundation (VCF) への既存投資がある企業は、アプリケーションの再設計や運用チームの再教育を行うことなく、Oracle データベースを AWS に移行したいと考えています。 Amazon Elastic VMware Service (A

本稿は、2026 年 10 月 2 日に公開された “ Deploy Oracle Database step by step on Amazon EVS with FSx for ONTAP ” を翻訳したものです。 この記事では、NFS データストアストレージとして Amazon FSx for NetApp ONTAP を使用して、 Amazon Elastic VMware Service (Amazon EVS) 上に Oracle Database をデプロイするためのステップバイステップの手

2026 年 10 月 23 日と 30 日の 2 回、「［臨時開催］FY2026 AWS セキュリティセミナー ― フロンティア AI 時代のサイバー攻撃に備える ―」をオンラインで開催しました。フロンティア AI の登場で変わりつつある脆弱性対応について、AWS が基盤側で行っている対策と、お客様の側で取り組める対策を整理してお伝えしました。本記事では 2 回の内容をまとめてご報告します。11 月からは、ここで紹介したサービスを実際に操作するオンラインハンズオンを週次で開催しています。 セミナーの概要

2026年11月22日(日)に開催される、JSConf JP 2026にて、ミイダスは プレミアムスポンサー を務めさせていただきます！ 当日は ブース出展 を行いますので、ぜひご来場ください。

本記事は 2026 年 6 月 29 日 に公開された「 Implementing Responsible AI in Contact Centers with Connect AI Agents Guardrails 」を翻訳したものです。 コンタクトセンターへの AI の導入は、カスタマーサービスに大きな変革をもたらしました。応答時間の短縮、サポート品質の均一化、エージェントの生産性向上などが実現しています。一方でこの変革には、AI システムが安全かつ倫理的に、規制要件に準拠して動作する責任も伴います

RAGとJevで「ベクトルDBに根拠となる答えがない」ことを見分ける仕組みを作った話 はじめに こんにちは。1か月間のインターンで、サーバーサイド（Go）を担当した橋本です。 インターンでは、AIエージェントの機能追加の設計・実装に携わりました。この記事では、その中でもRAG（Retrieval-Augmented Generation）の検索の部分に焦点を当てます。RAGは、質問に関係する文書を探してLLMに渡し、その文書をもとに回答を作成する仕組みです。ここではデリッシュキッチンの情報を検索し、AIの

こんにちは。NTTドコモビジネスのクラウドサービスである SDPFクラウド/サーバー （以降、SDPFクラウド）の内製開発に従事している堀岡勇杜と申します。私たちのチームが主に担当しているのは、ESI（Elastic Service Infrastructure）という名称の、SDPFクラウドのネットワークオーケストレータの開発です。ESIチームの業務内容については、 こちらの記事 でも詳しく紹介しています。 ESIは開発開始から10年以上が経過しており、現在チームではアーキテクチャの刷新（リアーキテクテ

ソフトクリエイトのサトキチです。 オンプレミス環境からキャリアをスタートし、現在はMicrosoft 365を中心としたクラウドサービスに携わっています。 過去には、お客様先に常駐してシステムの運用・管理に携わった経験もあります。

 この記事を読んでいただきありがとうございます。アジャイルグループに所属する、藤井智弘です。  最初に、自己紹介をやり直させてください。私は長らく「私設・日本式アジャイルを撲滅する会」の会長を務めています。会員数は非公開（というより、数えたことがありません）。会費はなく、会則と設立の経緯は、本稿の最後に載せます。  表向きはおふざけです。でも、中身は大真面目です。そして実際に良く訊かれます。  今回は、豆蔵のアルバイトとしてではなく、この怪しげな会の会長として、なぜこれを撲滅したいのかを書いておきます。

はじめに PSSLの佐々木です。 最近、仕事の中や技術ブログ、登壇資料を見ていてこんな場面に出会うことが増えました。 チャットで質問したら、AIが生成したと思われる長文がそのまま貼り付けられて返ってくる 資料が、AIに作らせたスライドをほぼ無加工で並べたものになっている 記事や文書の中に必要なことは記載されているがそれ以外の情報も多すぎて読み手のコストが非常に高い 私自身、業務で毎日のようにAIを使っています。AIを使うことで非常に効率的に仕事を進めることができるようになった反面、文章や資料、記事の読み手

アマゾン ウェブ サービス ジャパン合同会社（AWS）は、2026 年 11 月 18 日（水）から 20 日（金）まで幕張メッセで開催される Inter BEE 2026 に出展します。本記事では、AWS ブースで展示する 4 つのデモと、技術相談コーナー Ask an Expert、会期中に来場者の要望を実装していく Inter BEE チャレンジをご紹介します。 項目 内容 会期 2026 年 11 月 18 日（水）〜 20 日（金） 会場 幕張メッセ 7 ホール 小間 7314 出展者ページ I

楽楽請求の開発チームに所属している takayama です。 本番環境で ERROR ログのアラートが届いたとき、最初の時間を何に使っていますか。 私は、過去の Issue を探したり、障害対応シートに情報を書き写したりする作業に、その時間の多くを使っていました。 そこで、ERROR ログを1行渡すだけで一次対応の下準備をしてくれる Claude Code のスキル「error-triage」を作り、書き写しや整形の作業をスキルに任せるようにしました。 この記事では、その経緯や工夫した点を紹介します。 は

本稿は、KDDI 株式会社 コア技術統括本部 情報システム本部 DX システム 2 部 フロント SRE グループ 西 総一朗 氏に寄稿いただきました。 はじめに KDDI 株式会社 （以下、KDDI）では 2026 年 7 月、通信事業のお客さま向けサービスを支える Amazon Elastic Kubernetes Service （以下、EKS）のクラスタを、マネージドノードグループから Amazon EKS Auto Mode （以下、EKS Auto Mode）へ移行しました。移行の目的は、ワー