42math

インタラクティブな数学・理科レッスン (ﾉ◕ヮ◕)ﾉ*:･ﾟ✧

答えだけでなく、数学・科学・さまざまな話題への本物の洞察を。

307の対話型レッスン・順を追って学ぶ33の章・48の記事

ここから始める

単体のツールではなく、短い系列として。各ステップは次のステップに具体的なものを渡すので、順番に進める価値があります。

L1: 基礎

多くのデータを1つの数字で：要約統計

MATHここにある三つのツールは、ひとつの授業を形作ります。要約値とはいわば非可逆圧縮であり、どのように圧縮するかが、その要約が何を正しく伝えているかを決定づけます。それぞれのステップは、単一の数値による要約が抱える特有の限界を浮き彫りにし、その課題を次のステップへと手渡していくのです。

L1: 基礎

三角形の公式は、どこから来るのか

MATH三角形と円に関する基本的な定理を、実際の依存関係に沿って導き出す六つのツール。根拠なく主張される事柄は一つもありません。すべての法則が、直前の法則の必然的な帰結として現れます。そして道のりの最後で最初の法則を座標平面上に置き直したとき、距離の公式へと姿を変えるのです。

L1: 基礎

数を書き下すということ

MATH三つのツールが一つの筋道をつくります。世の中には最後まで書き切れない数があります。その数にもっとも近い短い表し方は当てづっぽうではなく探し出せますし、数を打ち切ることには測れる代償があります。

L1: 基礎

xについて解く：マイナス記号からの積み上げ

MATH方程式の解法を、概念が本来依存しあう順序で組み立てていく六つのツールです。マイナス記号の働きから出発し、最後は三つの未知数を一度に解く機械的な手法へと至ります。各段階は、次の段階へ具体的なものを一つ手渡します。式の操作、操作に対する制限、あるいはその操作が数学的に許されるかどうかの判定です。

L1: 基礎

抵抗、そしてリアクタンス

PHY最初のツールは、電圧と電流の比がすべてです。二つ目はそこに、抵抗を持たないにもかかわらず電流を制限する素子を追加します。そして三つ目が問うのは、それぞれの周波数においてその代償がどうなるかです。

L2: 中等

時間の経過とお金の価値

MATH四つのツールが形作る、一つの概念。お金は時点が異なれば価値も変わるということ、そして繰り返される支払いは一つの数式に集約できるということです。ここにある各ステップは、次のステップへと特定の要素を確実に手渡していきます。

L2: 中等

桁の概念

MATH三つの道具、一つの習慣。数量が差ではなく倍率で異なるとき、数を数えるのはやめて、指数を数えましょう。一つ目は物差しを作り、二つ目はその目盛りを辿り、三つ目はデータが一切なくともそこに数値を刻むのです。

L2: 中等

2つの値が衝突するとき

MATH誕生日問題は一見するとパーティーの余興のようですが、実は衝突について考察するための標準的な道具なのです。そして続く第2段階で、計算機科学者たちは別の名前で再びこの問題に出会うことになります。

L2: 中等

力ではなくエネルギーで

PHY二つの道具と一つの近道。速さと高さだけが知りたいときは、力を完全に無視して、エネルギーの収支にすべてを任せてしまうことができるのです。

L2: 中等

二次式を超えて

MATH道具は四つ。どれも、前の道具が限界を迎えるからこそ存在します。解がすっきりしていれば因数分解が役立ち、そうでなければ解の公式を使います。二次を超えれば割り算が活躍し、二つの多項式が上下に重なり合ったときにできるのが有理関数です。

L2: 中等

岩の中の時計

BIO一つの指数関数、三通りの読み解き方。順方向に読めば残量がわかり、逆方向に読めば年代がわかります。そして原子核ではなくDNAに適用するなら、基準を定めるための岩石が必要になります。

L2: 中等

光の屈折

PHYレンズとは、誰かが曲げた境界です。この先のどのページにも、最初のページにない物理学は登場しません。変わるのは、私たちがそこにどこまで多くを求めるかだけです。一つの面、次に理想的なレンズ、そしてひとつのガラス片へと。

L2: 中等

単純機械：力と距離の交換

PHY五つの機械。そして一つの取引。どれもエネルギーを生み出すことはありません。しかし、どの機械でもエネルギーの使い方は選べます。より小さな力で長い距離を動かすか、それともその逆か。一段階進むごとに、この取引の具体的な要素が次へと手渡されていきます。最後までたどり着いたとき、たった二つの問いを立てるだけで、どんな機械の仕組みも読み解けるようになっているはずです。

L2: 中等

円運動と波は同じ運動

MATH三つの道具。この一連の学習の核心は、これらが三つの別々のテーマではないという点にあります。正弦波とは等速円運動を真横から見た姿であり、重力がその回転を担うとき、それは揺れる振り子として現れるのです。

L2: 中等

どれくらい遠くにあるのか？

ASTRO星がどれほど明るく見えようとも、そこまでの距離がわからない限り、その星について解き明かせることは何一つありません。これら四つはまさにこの順序で進みますし、天文学も同じ道を辿ってきました。測量士の三角形から観測可能な宇宙の果てに至るまで、すべての段が一つ下の段を基準にして測られているのです。

L2: 中等

個数から曲線へ

STAT六つのツールと一つの分布。ここにあるのはすべて、異なる極限における二項分布、あるいは二項分布を逆から読み解いたものです。成功回数を数え、その数を大きくして、誰も意図していない釣鐘型の曲線が立ち現れるのを観察してみてください。

L2: 中等

物を投げること

PHY道具は三つ。そして、三つ目が最初の二つを覆します。等加速度には閉形式の解があるため、最初の二段階は代数です。空気抵抗は一定ではなく、そこから先の唯一の正攻法は、一歩ずつ積分していくことです。

L2: 中等

MATHひとつのアイデアをめぐる、五つのツール。なめらかな曲線は、十分に拡大すると直線と区別がつきません。導関数が測るもの、テイラー展開が拡張するもの、そして複数の方向において勾配が行うこと。そのすべてが、この単一の事実に基づいているのです。道のりは、計算がすっきりとまとまる角度の測り方から出発します。そして最後には、最も急な傾斜が、実際に測ったどの方向をも上回る丘の斜面へと至ります。

L2: 中等

水槽からの流出：一つの速度、二通りの使い道

PHY一つの結果から導かれる、二つの道具。水が穴から流れ出る速さは、石が同じ深さを自由落下して達する速さと全く同じです。あとは、その速さがどの方向へ向かうか次第です。横へ向かえば放物運動となり、下へ向かえばタンクが空になっていくのです。

L2: 中等

データの「差」はいつ本物になるのか

STAT四つのツールが一つの問いを立てます。ただし、手がかりは段階的に減っていきます。まずは二つのグループ。次に、任意の数のグループ。さらには、平均値を一切含まない単なる度数データ。最後のツールに至っては、データが存在する前にその問いを投げかけるのです。

L2: 中等

一つのばねから定常波へ

PHYひとつの復元力。その行き着く先を見届けましょう。ばねにつながれたおもりは振動します。それが一列に並べば振動を隣へと伝え、出会ったふたつの波は強め合うか、打ち消し合うかを定めます。そして両端の境界は、そこに収まらない振動数をすべて切り捨てるのです。

L2: 中等

事前確率とその由来

STATベイズの定理の計算そのものを疑う人はいません。問題となるのは事前確率です。最初の数字はどこからやってきたのか、誰がそれを選んだのか。ここにある三つのツールは、その疑問を簡単なものから順に紐解いてくれます。調べればわかる事前確率、目の前の装置が与えてくれる事前確率、そして誰も持っていない事前確率です。

L2: 中等

動画が符号化されるまで

COMP動画エンコーダは単一のアルゴリズムではなく、順序の決まった 8 つの段です。その順序は恣意的ではありません。どの段も、直前の段が仕事を可能にしてくれたからこそ存在します。このツールはそのうちの 1 つを扱います。下の連鎖から残りの 7 つに移動できます。

L2: 中等

限界を伴う成長

BIOここで扱う個体群はどれも何らかの要因に抑え込まれており、その要因は段階を追うごとに厳しさを増していきます。最初は自ら引き起こす過密状態。次に、一定数の捕獲。続いて、それ自身が一つの個体群である捕食者。そして最後は、感染可能な人間が尽きてしまうことです。

L3: 学部

データへの直線あてはめ

MATH散らばった点のグラフを、確固たる根拠のある数値へと変える三つのツール。そこに至る道筋は、統計学ではなく幾何学を通ります。幾何学こそが、統計に嘘をつかせないからです。

L3: 学部

ものを動かす行列

MATH手がかりを減らしながら、一つの問いを四度繰り返します。この行列は、実際のところ空間に何をしているのか。列ベクトルが直接の答えです。固有ベクトルは、生き残る方向について答えてくれます。そのような方向がないときはSVDが答えを出し、PCAは同じ仕組みを観測データの群れへと向けます。

L3: 学部

二つの値から導く軌道

ASTRO軌道は大きさと形で定まります。それさえ分かれば、ほかの要素はほぼすべてそこから導かれるのです。楕円から燃料までを扱うのが、この五つのツールです。宇宙船は今どこにいるのか。そこでの速度は。飛行にかかる時間は。どの経路が最も効率的か。そして、推進剤はどれほど必要になるか。

L3: 学部

LLM はどう次の単語を選ぶか

COMP大規模言語モデルが単語を選ぶまさにその瞬間、内部を紐解く2つのツール。後者は文字通り前者の上で動作します。順位付けする候補は、前者が構築した語彙の項目だからです。

L3: 学部

リスクを測る

STAT全く同じ98年分の収益率を六つのツールで分析します。各ツールが導き出した特定の数値を、次へと順に引き渡していくのです。この六段階の手順が答えるのは、ある一つの問いです。投資における真のリスクとは何なのか。そして、投資について言われていることのうち、実際に検証できる部分はどれくらいあるのか。

L3: 学部

秒ではなく仕事量を数える

COMPストップウォッチは手元のパソコンを測ります。演算回数を数えることはアルゴリズムを測ります。その一つの習慣の上に築かれた、二つの道具です。

L3: 学部

三つの数値計算法と、それぞれの限界

MATHニュートン法、シンプソンの公式、そしてオイラー法。これらはみな、同じ一つのエンジンで動いています。十分に小さな区間のなかでは、曲線を直線とみなすという仕組みです。だからこそ、どの手法にもバグではない、必然的な破綻が存在します。どの破綻がどの手法に属しているのか。それを知ることこそが、生きた知識となるのです。ここでのすべてのステップは、固有の名前を持つ誤差とそれが縮小していく割合を、次のステップへと手渡していきます。