← 2026-07-22 の一覧へ戻るホーム
Show HN: Rust と Bevy で実装された自己運行型の宇宙経済シミュレーター

2026/07/22 3:29

Show HN: Rust と Bevy で実装された自己運行型の宇宙経済シミュレーター

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

元のHacker News記事へ ↗
要約▶

Japanese Translation:

The Space Project は、Rust と Bevy を完全に使用して構築された高度なエージェント駆動型の宇宙経済シミュレーターであり、スクリプト化されたストーリーラインまたはプレイヤーの目的を備えていません。フレーム当たり約 10–20ms の効率的な動作で、125ms の予算内で動作しており、このシミュレーションには GOAP プランナーを搭載した 282 隻の船舶、時間経過に応じて自己修復および劣化する 93 の施設、感情に基づいて移動する人口、および various な天体を含む約 485 個の実在する自律エンティティが含まれています。アーキテクチャは 100,000 個を超えるエンティティへのスケーリングを目標としています。経済は 13 の商品に対するオーダブック市場によって統括され、配送、コウリエ、客室輸送、補助金、供給、乗員任務の 6 つの特定のタイプを含む堅牢な契約システムを採用しており、レピュテーションゲーティングと年齢上昇による支払いを含む完全なライフサイクルを備えています。船舶は行動ツリーを使用して最安値の計画を見つけることで、貿易、配送、探検を自律的に管理し、施設は採鉱から製造までの複雑な生産レシピを処理します。本プロジェクトは、単一のワークスペース内での 5 つの特定の Rust クレートからの成るアーキテクチャを採用しており、同期シミュレーションコアと Bevy レンダラーの間で統一された ECS ワールドを共有することで、外部スクリプティングや独立したサーバーインフラストラクチャ（ただし CI 用途のため headless モードは利用可能）を必要としない高度に効率的な単一バイナリ体験を実現しています。データは SQLite を使用して永続化され、各ティックでフラッシュされ、安定した宇宙状態のためにユニークなシードが設定されています。MIT ライセンスの下で公開されているこのモジュール化されたシステムは、ゲーム開発者と研究者に、SF の設定において創発的な経済システムを研究するための現実的な環境を提供します。

本文

The Space Project：自律航行する宇宙経済シミュレータ

The Space Project は、Rust と Bevy を使用して実装された、自動実行型の宇宙経済シミュレーションです。数百隻の自律航行船が貿易や採掘を行い、市場価格の変動や派閥の干渉により倒産するまでをシミュレートします。

🌌 プロジェクト概要

基本概念

  • エージェント駆動型: スクリプトされたストーリーラインや固定的なプレイヤー目標は存在しません。
  • 観測者としてのプレイ: 「経済が自分自身でどのように機能するか」を観察（またはデバッグ用 Admin モード）することが主目的です。
  • ネイティブバイナリ: ランタイム依存関係は一切不要で、単一のバイナリとして動作します。

エージェントの自律性

各船舶は独自の**GOAP（Goal Oriented Action Planner）**プランナーを搭載し、以下の判断を自動で行います。

  • 利益率の高い貿易ルートの追跡
  • 配送契約への受諾
  • 船坞への移動と改修依頼
  • 士気低下回避のためのドック停泊

システムの動作原理

  • 施設: 生産レシピを実行し、自己修復・レベルアップしますが、資金難になると放棄されます。
  • 派閥: 課税を集め、補助金契約を募集します。
  • 人口: 食料を消費し労働力を供給しますが、感情指数が急落すると荷物をまとめ去ります。
  • 市場価格: 「カバレッジモデル」に基づき算出され、不足への緊急度乗数も考慮されています。固定価格はありません。

開発背景: 当初は Elixir/Phoenix（BEAM スケジューラ）を使用していましたが、Windows ゲーミング PC での不安定さからRustへ書き換えられました。シミュレーションとレンダリングは同一の ECS ワールドを共有するため、データ移動（マーシャル化）は一切不要です。

📊 現在の規模とパフォーマンス

メトリック値
エージェント数約 485 (船舶 282, 施設 93, 人口 27, 派閥 8)
天体数60
1 シklus の予算時間約 125ms
平均サイクルレート (p50)約 10–20ms

アーキテクチャはこれ以上の規模（10 万エージェント以上）を目指して設計されています。

🚀 今後の方向性：「何もない方向へ」

このプロジェクトはロードマップのあるゲームを目指すものではありません。むしろ、以下のような状態を目指しています。

  • フォークと改造: 名前を変えたり、ゲーム機能を上乗せしたりして新しいものを生み出してください。
  • エンジンとしての活用: 経済エンジンを別の用途に流用することを推奨します。
  • 「私が作らなかったものは、あなたが作りましょう」

開発者は GitHub の Issue や PR を歓迎しますが、対応頻度は保証されません。プロジェクトの今後について詳しくは 

CONTRIBUTING.md
をご参照ください。

🖥️ システム機能一覧

システム概要
船舶 AI (GOAP)前方志向プランナーが、貿易・給油・改修など全目標をスコアリングし、実行コスト最小の計画を作成します。飛行途中でも状況に応じて計画再計算が可能です。
経済13 の物資に対し、「カバレッジモデル」と「不足緊急度乗数」に基づき動的に価格付けを行います。船舶が供給量を移動させます。
契約配送・郵便・旅客輸送・補助金・補給・船員ミッションの 6 タイプ。公募→受諾→支払いのライフサイクルを完備し、評判ゲートや経過日数報酬を実装しています。
施設錬金・製造・採掘などのレシピを実行。時間の経過で劣化しますがツールで修復可能です。ローカル市場から在庫補充され、慢性的な資金難時は放棄されます。
派閥メンバー施設の税を集め、不足への補助金を公募し、需要のない場所の建設を財源化します。相互関係を保持しています。
人口食料・燃料消費、労働力生産を行います。ストレス下で契約を公募し、感情指数崩壊時には物理的に幸福なシステムへ移住します。
船員飢餓・疲労・士気を統合し、派生タスクを実行。スキル習得や給与支払いを行い、士気崩壊防止ガードを備えています。
建設慢性不足時に建設現場が生成され、貨物を蓄積することで実際の施設へ具現化します。
永続性 (Persistence)全データは SQLite に書き込まれ、前回のティックから正確に再開できます。ユニバース固有のシードにより、ネビュラやランドマークも安定します。
空間 LOD遠方の船舶は頻率低減処理され、フレーム予算をユーザーの注目領域へ集中させます。

詳細情報: ティックフェーズ順序、AI スタック、経済フィードバックループなどについては、

docs/ARCHITECTURE.md
にマーマイア図付きで解説されています。

⌨️ すぐに始める

環境要件

  • Rust ツールチェーン (stable 版) が必要です。

起動方法

メインメニューが表示された後、「Start」をクリックして新しい宇宙を作成します（名前指定可）。セーブデータは 

<universe-name>.db
形式で保存されます。

# ローカルでの実行 (cargo run と同等)
make run

各種コマンド一覧

目的コマンド
ウィンドウ化されたクライアント (デバッグ用)
make run
リリースビルド
make build
→ 
target/release/client_bevy
ヘッドレスモード (CI/テスト用)
cargo run -p client_bevy -- --headless
検証 (ビルド + テスト + clippy)
make verify
スモークテスト
scripts/smoke.sh [secs]

仕組み: 

client_bevy
はシミュレーションを含む単一のプロセスです。ヘッドレスモードでは HTTP/WebSocket サーバー（sim_server ライブラリ）を内部で起動するため、別途サーバープロセスを用意する必要はありません。

操作説明

キー / 操作動作
レフトドラッグカメラ軌道変更
ライトドラッグ / WASDパン (移動)
スクロールズーム
左クリック船舶/施設の選択 → データパネル表示
右クリックコンテキストメニュー (詳細・追尾・視点切り替え・破棄)
Space キー一時停止 / 再開
Esc キートップパネル閉じる / 選択クリア / PAUSE メニュー
P キーPAUSE メニューを開く
F12 キースクリーンショット

トップバーでの操作:

  • パネル切り替え（船舶・市場・派閥・契約・イベントなど）
  • 速度設定 (1× / 2× / 5× / 10×)
  • 船舶/施設の生成

すべてのパネルは ECS ワールドをリアルタイムで読み取っています。船舶をクリックすると、クレジット数・乗組員・燃料・現在の目標・装備品などの詳細情報を確認できます。

🏗️ アーキテクチャと技術スタック

パッケージ構成

単一の Cargo ワークスペース内に以下の 5 つのパッケージが構成されています。

  • sim_core
    : 純粋なシミュレーションロジック（hecs ECS, GOAP, 経済システム）。非同期処理・IO なし、非常に簡単にテスト可能。
  • sim_db
    : SQLite 永続化（sqlx）を担うモジュール。
  • sim_server
    : HTTP/WebSocket ハンドラー。ヘッドレスモードで使用されるライブラリ。
  • sim_protocol
    : ヘッドレス/CI 向けの WebSocket ワイヤタイプ。
  • client_bevy
    : バイナリ本体。Bevy 0.18 + egui を使用し、
    sim_core
    を埋め込みます。

誠実さを保つ 3 つの原則

  1. 純粋なロジック: 
    sim_core
    は 
    tokio
    , 
    sqlx
    , 
    axum
    をインポートしません。論理的検討と単体テストが容易です。
  2. 真のソース: 
    hecs
    がティック間の唯一の情報源です。排他的可変アクセスを使用し、エージェント別ロックを回避しています。
  3. 決定論的処理: クロスエンティティ影響はコマンドバッファ経由で行われ、フェーズ中の書き込み競合はありません。

使用技術スタック

  • Rust (Edition 2021): 全体の実装言語
  • Bevy 0.18: レンダラー、ECS 駆動ループ、カスタム WGSL シェーダー（惑星、コロナなど）
  • hecs: シミュレーション独自の ECS（Bevy と分離）
  • egui (via bevy_egui): インスペクタパネル用
  • bevy_hanabi: GPU 粒子軌跡と爆発エフェクト
  • sqlx + SQLite: ライブラリバンドル型の永続化機能
  • axum + tokio: ヘッドレス用の HTTP/WebSocket ハーネス

注: もとの Godot クライアントは歴史の記念碑として残っていますが、現在は使用されていません。Bevy への移行によりソケット境界が完全に消去されています。

📦 ビルドとパッケージング

Makefile
は cargo、rustup、codesign をラップします。

コマンド説明
make build
ホスト OS に依存したリリースバイナリ
make build-mac
arm64 macOS ビルド (intel/universal も可)
make build-win
Windows MSVC ビルド
make build-linux
Linux ホスト向けビルド

パッケージングコマンド

  • macOS: 
    make package-mac
    (.appバンドル), 
    make dmg
    (.dmgファイル)
  • Windows: 
    make package-win
    (.zip アーカイブ)
  • Linux: 
    make package-linux
    (.tar.gz アーカイブ)

版本管理はルートにある 

Cargo.toml
のワークスペースバージョンに基づき、Makefile もこれを参照するため、パッケージ化されたビルドも常に整合性を保ちます。

📜 ライセンスと謝辞

  • ライセンス: MIT (自由に何でもして構いません)
  • 著作権: © 2026 Kalcode (David Clausen)

Rust & Bevy を使って楽しく作成
By Kalcode & Claude
📍 Illinois（イリノイ州）にて制作

同じ日のほかのニュース

一覧に戻る →

2026/07/22 6:09

ヤコビアン仮説の反例についての考察

## Japanese Translation: 元要約は明確で正確であり、主要な点と整合性が取られています。改善は必要ありません。 ## 概要： テキストは決定的に、ヤコビアン予想が三次元以上の次元では偽であることを述べており、$\mathbb{C}^n$ から $\mathbb{C}^n$ への写像で非ゼロ定数のヤコビアンを持つものがすべて全的に逆関数を持つというアイデアを反証することで、長年の数学的議論を解決します。研究者たちは、三次変数における次数七の多項式写像を構成することによってこれを証明しました。この写像は非ゼロ定数のヤコビアンを持ちながら全球的反関数を持たず、ヤコビアンの行列における巨大なキャンセル（非定数係数の消滅）に依存して局所的逆関性を維持しつつ全球的な有効性を回避しています。予想は二次元的には依然として未解決であり、一元的には自明に真です。幾何学的な再定式化により、$\mathbb{C}^n$ と同型なアフィン多様体 $X$ に対して、局所的単射（根解析を用いた証明で $\mathrm{PGL}_2$ ヨーブ変換とゼロでない結果ant を用いて確立）だが全球的には単射ではないような写像が存在することが示されます。ベクトル空間の対称化乗幂と低次数多項式の積（線形 × 二次 = 三次）に基づく構築では、五次元群作用による巨大な等変性を活用し、結果ant 条件を用いたスケーリング対称性を通じて正規化を行います。特定の三次元的アフィン切片による次元削減は、二次曲面の同型問題を回避しつつ主要な性質を保持し、原点ファイバーを除いて座標に対して三次方程式と二次方程式を解くことで双有理同値を可能にし、アフィン空間と同型のアフィン多様体を導きます。ビッグ-O 記法を用いた漸近解析は、全てのファイバー（極限ケースを含む）をカバーする全球的多項式パラメータ化を確認します。AI チャットボットを含む高度な計算ツールは、漸近成長率とファイバーパラメータ化に関わる複雑な計算を検証し、得られた写像是自明な変数変化を除いて元の反例と一致します。この画期的な進展により、分野の焦点は普遍的反證法の探求から、局所的性質が全球的な振る舞いを保証しない特定の実例への理解へとシフトしました。

2026/07/22 0:17

Gemini 3.6 Flash、3.5 Flash-Lite および 3.5 Flash Cyber

## Japanese 翻訳: 以下の改良版は、欠落していた価格データ、具体的なベンチマークハイライト、および販売チャネルを統合し、「要点リスト」への完全な忠実性を確保しています： ## 改善されたサマリー Google は正式に、AI エージェントの効率を大幅に向上させ、レイテンシを低減し、コストを削減することを目的とした 3 つの進化した Gemini モデル——3.6 Flash、3.5 Flash-Lite、および専門性の高い 3.5 Flash Cyber を紹介しました。**Gemini 3.6 Flash**は、トークン使用量を最大で 17%削減（入力トークンあたり$1.50 で提供）しながら、より高い精度を実現します。DeepSWE のようなベンチマークでは、先行する 3.5 Flash の 37% に対して 49% という成功率を達成し、ML リサーチおよびコンピューター使用に関する能力にも顕著な改善が見られます。**Gemini 3.5 Flash-Lite**はシリーズ内で最も高速なモデルとして際立っており、1 秒間に 350 以上の出力トークンを処理（入力トークンあたり$0.3 で提供）し、複数のコーディングベンチマークにおいて 3.5 Flash および 3 Flash を凌駕しています。 セキュリティニーズに応えるため、Google は CodeMender エコシステム内でのサイバーセキュリティ脆弱性の特定と是正に最適化された**3.5 Flash Cyber**バリアントをローンチしました。これらの技術の二重用途特性により、この特定のモデルは、限定されたパイロットプログラムを通じて検証済みの政府機関および信頼パートナーのみが利用可能です。すべての新モデルは直ちに Gemini API、Google AI Studio、Android Studio、およびその他の開発プラットフォーム経由で利用可能であり、すぐに Google Search への展開も始まっています。

2026/07/22 0:41

長らく死んだとみられていた西アフリカに、豊かなサンゴ礁が発見された。

## Japanese 翻訳: 1960 年代の初期調査で西アフリカベニン海岸沖の健康なサンゴ礁が存在しないと見落されていたものが、研究者によってついにその存在が確認され、世界中で半分以上の礁域が減少しているというグローバルなトレンドに抗した。水深 175 フィート（約 53 メートル）を超える深い海域においても、岩盤基質上に多様な生物が生息し、繁栄している。2025 年 1 月に National Geographic Explorers グランツから 2 万ドルの助成金を獲得した Gérard Zinzindohoué 氏を率いるチームは、高価なソナー費用が予算の大半を食い込み、欧州のサプライヤーとの銀行取引上の問題といった重大な物流上の課題を克服した。常設の研究船を持たないため、彼らはハイテクソナーを搭載したピロウで現地漁師に offshore へ運ばれ、海底を探測して撮影を行った。この探査では、軟体珊瑚 6 タイプ、黒珊瑚 2 タイプ、魚類 8 種を特定し、該地域を「中光層サンゴ生態系（mesophotic coral ecosystem）」に分類した——これはサンゴ礁形成の限界深度にある光依存型コミュニティである。地元研究者である Houangninan Midinoudewa 氏は、現在、稀有种類であるトゲメダイアザルシャーク、シルクイースカ、ブローンスケート、マーズレットエイを含む稀有な種々を守るため、「重要なエイとサメ地域（Important Shark and Ray Area）」としての指定を求めている。保存活動だけでなく、この未撹乱の生態系は、炭素年代測定や古気候学研究における独自の潜在力を提供し、広範な劣化に反して回復力ある天然資源を開示するとともに、科学発掘への新たな道を開く。