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

はじめに：設計における2つのアプローチ こんにちは。電通総研の技術統括推進ユニット 江夏秀俊と、同じく電通総研の製造エンジニアリング本部 エンジニアリング1ユニット 齊藤智明です。 製品開発やエレキ・メカ設計の現場で、次のような状況を目にすることはないでしょうか。 「機能ブロック図などの図面（定性モデル）を作成してみたものの、その後の詳細設計への活かし方が分からない」 「外部の提案や手法に沿って構造の整理を進めたが、具体的な仕様決定やトレードオフの判断で行き詰まる」 「設計判断を迫られても数値的な根拠がな

本ブログは 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サイトで「花粉がつらい」と検索したとき、「マスク」「空気清浄機」「目薬」がヒットするイメージです。商品名に「花粉がつらい」という文字は含まれていませんが、「意味が近い」という理由でヒットします。