sim-lab — 「ひとつ変えてみる」のシミュレーション

回の一覧

動画の説明欄の「ep01 版」「ep02 版」「ep03 版」「ep04 版」は、この頁の各一覧を指します。同じ版かどうかは sha256 で確かめられます。

ep01 版のファイル

.py と .md は、この頁では末尾に .txt を付けて置いています（中身は1バイトも同じなので、sha256 の値も同じです）。下の表の sha256 は元のファイル名のときの値です。

sha256 の一覧は2つ置いています。20個の値はどちらも同じで、名前の列だけが違います。保存した名前に合うほうを使ってください——どちらでも sha256sum -c が 20行すべて OK になります。

ep01 の再現手順

結果を作った環境: Python 3.12.3・NumPy 2.5.3。外部のデータは読みません（街は乱数で作る合成の街です）。

1. 空のフォルダで、ファイル一式を元の名前で取り寄せて sha256 を確かめる（.txt 付きで置いてある物を、元の名前に戻して保存します。20行すべて OK になります）:

for f in sim/schelling.py sim/make_report.py sim/predictions.json sim/results/baseline.json sim/results/colors_shape.json sim/results/display_finals.json sim/results/display_run_colors3_bounded.json sim/results/display_run_indiff030.json sim/results/display_run_moveprob020.json sim/results/display_run_t030.json sim/results/indifferent.json sim/results/move_prob.json sim/results/predictions_check.json sim/results/summary.json sim/results/sweep_t.json sim/results/sweep_t_ext.json report/results.md tests/test_sim_metrics.py script/ep01.md LICENSE; do
  mkdir -p "$(dirname "$f")"
  case "$f" in *.json) src="$f" ;; *) src="$f.txt" ;; esac
  curl -fsSL "https://apps.d-it.co.jp/sim-lab/files/$src" -o "$f"
done
curl -fsSL "https://apps.d-it.co.jp/sim-lab/files/SHA256SUMS.txt" -o SHA256SUMS.txt
sha256sum -c SHA256SUMS.txt

この頁に置いてある名前（.txt 付き）のまま写したい場合は、こちら。確かめる一覧も -published のほうを使います（こちらは 2. を回す前に .txt を外す必要があります）:

for f in sim/schelling.py.txt sim/make_report.py.txt sim/predictions.json sim/results/baseline.json sim/results/colors_shape.json sim/results/display_finals.json sim/results/display_run_colors3_bounded.json sim/results/display_run_indiff030.json sim/results/display_run_moveprob020.json sim/results/display_run_t030.json sim/results/indifferent.json sim/results/move_prob.json sim/results/predictions_check.json sim/results/summary.json sim/results/sweep_t.json sim/results/sweep_t_ext.json report/results.md.txt tests/test_sim_metrics.py.txt script/ep01.md.txt LICENSE.txt; do
  mkdir -p "$(dirname "$f")"
  curl -fsSL "https://apps.d-it.co.jp/sim-lab/files/$f" -o "$f"
done
curl -fsSL "https://apps.d-it.co.jp/sim-lab/files/SHA256SUMS-published.txt" -o SHA256SUMS-published.txt
sha256sum -c SHA256SUMS-published.txt

2. 回す（23条件 × 10シード〈seed 1001〜1010〉）・結果表を作る・試験する:

python3 -m venv .venv && .venv/bin/pip install numpy==2.5.3 pytest
.venv/bin/python sim/schelling.py --out rerun
.venv/bin/python sim/make_report.py --results rerun --out rerun/results.md
.venv/bin/python -m pytest -q tests

rerun/ にできた JSON は、sim/results/ の同名のファイルと、実行の時刻と所要時間の欄（generated_at・runtime_s・runtime_per_condition_s）を除いて一致します（当社の環境で 2026-10-10 に確かめました。1回の確認です）。

ep02 版のファイル

許可した再現用の6本と LICENSE です。.py と .md は公開面では末尾に .txt を付けていますが、中身は同じです。

SHA256SUMS-ep02.txt は元の名前、SHA256SUMS-ep02-published.txt はこの頁の名前で検証する一覧です。

ep02 の再現手順

結果を作った環境は Python 3.12・NumPy 2.5.3。次の手順で取り寄せて検証し、計算をやり直せます。

set -- sim/granovetter.py sim/ep02_predictions.json sim/results/ep02/summary.json sim/results/ep02/predictions_check.json report/ep02-results.md tests/test_granovetter.py LICENSE
for f do
  mkdir -p "$(dirname "$f")"
  case "$f" in *.json) src="$f" ;; *) src="$f.txt" ;; esac
  curl -fsSL "https://apps.d-it.co.jp/sim-lab/files/$src" -o "$f"
done
curl -fsSL "https://apps.d-it.co.jp/sim-lab/files/SHA256SUMS-ep02.txt" -o SHA256SUMS-ep02.txt
sha256sum -c SHA256SUMS-ep02.txt

python3 -m venv .venv && .venv/bin/pip install numpy==2.5.3 pytest
.venv/bin/python sim/granovetter.py --out rerun
.venv/bin/python -m pytest -q tests/test_granovetter.py

rerun/summary.json は公開した結果と、実行時刻・所要時間の generated_at と runtime_s を除いて一致します。

ep02 のモデルについて

• Granovetter (1978) の原論文の例は暴動などの集団行動です。動画では観客が立ち上がる場面に置き換えましたが、しきい値の計算は同じです。
• このモデルが言えないこと: しきい値だけのモデルで、誰が誰を見ているか、席の近さは入っていません。
• 予想は本番の乱数を回す前に書きましたが、設計の試し回しを見た後です。この経緯は sim/ep02_predictions.json の _exploration に記録しています。

参考文献

• Granovetter, M. (1978). Threshold Models of Collective Behavior. American Journal of Sociology, 83(6), 1420–1443. doi:10.1086/226707

ep03 版のファイル

許可した再現用の6本と LICENSE です。.py と .md は公開面では末尾に .txt を付けていますが、中身は同じです。

SHA256SUMS-ep03.txt は元の名前、SHA256SUMS-ep03-published.txt はこの頁の名前で検証する一覧です。

ep03 の再現手順

標準ライブラリだけを使います。次の手順で取り寄せて検証し、計算をやり直せます。

set -- sim/ep03/voter_model.py sim/ep03/predictions.json sim/results/ep03/summary.json sim/results/ep03/predictions_check.json report/ep03-results.md sim/ep03/test_voter_model.py LICENSE
for f do
  mkdir -p "$(dirname "$f")"
  case "$f" in *.json) src="$f" ;; *) src="$f.txt" ;; esac
  curl -fsSL "https://apps.d-it.co.jp/sim-lab/files/$src" -o "$f"
done
curl -fsSL "https://apps.d-it.co.jp/sim-lab/files/SHA256SUMS-ep03.txt" -o SHA256SUMS-ep03.txt
sha256sum -c SHA256SUMS-ep03.txt

python3 sim/ep03/voter_model.py --results-dir rerun
python3 -m unittest -v sim/ep03/test_voter_model.py

rerun/summary.json は公開した結果と、実行時刻・所要時間の generated_at と runtime_s を除いて一致します。

ep03 のモデルについて

• 原論文は、2つの種が格子の上で縄張りを争うモデルです。動画は場所をなくした版で、相手を選ばずにまねし、2つの種を意見AとBに置き換えています。
• 名前は投票者モデルですが、選挙は扱いません。
• このモデルが言えないこと: 隣や友だちの区別、意見を曲げない人、多数派に合わせる人は入っていません。現実の話し合いや選挙をこのモデルから読むことはできません。
• 予想は本番の乱数を回す前に書きましたが、設計の試し回しを見た後です。この経緯は sim/ep03/predictions.json の _exploration に記録しています。

参考文献

• Clifford, P., & Sudbury, A. (1973). A model for spatial conflict. Biometrika, 60(3), 581–588. doi:10.1093/biomet/60.3.581
• Holley, R. A., & Liggett, T. M. (1975). Ergodic theorems for weakly interacting infinite systems and the voter model. The Annals of Probability, 3(4), 643–663. doi:10.1214/aop/1176996306
• Castellano, C., Fortunato, S., & Loreto, V. (2009). Statistical physics of social dynamics. Reviews of Modern Physics, 81(2), 591–646. doi:10.1103/RevModPhys.81.591

ep04 版のファイル

許可した再現用の6本と LICENSE です。.py と .md は公開面では末尾に .txt を付けていますが、中身は同じです。

SHA256SUMS-ep04.txt は元の名前、SHA256SUMS-ep04-published.txt はこの頁の名前で検証する一覧です。

ep04 の再現手順

標準ライブラリだけを使います。次の手順で取り寄せて検証し、計算をやり直せます。

set -- sim/ep04/braess_model.py sim/ep04/predictions.json sim/results/ep04/summary.json sim/results/ep04/predictions_check.json report/ep04-results.md sim/ep04/test_braess_model.py LICENSE
for f do
  mkdir -p "$(dirname "$f")"
  case "$f" in *.json) src="$f" ;; *) src="$f.txt" ;; esac
  curl -fsSL "https://apps.d-it.co.jp/sim-lab/files/$src" -o "$f"
done
curl -fsSL "https://apps.d-it.co.jp/sim-lab/files/SHA256SUMS-ep04.txt" -o SHA256SUMS-ep04.txt
sha256sum -c SHA256SUMS-ep04.txt

python3 sim/ep04/braess_model.py --results-dir rerun
cd sim/ep04 && python3 -m unittest -v test_braess_model.py

rerun/summary.json は公開した結果と、実行時刻・所要時間の generated_at と runtime_s を除いて一致します。

No.04「近道」— 照合の記録

No.04「近道」の結果ファイル summary.json（この頁で公開しているもの）の値を、別に書いた第2の実装で計算し直し、1項目ずつ比べました。第2の実装は、経路ごとの式を使わず、道の一本一本に何台いるかを数え直してから所要時間を足す書き方です。

比べたのは、「道なし」「道あり」の各1,000回の結果・台数を変えた掃引・動画で見せた回の途中経過・理論の値・予想の当たり数の、合わせて4,869項目です。2026年11月5日の照合では、食い違いは0でした。どちらの実装も当社が書いたもので、社外による検証ではありません。

ep04 のモデルについて

• 道の網と時間（4,000台・A→C と D→B は台数÷100分・C→B と A→D は45分・足す道 C→D は0分）は、Easley & Kleinberg (2010) 第8章の図8.1・8.2 の例です。車を一台ずつ、今より早く着ける道へ乗り換えさせる動きは当社が独自に実装しました。
• 動画のショートは、近道のない世界が止まった後に、同じ乱数の続きで近道を開けた回（summary.json の featured.road_open）を見せています。1,000回の比較は、同じ最初の分かれ方から両方の世界を回したものです。
• このモデルが言えないこと: 車はみな同じで、かかる時間だけで道を選び、いまの混み方を正確に知っています。信号・事故・時間帯の違いは入っていません。現実の道路を足すべきか・減らすべきかを、このモデルだけで言うことはできません。
• 予想は本番の乱数を回す前に書きましたが、設計の試し回しと理論の計算を見た後です。この経緯は sim/ep04/predictions.json の _exploration に記録しています。

参考文献

• Braess, D. (1968). Über ein Paradoxon aus der Verkehrsplanung. Unternehmensforschung, 12(1), 258–268. doi:10.1007/BF01918335
• Braess, D., Nagurney, A., & Wakolbinger, T. (2005). On a Paradox of Traffic Planning. Transportation Science, 39(4), 446–450. doi:10.1287/trsc.1050.0127
• Easley, D., & Kleinberg, J. (2010). Networks, Crowds, and Markets: Reasoning about a Highly Connected World. Cambridge University Press, Chapter 8. doi:10.1017/CBO9780511761942

モデルについて

• Schelling (1971) を元に、当社が独自に実装しました（論文のコードや、既存の動画・ツールのコードは使っていません）。
• このモデルが言えないこと: 住民の好みだけを入れたモデルで、制度・所得・歴史は入っていません。現実の街が分かれている原因を、このモデルだけで言うことはできません。
• sim/predictions.json の予想と結果は同じ時に公開しているため、予想が結果より前に書かれたことを第三者が確かめる手段はありません。

参考文献

• Schelling, T. C. (1971). Dynamic models of segregation. Journal of Mathematical Sociology, 1(2), 143–186. doi:10.1080/0022250x.1971.9989794
• Duncan, O. D., & Duncan, B. (1955). A methodological analysis of segregation indexes. American Sociological Review, 20(2), 210–217. doi:10.2307/2088328
• Reardon, S. F., & Firebaugh, G. (2002). Measures of multigroup segregation. Sociological Methodology, 32(1), 33–67. doi:10.1111/1467-9531.00110

ライセンスとクレジット

• 当社の著作物（コード・結果 JSON・文書）: Apache License 2.0（本文は LICENSE）。Copyright 2026 株式会社DIGIT (DIGIT Inc.)
• 声: No.01 完全版だけ合成音声で、ほかは字幕だけです。音声ファイルは置いていません。
• フォント: 動画の文字は Noto Sans JP（SIL Open Font License 1.1）。フォントのファイルは置いていません。

訂正の窓口

誤りのご指摘は当社の窓口へお寄せください。確認して訂正します（動画のコメント欄でも受け付けますが、見落とすことがあります）。

ここにあるデータはすべて合成です（実在の人物・場所・学校は含みません）。ご指摘に個人情報は書かないでください。

開示

コード・台本・映像は AI が作成しました。No.01 完全版だけ合成音声で、ほかは字幕だけです。法的な運営者は株式会社DIGITです。この頁と動画は教育・情報提供を目的としており、特定の個人・団体・政策を支持または批判するものではありません。