2026/10/22 20:42

マイクロソフトは、購入したゲームをストリーミング再生する際、時給 24 セントから 40 セントを支払うよう求めてきた

RSS: https://news.ycombinator.com/rss

要約▶

Japanese Translation:

Microsoft は「Cloud Playtime」という新しい課金モデルを導入し、Xbox Insider が月次サブスクリプションなしでクラウドストリーミングの特定の時間単位を購入できるようにしました。このサービスは現在、Xbox ストアで購入可能です。導入料としては、10 時間 $4、25 時間 $8、50 時間 $12 のパッケージがあり、これらの有効期限のないクレジットパックはアーケードトークンのように機能します。重要なのは、このサービスではユーザーがすでにプレイしたいゲームを所有している必要があり、基本ソフトの費用が含まれておらず、既存ライブラリに対する純粋な按分課金オプションに過ぎないということです。この「単品購入」のアプローチは、すべてのゲームをプレイできるサブスクリプションモデルとは対照的であり、無制限なストリーミングを提供していたが持続可能なコストに見合わないため 2022 年にシャットダウンした Google Stadia とは大きく異なります。計量課金方式への移行により、Microsoft は財務リスクの低減を目指すと同時に持続可能な収益源を構築しており、将来的に一般公開にも拡張される可能性のあるハイブリッド型のマネタイゼーションにおける新たな基準を設定する可能性があります。

本文

Microsoft、Xbox Game Pass 非加入者向けクラウドプレイ個別販売を先行投入

背景と発表内容

9 月の制限措置: Microsoft は、Game Pass 加入者向けのゲームストリーミング選択肢を大幅に制限しました。
代替案の発表: その際、「Game Pass 未加入ユーザー」も以下の条件でクラウドプレイを購入可能と発表していました。
- Xbox ストアから個別購入。
- 対応タイトルを所持している場合のみ視聴可能。
先行投入: 本日、この「à la カート（計量課金）」方式のサービスがXbox Insiders に先行配信されました。
- 既存の Game Pass 購読者にとっては価格設定に違和感を覚える可能性があります。

新発売初回価格と有効期限

クラウドプレイ時間の購入プランと単価は以下の通りです：

パックサイズ	価格 (USD)	時価換算
10 時間	4 ドル	約 0.40 ドル/時間
25 時間	8 ドル	約 0.32 ドル/時間
50 時間	12 ドル	約 0.24 ドル/時間

有効期限: 購入したプレイ時間は**「使用されるまで有効」**です。
- 短期間で使いきれない場合でも期限切れになる心配はありません。
歴史的な類似性: この課金モデルは、かつてのアーケードゲーム（数分遊戯に数十セント支払う方式）を連想させます。

アーケードモデルとの違いと課題

この計量課金には、現代のゲーム体験においていくつかの問題点が指摘されます：

上乗せ料金の性質:
- 1 時間あたり 24 セント（約 0.24 ドル）という価格は一見リーズナブルに見えますが、これはゲーム自体を購入する際の**「上乗せ料金」**です。
- Xbox Game Pass ならサブスクリプション料に含まれて数百タイトルを利用できますが、個別パックは**「クラウド対応タイトルの購入が必要」**です（一部のフリーツープレイタイトルを除く）。
アーケード体験の再現性:
- 過去のアーケードでは「キャビネットごと購入」や「遊戯ごとに課金」する必要はありませんでした。
- しかし、Xbox のこのモデルではゲーム本体を別途購入する必須条件があり、純粋なアーケードのような手軽さはありません。
価値提案の根本的な違い (Stadia との比較):
- Google Stadia: プラットフォーム購入時に PC/コンソールでのローカルプレイも可能だった（ダウンロード可）。
- Xbox クラウドプレイ: ゲーム購入時はローカルプレイ不可。ストリーミング利用に限定されます。
- 結果として、Stadia のように「失敗すれば全額返金」といった選択肢がありましたが、Xbox はその点での柔軟性が異なります（※画像出典：Getty Images）。

まとめ

Microsoft はアーケード時代のような**「遊べばそれだけ課金する」**モデルを復活させました。
しかし、ゲーム本体の購入義務があるため、従来のストリーミングサービスとは本質的に異なる価値提案となっています。

同じ日のほかのニュース

一覧に戻る →

2026/10/23 8:45

Docker は変だ

## Japanese Translation: 本文は、主に Linux コンテナが特定のコア機能を利用して孤立化されたプロセスであり、仮想マシンとは異なること、また Docker がイメージをフォルダとして管理することを明確にしています。完全な仮想化と異なり、コンテナは隔離にはネームスペースを用い、リソース管理には cgroups を用いて、管理されたディレクトリ内でバイナリを直接実行します。重要な技術的詳細として、Go で記述される `runc` ランタイムがあり、これは初期システムコールの処理に C モジュールを使用して Linux カーネルとインターフェースする必要があります。Go は `fork` などの特定の機能へのネイティブサポートを持っていないため、不足している振る舞いを近似させるために `/proc/self/exe` などのワークアラウンドが必要です。さらに、標準的な Linux カーネル API は通常ルートの権限を必要とするため、Docker デモンはデフォルトで昇権限（elevated permissions）で動作します。これを解決するためには、ルートレスコンテナランタイムは、通常ルートベースのセットアップが提供する機能を複製するために、ユーザースペースのネットワーキングスタックを再構築する必要があります。結局のところ、これらのアーキテクチャ的な制約を理解することは、安全なルートレス環境を管理するユーザーにとって不可欠であり、不要な権限昇格を避けながらシステム安定性を維持する互換性のあるインフラを設計する企業にとっても重要です。

2026/10/23 7:54

LLM が大規模な正式なソフトウェア検証の実現を可能にしています

## Japanese Translation: 研究者は、大規模言語モデル（LLM）の Claude を用いて、100 以上のオープンソースソフトウェアライブラリに対して前例のない規模での形式的検証を実行し、歴史的なマイルストーンを達成しました。Theorem との協力により、プロダクション向けソフトウェアに対する初の大規模 AI 主導の形式的検証として、アセンブリ（RISC-V）レベルで実装されたコードが検証されました。その結果、64 MB 未満の入力に対して、123 のライブラリの実行可能アーティファクトがメモリ安全性エラーやフェイルするアサートなしに正常終了することが証明されました。この達成には、Claude が Rocq コードを約 1.8 億行生成し、239 のエントリポイントを対象にクラッシュしない仕様を証明するとともに、従来のフォージングで検出されなかった深刻なバグを特定・修正する作業が行われたことが寄与しました。具体的には、カウンタのアンダーフローや境界外読み取りといった複雑な問題を含むものが含まれます。検証の対象は Linux でコンパイルされた RISC-V 命令であり、ユーザーが信頼しなくてもよいのは既知のハードウェア/ソフトウェアの数学モデル、定理ステートメント自体、および Rocq の証明チェッカーのみです。基本的安全性を超えて、このアプローチはデータ圧縮の精度やアルゴリズムの正しさ（例：red-black トリーの再平衡）といった高位のプロパティも検証しました。チームは共有作業空間戦略を採用し、証明の再利用によりトークン使用量を 17%削減するものであり、Mathlib のような数学ライブラリの成長に類似しています。形式的に検証済みであっても、形式仕様が実態と異なったり機械モデルが現実と異なる場合（例：x86/ARM システム上）には、完全なバグの不在を保証しないことに留意する必要があります。本プロジェクトでは公衆の検討のために一部の証明をリリースしており、AI 支援による検証をソフトウェア開発ワークフローでの標準へと導く道筋を用意しています。

2026/10/22 23:32

Quad9（DNS レゾルバー）がフランスから退出します

## Japanese 訳： 2026 年 11 月 24 日より、Quad9 はフランスのユーザーに対して、無料のサイバープロテクトおよび一般的なサービスを提供を永久に停止いたします。この決断は、beIN が提起した重大な訴訟において Quad9 に不利となるフランス裁判所の判断を受けたものです。beIN は、特定のドメイン名の再帰的 DNS 解決をブロックすることが、視聴覚的な権利を保護するために必要であると主張しました。裁判所は、違反が完了するまで（11 月 14 日）の金融ペナルティを約 580,000 �ーロから毎日上記 1,000 ユーロに減額しましたが、Quad9 は再帰的 DNS 解決が中立かつ受動的なサービスであり、応答を変更することはそのミッションであるプライバシー、セキュリティ、そしてインテグリティに違反するとする理由をもってこれに従うことができないと述べています。さらに、Quad9 の無料サービスには登録や身元証明は不要であり、ユーザーと管轄区域を関連付けるデータベースを持たないため、geoIP ベースの管轄区域マッピングは技術的に不可能です。フランス裁判所の要求を満たすためにグローバルなブロックを実施することは、French の法律を全世界のユーザーに適用することを意味し、Quad9 にとって許容されない越境的な先例となります。以前にも地理的な IP ブロックの実施を試みた際（例：2021 年から 2023 年にかけてドイツ）、原告が VPN を介してブロックを回避したために裁判所に対する軽蔑罪として罰金が科されるなどしました。Quad9 に対して数百のドメイン名のブロックを求めて進行中の訴訟が約 20 件あり、累積的な法的リスクは大きいです。上訴は進行中ですが、Quad9 は予定通り撤退を進めることにします。この動きにより、国家機関（例：DINUM, EDF, SNCF）、研究ネットワーク（RENATER）、大学、医療提供者、および民間企業を含む何百万人ものフランスのユーザーが、サイバー脅威からほぼ 9 年間も重要な保護を失うことになります。Quad9 は、将来、監督なしで民間企業が DNS コンテンツフィルタリングを自動化することを可能にする法律に対して警告を発し、市民に対し、日常のドメイン名lookup が刑事犯罪ではないことを明確化することを目指しています。