Gearworks · 考えるための糧
Gearworksでは、ただ機械を組み立てるだけではありません。力による論証を組み立てるのです。小さな利点を掛け合わせ、その積が画面に表示された数字とぴったり一致するまで積み上げていきます。
英語で執筆・編集されました。この日本語版は機械翻訳によって作成されたものです。正確さが重要な箇所については、英語の原文が正式なものです。 英語の原文を読む →
毎日、Gearworksはあなたに1つの数字を提示します。それはパズルのヘッダーに、まばたきひとつせず鎮座しています。「Target ×12 · 3 slots」、「Target ×36 · 4 slots」、あるいは「Target ×8 · 2 slots」といった具合です。あなたの仕事は、パーツバンクからそのスロットを埋め、組み合わせた機械的利点がターゲットに正確に一致するような単純機械のチェーンを組み立てることです。バンクには常に正解となる組み合わせが1つと、いくつかのダミーが入っており、チェーンは6問からなるランの中で2スロットから4スロットへと伸びていきます。近い、ではダメ。おおよそ、でもダメ。ぴったり、です。超過したか、不足したか、ぴったり一致したかはゲームが教えてくれます。先に進めるのは最後の場合だけです。 1
これがGearworksの核となるループです。機械を組み合わせ、その利点を掛け合わせ、精度を狙う。単純に聞こえますが、見かけによらず奥が深いのです。ただパーツを積み上げているのではなく、物理世界における掛け算について推論しているのです。ここにレバー、あそこにギア、そして一度も試したことのないプーリーシステム。それぞれが1つの因数を担い、それらすべての因数の積があなたの答えになります。 2
満足感は、数字がぴたりと揃うその瞬間から生まれます。荷重側の腕の2倍の長さの力点側の腕を持つレバーを配置し(これで2×の利点)、10歯の駆動ギアが20歯の従動ギアを回すギア列につなぎ(さらに2×)、最後に荷重を3本のロープで支えるプーリーで締めくくる(3×)。チェーンの合計は2 × 2 × 3 = 12です。ターゲットが12なら、あなたの勝ちです。8や18なら失敗です。ゲームのエンジンは、浮動小数点でも安全な許容誤差を使ってチェーンの機械的利点をターゲットと比較し、結果は二値です。ぴったり一致なら勝ち、それ以外はすべて失敗となり、バンクへ送り返されます。 3
では、何をつないでいるのでしょうか。Gearworksは古典的な単純機械のうち4つを使い、それぞれに機械的利点の固有の公式があります。これらはゲームが勝手に作ったルールではなく、理想的で摩擦のない世界において力の倍増器がどう働くかを示す、教科書どおりの定義です。 1
レバーは最も直感的です。梁の下に支点を置き、片側に荷重を載せ、もう片側を押し下げれば、力の増幅器のできあがりです。荷重が載っている位置よりも支点から遠いところを押せば、あなたの勝ちです。ゲームはこれをleverMA = effortArm / loadArmとして計算します。2メートルの力点側の腕と1メートルの荷重側の腕なら2×。3メートルと1メートルなら3×。単純で、優雅で、2000年以上前にアルキメデスが見抜いたとおりのものです。 3
次はギアです。ギアはトルクと速度を正確な比率で交換します。10歯の駆動ギアが20歯の従動ギアを回すと、従動ギアは半分の速度で、しかし2倍のトルクで回転します。ゲームはこれをgearRatio = drivenTeeth / driverTeethと呼び、チェーンに関係するのはこのトルクの利点です。ここで速度とトルクが互いに逆数の関係にあることに注目してください。トルクが増えれば速度は減る。これは、あらゆる単純機械を支配する、より深い保存則の現れです。 2
そしてプーリーです。固定プーリー1つでは力の向きを変えるだけで、力を倍増させることはありません。しかし動プーリーを加えると、荷重を支えるロープの本数に応じた利点が得られます。公式は単純明快で、pulleyMA = 荷重を支えるロープの本数です。2本なら2×、4本なら4×。その代償として、荷重を同じ高さまで持ち上げるのに、より多くのロープを引かなければなりません。 1
最後に斜面です。重い木箱を真上に持ち上げずに高いところへ上げたい。ならばランプに沿って押し上げればいいのです。傾斜が緩やかなほど必要な力は小さくなりますが、押す距離は長くなります。機械的利点は斜面の長さと高さの比、すなわちinclineMA = length / heightです。長さ4メートルで高さ1メートル上がるランプなら4×の利点です。ここでも力は倍増されますが、押す距離はそれに比例して長くなります。 1
この4つの機械が、ツールキットのすべてです。古典物理学は6つの単純機械を挙げていますが、ゲームにはくさびもねじも輪軸も登場しません。 1 きれいにつながる機械、つまり合計に対して明確な乗算因数をそれぞれ担う機械に絞っているのです。
ここに、Gearworksを単なるパーツカタログと分ける鍵となる洞察があります。直列につないだ機械は掛け算になるのです。2×の利点を持つレバーを3×の利点を持つギア列につなぐと、チェーン全体の機械的利点は2 × 3 = 6であって、2 + 3 = 5ではありません。各段は前の段から出力された力を受け取り、それをさらに増幅します。 1
だからこそ、このパズルは組み合わせの問題なのです。機械を選んでいるだけではなく、積を組み立てているのです。2×、2×、3×という3つの控えめな機械のチェーンは合計12×になります。2×、2×、3×、3×という4つのチェーンなら36×です。ゲームが手渡すパーツはどれも単体で2×、3×、または4×の価値を持つので、同じターゲットに複数の道筋で到達できることも多く、そうした因数分解を探ることが楽しみの一部です。
空のチェーンという特殊なケースもあります。何もつながなければ、チェーンの機械的利点は1です。力はそのまま素通りします。これは数学的にも(空積は1です)、物理的にも(増幅がなければ変化もありません)理にかなっています。 1
チェーンの規則は決定論的です。機械がどう組み合わさるかに、ランダム性は一切ありません。同じ機械からチェーンを組めば、いつでも同じ合計になります。この決定論性は、日替わりパズルの公平さの一部です。ゲームは日付からシードを導き、同じ日には誰もが同じターゲットと同じパーツバンク、そして同じ答えを手にします。
なぜゲームはぴったりの一致にこだわるのでしょうか。なぜ「だいたい合っている」を認めないのでしょうか。答えは、Gearworksがモデル化している理想化された物理にあります。現実の世界では、摩擦や不完全さのせいで、機械的利点が公式どおりにきれいに出ることは決してありません。実際のレバーは支点の摩擦で力を少し失い、実際のギア列は歯の摩擦でトルクを少し失い、実際のプーリーはロープの摩擦で力を少し失い、実際のランプは滑り摩擦で力を少し失います。 1
しかしGearworksはそうした損失をモデル化しません。モデル化するのは理想的で摩擦のない機械であり、そこでは機械的利点は幾何学が定めるとおりの値になります。その理想世界には曖昧さがありません。あなたのチェーンはターゲットの機械的利点をぴったり生み出すか、生み出さないか、そのどちらかです。ゲームの評価関数は、浮動小数点でも安全な許容誤差を使ってチェーンの機械的利点をターゲットと比較し、結果は二値です。ぴったり一致なら勝ち、超過でも不足でも失敗です。 1
この厳密さこそが、パズルを厳格なものにしています。ごまかしはききません。「だいたい合っている」とは言えません。掛け合わせる因数について正確に推論し、その積がターゲットに一致することを確かめなければなりません。これは機械的な直感だけでなく、掛け算的思考の試験なのです。
ぴったり一致のルールには、教育的な理由もあります。因数そのものについて考えることを迫るからです。ターゲットが12なら、3 × 4とも2 × 2 × 3とも因数分解できます。それぞれの因数分解が異なる機械の選択を示唆します。3×のレバー(腕の比3:1)に4×のプーリー(支えるロープ4本)をつなぐのが1つの解。2×のレバー、2×のギア対、3×のランプが別の解です。どちらが使えるかは、その日のバンクにあるパーツ次第です。ゲームはどちらが「より良い」かは教えてくれません。ただ、数字に当たったかどうかを教えてくれるだけです。 2
Gearworksを魅力的にしているのはパズルそのものだけではありません。小さな利点を組み合わせて正確な合計を作り上げる、あの感覚です。最初は恣意的に見えるターゲットから始めます。レバー、ギア、プーリー、ランプをあれこれ試します。3×のレバーが4×のランプとうまく組み合わさることを発見します。3:1の減速比を持つギア対を試して、それが何を開くのかを見てみます。そうして少しずつ、因数がどのように複利的に積み上がるかの直感が育っていきます。 2
ターゲットをその因数から逆算するのには、格別の楽しさがあります。ターゲットが24なら、それを2 × 3 × 4、あるいは2 × 2 × 2 × 3と見抜けるかもしれません。それぞれの因数分解が異なる構成を示唆します。2×のレバー(腕の比2:1)、3×のギア対(10歯の駆動ギアが30歯の従動ギアを回す)、4×の斜面(長さと高さの比4:1)が1つの解。パズルが4スロットを用意していれば、2×、2×、2×、3×の4段が別の解です。 1
この掛け算的思考は、単純機械の物理に深く根ざしています。機械をチェーンにつなぐと、その利点は複利的に積み上がります。2×、3×、2×という3つの控えめな段を組み合わせれば12×。2×、2×、2×、3×の4段なら24×。同じ合計に異なる道筋で到達でき、そうした道筋を探ることがこのゲームの奥深さの一部です。
同時に、ゲームはその守備範囲について謙虚です。現実世界を完璧にモデル化しているとは主張しません。実際の機械は摩擦で利点を失いますが、ゲームはそれを意図的に無視しています。モデル化しているのは理想的な機械であり、そこでは機械的利点は公式どおりの値になります。この理想化こそがぴったり一致のルールを可能にし、パズルを明快で厳格なものにしているのです。 1
Gearworksでレバーをチェーンにつなぐたびに、あなたは紀元前3世紀にさかのぼる原理を呼び出しています。ギリシャの数学者アルキメデスは、てこの原理に対する最古の厳密な証明を与えたとされています。機械的利点は力点側の腕と荷重側の腕の比である、というものです。 3 これはまさにゲームのleverMA = effortArm / loadArmという公式そのものです。
アルキメデスはまた、「十分に長いてこと、それを置く支点を与えよ。さらば地球を動かしてみせよう」という言葉でも有名です。原典のギリシャ語からはかなり自由に言い換えられたものですが、てこの精神を捉えています。小さな力も、正しく倍増されれば途方もないことを成し遂げられる、と。Gearworksはそのアイデアをデジタルで体現したものです。地球を動かすわけではありませんが、小さな利点がどのように積み重なって大きな利点になるかを学んでいるのです。 3
ゲームの他の機械にも似たような歴史があります。斜面は、ルネサンス期の科学者たちによって単純機械の正典的なリストに加えられ、これで古典的な6つがそろいました。プーリーとギアは、水車から時計仕掛けまであらゆるものに何千年も使われてきました。Gearworksはそうした文脈をすべて取り払い、純粋な数学だけを残します。4つの公式、1つの積、1つのターゲットです。 1
しかし、美しさは数学の中にあります。機械的利点とは力の増幅度の尺度で、出力の力を入力の力で割ったものです。1を超えれば、その機械は力の増幅器として働きます。1未満なら速度の増幅器です(ギアの場合が良い例で、0.5×のギア比はトルク半分、速度2倍を意味します)。ゲームは力を増幅する場合に絞っていますが、根底にある原理は同じです。力と距離は交換されるのであって、生み出されるのではありません。 1
単純機械はそれ単体でも役に立ちます。レバーは重い岩を持ち上げられます。斜面は木箱を高い所へ上げられます。プーリーは帆を引き上げられます。しかし、それらをチェーンにつなぐと力が掛け算になります。2×の利点をくれるレバーが3×のギア列に送り込み、それが4×のプーリーに送り込む。合計は2 × 3 × 4 = 24×です。これが小さな利点の複利的な積み重ねです。 1
だからこそ、Gearworksは組み合わせのゲームなのです。パズルを解いているだけではなく、機械システムがどのように互いの上に積み上がるかを学んでいるのです。追加する機械のひとつひとつが、次の機械が受け取る力を変えます。ギア比も、腕の比も、ロープの本数も、すべてが積の因数だからこそ重要なのです。 1
ぴったり一致のルールは精度を強いるものです。近似はできません。当てずっぽうもできません。因数について考え、その積がターゲットに一致することを確かめなければなりません。これは最も純粋な形の掛け算的推論であり、ゲームの枠をはるかに越えて役立つスキルです。因数がどう複利的に積み上がるかを理解することは、工学から金融、日常の問題解決に至るまで、あらゆる場面で欠かせません。同時に、ゲームは寛容でもあります。外してもそのパズルのスコアから点が少し引かれるだけで、パズルそのものを失うわけではありません。何度でも好きなだけ組み直して再挑戦できます。日替わりのシードによって全員が同じターゲットを受け取るので、別々のパズルを心配せずに戦略を語り合えます。決定論的な数学の上に築かれた、共有の体験なのです。