本ブログは 2026 年 6 月 11 日に公開された AWS Blog “ AWS Nitro Isolation Engine: Formally verifying the hypervisor in the AWS Nitro System ” を翻訳したものです。 Ali Saidi は AWS の VP 兼 Distinguished Engineer です 何百万ものお客様が、最も機密性の高いワークロードの保護に AWS Nitro System を利用しており、AWS はお客様のデータを保

本ブログは 2026 年 6 月 10 日に公開された Amazon Science Blog “ EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation ” を翻訳したものです。 「分離カーネル (separation kernel)」を Nitro セキュリティシステムの他の部分から切り離し、Rust プログラミング言語のサブセットのみを使用して実装し

本ブログは 2026 年 4 月 17 日に公開された Amazon Science Blog “ Isabelle/HOL: The proof assistant behind the Nitro Isolation Engine ” を翻訳したものです。 Isabelle/HOL は、数学的な記述の表現力、自動化、スケーラビリティのバランスによって、世界初の形式的に検証されたクラウドハイパーバイザーを実現しました。 2025 年の Amazon re:Invent カンファレンスにおいて、Amazo

はじめに こんにちは、2025年9月から2026年1月まで AI Shift でインターンをしていた MAO KEYU です。 インターン期間中は、大規模言語モデルを用いた推論システムに関する研究に取り組みました。その成果をまとめた論文が、自然言語処理分野の国際会議である ACL 2026 の Findings に採択されました。 そこで今回は、アメリカ・サンディエゴを訪れ、論文の発表および参加者との研究交流を行いました。 本記事では、ACL 2026 の概要や会場の雰囲気、私たちが発表した研究、発表時に

「QA」と名のつくチームに配属されたのに、やっていることはテストと不具合報告……そんな経験はないでしょうか。 自分は開発エンジニアから第三者検証会社を経て、現在はビットキーで品質戦略を担当しています。キャリアの中で「QA」を名乗る現場をいくつも見てきましたが、その多くで感じたのは違和感でした。QAと言いながら、やっていることはテストではないか。では「QA」とは本来何なのか。 この記事は、2026年5月に開催された勉強会「AI時代に、品質エンジニアとして何者になるか」での登壇内容をベースに書いたものです。

～生成AIエージェント時代に知っておきたい「知識のデータモデリング」の本質～ はじめに 「チャンク分割が重要です。」 最近、この言葉を耳にする機会が本当に増えました。技術イベントの登壇でも、AIベンダーの提案セミナーでも、生成AIの解説記事でも、まるで業界の合言葉であるかのように当たり前に使われています。 しかし、私は時々、ふと立ち止まって考えてしまうのです。 「私たちは、この『チャンク』という言葉の持つ本当の重みを、どれほど理解できているのだろうか」と。 文章を機械的に300文字ごとに区切れば、それが優

はじめに # AIテクニカルセクターの藤堂です。セクターが独立組織となって以降、全社でAI活用を広げる取り組みが本格化しています。そのような中、6月には 第40回 JSAI2026 に参加しました。 前半ではポスター発表をした、士業資格試験を対象としたLLMベンチマークShigyoBenchについて簡単に触れ、AIの実用化についての所感を述べます。 後半では、人工知能学会で印象に残った発表と、今後のAI研究について思ったことを記します。 どういう論文か # ShigyoBenchは、 日本の士業資格試験を

レコメンドや最適化の仕事は、モデルの精度を上げることだと思われがちです。しかし、実サービスではそれだけで価値になるとは限りません。ユーザー体験を良くしたい。セッション数を伸ばしたい。広告収益も維持した...

はじめに こんにちは！データ推進室でデータサイエンティストをしている金光です。日々の業務では、マッチングの最適化やAIを活

LINEヤフーの技術カンファレンス「Tech-Verse 2026」の公式記事です。大規模言語モデル（LLM）が入力トークンの物理的しきい値を百万規模へと拡張するにつれ、ソフトウェア工学の現場は「シリ...

2026 年 6 月 15 日週、ニューヨーク市では AWS Summit が開催されます。これは、Javits Center での 1 日間のイベントであり、発表、デモ、テクニカルセッションを目的として、ビルダー、お客様、AWS チームが一堂に会します。私は Summit でのいくつかのリリースについてブログ記事を書いたので、今週それらが Go Live になるのを楽しみにしています。ただ、私は Javits Center には行くことができません。4 日間の音楽フェスティバルに参加し、テントをどのよう

こんにちは、OSSよろず相談室のSKです。 OSS に関するお問い合わせが日々寄せられる中で、今回は統合監視ツール「Zabbix」に関連して寄せられた、セキュアな通信に関するお問い合わせを2つご紹介します。 どちらもZabbixのWebコンソール（GUIポータル）へのSSL/TLS通信を安全に保つための内容ですが、Zabbix本体ではなく、Webサーバ側（Apache httpd）の ssl.conf の設定を変更します。 ケース1：TLS1.2のみに通信を制限したい 【お問い合わせ内容】 Zabbixの

はじめに 「ベクトル検索」では、文字が一致しなくても「意味が近い」データをヒットさせることができます。たとえばECサイトで「花粉がつらい」と検索したとき、「マスク」「空気清浄機」「目薬」がヒットするイメージです。商品名に「花粉がつらい」という文字は含まれていませんが、「意味が近い」という理由でヒットします。

AWS Graviton プロセッサは世代を重ねるごとに着実に進化を遂げ、イテレーションを経るごとに、コンピューティングパフォーマンス、料金パフォーマンス、エネルギー効率の点で進歩してきました。re:Invent 2025 では、Graviton5 を搭載した初のインスタンスである Amazon EC2 M9g のプレビュー版について お知らせしました 。それ以降、お客様は、幅広いワークロードで M9g をテストし、その結果を共有してくださいました。 ClickHouse は、コードを変更することなく、M

本記事は 2026 年 5 月 12 日に公開された Ankit Sharma による “ Specs just got faster (and smarter) ” を翻訳したものです。 仕様駆動開発を導入したとき、Spec フローは最初こそ少し時間がかかるかもしれないが、最終的にはより高品質な実装をもたらすと考えていました。しかし時間が経つにつれ、「構造と品質は遅さを意味する」という前提自体を問い直すようになりました。 たとえば、10 個のタスクを持つ Feature Spec があるとします。そのう