虫とリベットのパラドックス計算機の使い方
虫とリベットのパラドックス計算機は、特殊相対性理論における有名な思考実験（ローレンツ収縮と同時性の相対性）を視覚的に理解・シミュレーションするためのツールです。入力パネルにリベットの静止長、穴の深さ、相対速度（光速比 $v/c$）などを入力し、単位を選択することで簡単に計算できます。
デフォルト値は例題として設定されていますが、教科書の数値や任意の思考実験の条件に置き換えて計算可能です。結果パネルには、収縮後のリベットの長さ、ローレンツ因子 $\gamma$（ガンマ）、実験室系およびリベット系での見かけの収まる/収まらないのステータス、事象の順序に関する解説が表示されます。
この虫とリベットのパラドックス計算機は、物理学の授業、特殊相対性の学習、事象の同時性やシグナル伝播速度（情報伝播の極限）の議論に最適です。計算プロセスをブラックボックス化せず透明化しているため、パラメータの変化による物理的結果の違いを明確に理解できます。
より高度な物理モデルや剛体の概念（相対論では完全な剛体は存在しないこと）を含む考察においては、本ツールの結果を基礎的指標として活用してください。
計算公式と理論背景 - 虫とリベットのパラドックス計算機
虫とリベットのパラドックス計算機では、以下の特殊相対性理論の基本公式を使用しています：
L = L0 / gamma, gamma = 1 / sqrt(1 - v^2/c^2)ここで、$L_0$ は静止長（リベットが静止している系での長さ）、$v$ は相対速度、$c$ は光速、$\gamma$ はローレンツ因子を表します。計算機は入力された単位を統一的な内部単位に変換し、ローレンツ収縮の公式を適用した上で、指定した表示単位へ再変換します。
仮定と制限事項
本計算機は決定論的な簡略化モデルに基づいています。「虫とリベットのパラドックス」では、実験室系（穴の静止系）から見るとリベットがローレンツ収縮して穴にすっぽり収まるように見えますが、リベットの静止系から見ると穴が収縮して穴が浅くなりリベットが飛び出すように見えます。このパラドックスの解決には、**同時性の相対性（事象の順序の不一致）および応力・衝撃波が物質中を伝わる速度（光速を超えない有限の伝播速度）**の考慮が不可欠です。本ツールは長さの収縮とローレンツ因子の基本数値を提示するものであり、連続体力学の完全な力学シミュレーションではありません。
虫とリベットのパラドックス計算機の活用シーン
虫とリベットのパラドックス計算機は、以下のような場面で活用いただけます：
- 高校・大学の物理教育：特殊相対性理論における「長さの収縮」と「同時性の相対性」の概念説明
- 思考実験の検証：穴の底にいる虫が踏み潰されるかどうかの論理構成と計算チェック
- ローレンツ因子のクイック計算：速度比 $v/c$ に応じた収縮率の即座の確認
ブラウザ上で即座に実行できるため、パラメータを変更しながら何度でも比較検証が可能です。