7 Raven Room

L1: 基礎

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

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

L1: 基礎

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

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

L1: 基礎

数を書き下すということ

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

L1: 基礎

オームの法則だけでは語れないこと

PHYオームの法則が扱うのは、そのページにもあるとおり、温度が一定の一つの抵抗器に直流を流し、回路内にほかの素子がない場合です。続くページでは、この条件から外されたものを一つずつ回路に戻します。二つ目の素子、導線、電池、単純化できない回路、そして変化する電圧です。

L1: 基礎

コンピュータはどうやってプログラムを動かすのか

COMP論理ゲートから、プログラムが動く仕組みまで。NANDゲートだけで、あらゆる回路を組み立てられます。ゲートで作った加算器は、引き算にも使えます。リトルマンコンピュータは、その加算器の隣に百個の郵便受けを並べたもの。プログラムも数値も同じメモリに置かれ、プログラムカウンタが指す場所の内容を、コンピュータは命令として実行します。

L1: 基礎

得られた情報をもとに選ぶ

STAT直感どおりに選ぶと不利になる、二つの問題です。扉の問題では、ひとつの情報を受け取り、それがどれほど役立つかを判断します。その価値を決めるのは、目に見える状況よりも、司会者が従う規則です。候補者を選ぶ問題では、相手を一人ずつ見て判断し、いったん断ると後戻りはできません。どこで探すのをやめるかが問われます。

L1: 基礎

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

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

L1: 基礎

COMPここに並ぶ暗号はどれも、文字そのものを隠す代わりに、別の何かを表に残してしまいます。換字式暗号なら文字の出現頻度が残り、キーワード暗号ならそれが列となって現れ、二度使い回されたワンタイムパッドなら空白の位置が漏れ出します。一切の手がかりを残さないのは、文面とまったく同じ長さを持つ無作為な鍵だけ。そうなると、その鍵をいかにして相手へ届けるかが最大の難問となります。最後の二つのページでは、誰の目にも触れる開かれた場所で、それを成し遂げる道筋を見ていきます。

L2: 中等

時間の経過とお金の価値

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

L2: 中等

桁の概念

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

L2: 中等

2つの値が衝突するとき

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

L2: 中等

力ではなくエネルギーで

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

L2: 中等

二次式を超えて

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

L2: 中等

岩の中の時計

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

L2: 中等

光の屈折

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

L2: 中等

三角関数の恒等式と方程式

MATH恒等式は、両辺が定義されるすべての角度で成り立ちます。そのため、問題で与えられた三角関数と、求めたい三角関数を結びつけられます。この章では、まず逆数で定義される三角関数と、三平方の定理に基づく三つの恒等式を学びます。続いて、電卓が返す値のもとになる逆三角関数と、その値を手がかりに解く三角方程式へ。加法定理、倍角の公式、三角関数の合成を学んだあと、最後に恒等式の証明を一行ずつ進めます。

L2: 中等

統計学：データから比率へ

STATAP統計学は、一変数のデータを図に表すところから始まり、比率の推測に最も大きな単元を充てています。この章でも、データの図示、分布の特徴の記述を経て、標本比率を用いた信頼区間の推定と有意性検定へと進みます。その土台となる正規モデルと標本分布は、別の章度数から曲線へで扱います。

L2: 中等

ニュートンの法則：運動が求める摩擦力

PHY接触面を扱う力学の問題では、計算を始める前に必ず決着をつけておくべき問いがあります。この運動にはどれほどの摩擦が必要で、接触面はそれに応えられるのか？ 板の上の物体なら、tan θ と μ の力比べです。バンクのついたカーブを曲がる自動車では、そこに旋回が加わり、必要な摩擦の向きは速度次第で入れ替わります。斜面を転がるなら、さらに回転が加わります。もっとも大きな摩擦力を求める円環が、真っ先に滑り出します。

L2: 中等

関数：順に重ね、元へ戻す

MATH関数を順に重ねていく操作について、三つのページで考えます。グラフの平行移動や拡大縮小もまさにその一つで、そこでは括弧が操作の順序を定めています。一般に関数を合成すると、順序を変えれば結果も変わります。f と合成したときに元の x を返す関数が逆関数であり、そのグラフは直線 y = x に関して f のグラフと対称になります。

L2: 中等

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

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

L2: 中等

円運動と波は同じ運動

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

L2: 中等

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

PHYコンデンサーは抵抗をもたないのに電流を抑える。しかも、定めるのは抵抗値ではなく時間である。次のページでは、蓄える要素と失う経路を一つずつもつ系なら、どれにもこの時間が現れることを示す。三つ目のページで蓄える要素をもう一つ加えると、時間は周波数に変わる。

L2: 中等

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

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

L2: 中等

個数から曲線へ

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

L2: 中等

物を投げること

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

L2: 中等

なぜ、近づけばすべてはまっすぐに見えるのか

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

L2: 中等

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

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

L2: 中等

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

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

L2: 中等

一つのばねから定常波へ

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

L2: 中等

事前確率とその由来

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

L2: 中等

波動光学

PHY幾何光学は、光は直進し、物体の輪郭はくっきりとした影を落とすと教えます。ここではどのページでも、その幾何光学による答えを、波としての答えの隣に幻影のように描いて比較します。光の行く手を遮るものはページを追うごとに変わっていきます。二つの面、一つのスリット、円形の開口部、そして最後はその影の中心が明るくなる不透明な円盤です。

L2: 中等

曲面上の幾何学

GEO紙の上で証明された幾何学の法則は、曲面の世界では通用しません。そして、それぞれの法則が成り立たない度合いこそが、内側から曲率を測る尺度となるのです。まっすぐな道を進んでもコンパスの指す方位は変わります。向きを固定して運んだ矢は、元の場所に戻ってくると回転しています。円の周長を測っても本来の長さにはならず、双曲平面上の三角形は内角の和が π に届くことすらありません。

L2: 中等

最小時間、最小作用

PHY光が進む道、滑り落ちるビーズの軌跡、投げ上げたボールが描く弧。これらはみな、経路をわずかにずらしても合計値に一次の変化が生じない道を選びます。前のふたつなら「時間」、ボールなら「作用」の合計です。どのページでも、皆さんが自分で経路を曲げ、合計値がほとんど変化しない様子を確かめられます。さらに、そのうちのふたつのページでは、合計値が最小ではなくとも停留する経路を探ります。

L2: 中等

回転と角運動量

PHY回転する物体は、角運動量というベクトルを持っています。回転にまつわる驚くべき現象のほとんどは、このベクトルが変化を拒むことから生まれます。回転台の上で腕を縮めると、回転は速くなります。車輪は倒れずに横へ回り、ラケットは反転します。床が下で回っていても、振り子の振動面はそのままです。

L2: 中等

証明の手法

MATH証明とは、あらゆる場合を完全に網羅する論拠のことです。誰も確かめようとしないケースすら、そこには含まれます。この論拠を築き上げる四つの道筋をこれから見ていきましょう。数学的帰納法、ものを箱に振り分ける考え方、どんな操作も変えることのできない量、そして要素をペアにする手法です。最初の道筋は、40回連続で素数を生み出し、その次に 41 × 41 を与える一つの数式から出発します。

L2: 中等

抵抗器ではないもの

PHYオームの法則で語れる素子は、ほんの一種類にすぎません。ここに並ぶ五つは、電圧や電流の形でエネルギーを蓄え、電気を一方向にしか通さず、増幅し、その増幅を極めて精密に整えます。しかし、素子単体ではどれも頼りになりません。同じ型番のトランジスタですら、電流増幅率 β に三倍ものばらつきがあるほどです。素子の振る舞いを予測可能にするのは、その周囲に組まれた回路です。どのページも、その仕組みを示します。

L2: 中等

データ構造が得意なこと

COMPここで扱うデータ構造は、どれもある問いにすばやく答えられる代わりに、別のところでコストがかかります。ブルームフィルタはキーをまったく保存しなくても、確実に含まれていないと判定できます。トライは、ハッシュ表では答えられない接頭辞の問いに答えます。ヒープでは最小のキーがいつでもわかりますが、それ以外に得られる情報はわずかです。最後のページでは、メモリからどのページを追い出すかを考えます。最善の選択には、未来のアクセスを知る必要があります。

L2: 中等

p < 0.05 が保証してくれないこと

STATp値が答えてくれるのは、事前に計画されたひとつの検定に対する、たったひとつの問いにすぎません。ところが実際の研究では、20もの検定を行い、集まってくるデータをその都度確認し、有意になった結果だけを公表してしまいがちです。そしてそのどれもが、p < 0.05 の持つ重みをすっかり変えてしまいます。ここにあるどのページでも、一見無害に思えるおなじみの振る舞いを取り上げ、それが支払わせる正確な代償を解き明かしていきます。

L2: 中等

微分法：変化率はどう結びつくか

MATH導関数とは変化率です。微分の公式はどれも、それらの変化率がどう結びつくかを教えてくれます。関数の積として掛け合わされているとき、別の関数の内側に入り込んでいるとき、あるいは誰も y について解いていない方程式のままのとき。最後の二つのページでは、実際の講義で問われる実践的な問題へとこれらの公式を役立てます。ある一瞬の変化の速さ、そしてどれが最善の選択かという問いです。

L2: 中等

量子力学：波としての物質

PHY光はエネルギーの束として届き、その同じ定数 h があらゆる粒子に波長を与えます。残りの現象はすべて、この波としての性質をありのままに受け入れることから導かれます。箱の中に閉じ込めればゼロではない最低エネルギーを持ち、乗り越えられないはずの壁からは漏れ出し、狭い空間に押し込めば多様な波数へと広がっていく。これこそが不確定性原理なのです。

L2: 中等

なぜ反応は進むのか

CHEM反応が進むかどうかは、放出される熱では決まりません。氷は熱を吸収しながら溶けていきます。ここからの四ページでは、まさにその進行を決定づける収支計算を組み立てます。方程式のように足し引きできるエンタルピー。単位が異なるだけの平衡定数である標準自由エネルギー。K を動かすことと Q を動かすことの違い。そして、その差を電圧として読みとる電池です。

L2: 中等

混合物と溶液

CHEM混合気体中の各気体はそれぞれの分圧で振る舞い、これがダイバーの潜水深度の限界を定めます。液体は、蒸気圧が周囲の圧力と等しくなったところで沸騰します。混ざり合いにくい二つの液体は質量約95.6%のエタノールで蒸留の限界を迎え、溶けた粒子は1ケルビンの凝固点降下に対して13バールの浸透圧を生み出し、塩はイオンの積が一定値に達するまでしか水に溶けません。

L2: 中等

公平なゲームが招く破産

STAT期待値が示すのは、大勢のプレイヤーについての平均です。一人ひとりは、自分の手持ちの資金で勝負します。公平なゲームでも、プレイヤーに有利なゲームでさえ、参加者のほとんどが破産することがあります。各ページでは、平均を淡い破線で描き、その平均を形づくる一人ひとりの行方を追います。

L2: 中等

静止流体：圧力計から山の根まで

PHY静止した液体中の圧力は深さだけで決まり、それ以外の何にもよりません。面積も、液体の量も、容器の形すら無関係です。これを物体の上面と下面に当てはめれば、そのまま浮力が導かれます。物が浮くときの規則はただひとつ、浮いている物体は自らの質量に等しい液体を押しのけるということ。池に浮かぶ手漕ぎ舟であろうと、マントル上の大陸であろうと、この規則に何の違いもありません。

L2: 中等

動画が符号化されるまで

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

L2: 中等

限界を伴う成長

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

L2: 中等

流体の運動：粘性が奪い去るもの

PHYベルヌーイの管には摩擦がありません。続くページでは、そこで省かれた現実を一つずつ取り戻していきます。流体が管を進むとき、粘性は圧力を確実に奪い去ります。その損失がポアズイユの導いた整然とした秩序に従うかどうかを決めるのが、レイノルズ数です。水に沈む一粒の砂も、この同じ数によって二つの抗力則のあいだを振り分けられます。そしていかなる公式も成り立たないその狭間の領域では、最後のページが方程式そのものを直接解き明かします。

L3: 学部

映像配信の保護：デバイスを無効化し、出所を突き止める

COMP一つの問題を構成する二つの側面。スタジオが直面する順に追っていきましょう。まずは、鍵が漏洩しても他の全員のライセンスは有効に保たなければならないという課題です。驚くべきことに、これに必要なヘッダーは、システムの規模がどれほど大きくなっても一切肥大化しません。そして、より困難な後半の課題。それが、誰の鍵であったかを突き止めることです。何人かの契約者が結託し、誰の名前も出ないよう特別に仕立て上げた複製から、それを特定せねばならないのです。

L3: 学部

データへの直線当てはめ

MATH散らばった点の集まりを、確かな根拠のある数値へと変える七つの道具。そこから、その数値がどうやって導かれたのか、どの程度信用できるのか、誰も正解を教えてくれない時に何が起きるのかを問いかけ、最後には、最初から確率でしかなかった予測をどう評価するのかへと向かいます。この道筋では統計学よりも幾何学を辿ります。幾何学こそが、統計を嘘のない誠実なものにしてくれるからです。

L3: 学部

ものを動かす行列

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

L3: 学部

二つの値から導く軌道

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

L3: 学部

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

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

L3: 学部

リスクを測る

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

L3: 学部

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

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

L3: 学部

最適反応、そして誰も計算しないときに起こること

MATH四つのゲームと一つの操作。それは、相手がどんな手に出ようと最適な応答となる手を見つけ出すことだ。第一のゲームはそれ単独で決着がつく。第二のゲームではその位置を特定するのにマス目全体を要し、第三のゲームでは代償を伴う。そして第四のゲームにおいては、誰も計算などしない。それにもかかわらず、集団は自ずと答えに行き着くのだ。

L3: 学部

荷重はどこへ流れるか

PHY全七ページを貫く問いは、構造物のどの部分が、どのような形で実際に重さを支えているのか。まず一本の梁の内部を調べる。中央部はほとんど働いていない。最後に扱うのは、部材の数が方程式より多いにもかかわらず、崩壊する荷重だけは正確に決まるトラスである。

L3: 学部

フーリエ変換の実際

COMP信号は回転する矢印の足し合わせです。そして、そこから現実的な方法で情報を読み取ろうとすれば、教科書の公式には書かれていない何らかの代償を伴います。有限の窓は、そこに収まりきらない波をすべてのビンににじませてしまいます。窓を短くすれば時間は正確に捉えられますが、音の高さは犠牲になります。平均をとる操作もまた、固有の形を持ったフィルターにほかなりません。そして最後のページは、これらすべての計算が実用的な時間で処理できる理由についてです。

L3: 学部

アルゴリズムが正しい理由

COMPアルゴリズムが正しく動くのには、言葉で説明できる理由があります。そして間違っているなら、小さなテストで見つかる原因がどこかにあります。ここでは各ページに、正しい実装と、いかにももっともらしい間違いを並べてみました。二分探索の16通りの書き方のうち14通りは破綻します。お釣りを計算する貪欲法は古いイギリスの硬貨では失敗しますが、アメリカの硬貨では決して間違えません。クラスカル法とプリム法の答えが一致するのには確かな理由があります。また、反転した一つのビットを直す符号は、二つの反転をかえって悪化させてしまいます。

L3: 学部

ここから始める

全レッスン一覧

📐 数学 130

📊 統計・ファイナンス 66

⚡ 物理学 104

🚀 天文学 & 宇宙 44

💻 コンピューティング 69

🧬 生物・地学・化学 57

🍍 潮汐ゾーン （半分冗談です） 17

🍍 潮汐ゾーン（半分冗談です） 17