フレーゲの意義と指示対象、ラッセルの記述理論から、クリプキ『名指しと必然性』の固定指示子、パトナムの『双子の地球』思考実験(H2OとXYZ)、そしてバージの社会的外在主義と現代AIの記号接地問題まで、『意味は頭の中にはない』という言語哲学の大転換を徹底解説する。
アポロ11号の月面着陸を救ったカルマンフィルタの誕生秘話から、2つの正規分布の積が単独のセンサーより分散を小さくする数学的理由、状態空間モデルと最適カルマンゲインの完全導出、ジョセフ安定化形式、LQG分離定理、拡張・アンセンテッドカルマンフィルタ(EKF/UKF)とSLAM、Pythonによる2次元追跡シミュレーションまでを徹底解説する。
コリン・ラドフォードの『アンナ・カレーニナの運命にどうして心を動かされうるのか(1975)』が提起した「フィクションのパラドックス(3つの前提の不整合な三つ組)」を軸に、情動の認知説、コールリッジの「不信の自発的停止」、ケンダル・ウォルトンの「ごっこ遊び(メイク・ビリーブ)」理論と準恐怖(Quasi-Fear)、思考説(Thought Theory)、さらには悲劇のパラドックス・想像的抵抗・虚構的対象のアーティファクト存在論までを体系的に徹底解剖する。
わずか12×12ピクセルの格子の中に29画の「鬱」や繊細な欧文セリフ体を鮮明に描き出すフォントレンダリングの数理と実装を徹底解説。ベルンシュタイン基底と2次/3次ベジェ曲線、ド・カステリョの分割アルゴリズム、非ゼロ巻数規則と解析的台形面積積分、TrueType仮想マシンによるヒンティング命令、ClearTypeのサブピクセルFIRフィルタとガンマ補正線形ブレンディング、そしてGPU時代のMSDFやSlugシェーダまでを一気通貫で紐解きます。
白黒の部屋で育った天才神経科学者マリーは、視覚の物理法則をすべて知り尽くした後に初めて赤いトマトを見たとき、何か新しいことを学ぶのか?ネーゲルのコウモリ、ジャクソンの知識論証、チャーマーズの哲学的ゾンビと2次元様相意味論、物理主義の反撃、ラッセル的一元論、そして統合情報理論(IIT)まで、心の哲学の核心を徹底解剖します。
モルフォ蝶の翅をすり潰すと茶色い粉になり、アセトンに浸すと瞬時に青色が消えるのはなぜか?薄膜干渉、分布ブラッグ反射器(DBR)、モルフォ蝶の「秩序と乱れの協奏」、そしてマクスウェル方程式が導く3次元フォトニック結晶とバンドギャップまで、数千万年退色しない「構造色(Structural Color)」の波動光学を徹底解剖します。
水溶き片栗粉(ウーブレック)の上を走ると沈まないのに立ち止まると沈むのはなぜか?ニュートンの粘性法則からオストワルド・ド・ワーレのべき乗則、ハイドロクラスター理論と最新の摩擦接触・衝撃誘起固化フロント理論、血液やペンキの擬塑性、ワイセンベルク効果、デボラ数、液体防弾チョッキまで、非ニュートン流体とレオロジーの物理学を徹底解説します。
ニュートンが完全に解き明かした二体問題の可積分性から、わずか1つの天体が加わることで生じる位相空間の次元の壁、オイラーとラグランジュの5つの平衡点(L1〜L5)とジェイムズ・ウェッブ宇宙望遠鏡・トロヤ群小惑星の力学、ポアンカレが発見したホモクリニック絡み合いとカオス理論の誕生、8の字周期解、そしてKAM定理と太陽系のリアプノフ時間までを数理的に徹底解剖します。
エスプレッソマシンが鳴り響き人々の会話が交錯するカフェで、わずか3秒間マイクをかざすだけで1億曲のデータベースから正確な曲名と再生位置を特定するShazamの音響指紋アルゴリズム(スペクトログラム・星座マップ・32ビット組合せハッシュ・時間差ヒストグラム)と、混ざり合った複数の声を統計的独立性(非ガウス性・尖度・FastICA)によって分離するカクテルパーティー効果・ブラインド信号分離の数理を徹底解説します。
1729年のオジギソウの暗室実験から2017年ノーベル賞の転写翻訳フィードバックループ(CLOCK:BMAL1とPER:CRY)、グッドウィン振動子のホップ分岐と時間遅れの数理、試験管内でDNAなしに時を刻むシアノバクテリアのKaiABCタンパク質時計、そしてアレニウスの法則に逆らう温度補償性(Q10≒1.0)の謎まで、概日リズム(サーカディアンリズム)の分子・数理・生物物理学を徹底解説する。
高速道路や高帯域通信リンクを新設したにもかかわらず、ネットワーク内の全利用者の所要時間が悪化する「ブライスのパラドックス(Braess's Paradox)」。ディートリヒ・ブライスの1968年論文の4頂点ダイヤモンド型ネットワークの支配戦略解析から、ウォードロップの2つの原理、ベックマン=ローゼンタールの凸ポテンシャル関数、ラフガーデン&タルドシュによる無秩序の代償(Price of Anarchy)の上界 4/3 の厳密証明、コーエン&ホロウィッツのバネと糸の力学実験、そしてソウル清渓川高速道路撤去やピグー混雑課金までを体系的に解き明かす。
100℃の鉄板では一瞬で蒸発する水滴が、200℃を超える高温のフライパンの上ではなぜ数分間も生き残り、摩擦ゼロで滑り回るのか。抜山四郎の沸騰曲線と限界熱流束(CHF)、蒸気クッションの潤滑理論とスケーリング則、内部の熱マランゴニ対流、星型固有モード振動、ラチェット自己推進から原子炉の炉心冷却(LOCA)まで、ライデンフロスト効果の物理を徹底解明します。
ロックの記憶説とリードの勇敢な将校のパラドックス、身体説と動物主義、そしてデレク・パーフィットのテレトランスポーター思考実験と脳半球の分裂問題を徹底解剖し、数的同一性から心理的連続性(関係R)へのコペルニクス的転換を論じる。
純粋な水はなぜ0℃になってもすぐには凍らず、マイナス40℃近くまで液体のまま留まり得るのか。古典的核生成理論(CNT)における体積自由エネルギー利得と界面張力ペナルティのせめぎ合い、臨界核半径と自由エネルギー障壁の厳密な導出、衝撃で一瞬にしてシャーベット状に凍りつくデンドライト成長の熱力学、さらに突沸・雲の微物理・クライオ電子顕微鏡を支えるガラス転移までを体系的に解き明かす。
レンガを平らに置いても縦に立てても摩擦力が同じになるアモントン=クーロンの法則のパラドックスを、見かけの接触面積と真実接触面積(バウデン・テイバーの凝着理論、グリーンウッド・ウィリアムソン統計接触力学)、スティックスリップ現象と速度・状態依存摩擦則、クラウジウス・クラペイロン式による「氷が滑る理由」の定量的検証、そして非整合結晶格子がもたらす構造超潤滑まで徹底解説する。
クック=レビンの定理が示した最初のNP完全問題「SAT(充足可能性問題)」は、最悪計算量がO(2^n)で指数爆発するはずの難問である。なぜ現代の産業用SATソルバーは1000万変数・5000万節の論理式を数秒で解き明かすのか?古典的DPLLの限界から、CDCL(矛盾駆動節学習)・第1UIP・2リテラル監視法・VSIDS、そしてランダム3-SATの相転移現象(α≈4.267)と200テラバイトの数学証明まで徹底解剖する。
アウグスティヌスの時間論とマクタガートの『時間の非実在性』(A系列・B系列のパラドックス)から出発し、現在主義・永久主義(ブロック宇宙論)・成長ブロック宇宙論・移動スポットライト説の4大存在論モデル、アインシュタインの特殊相対性理論とリートダイク=パトナムの議論(アンドロメダ・パラドックス)、そしてフッサールの内的時間意識と熱力学の時間の矢までを体系的に解剖する。
バトラー・ランプソンのアクセス制御行列の2つの分割法(ACLとケイパビリティ)から、ノーム・ハーディの「混乱した代理人問題(Confused Deputy Problem)」、オブジェクト・ケイパビリティ(OCap)モデル、ファセットによる権限の減衰、Caretakerパターンとメンブレンによる失効、seL4・Capsicum・CHERI・WASI・Macaroonsによる現代の実装までを体系的に解説します。
100人の囚人が50個の箱を開けて自分の番号を探す『100人の囚人の問題』。独立に探せば生還確率は2のマイナス100乗(約7.89×10^-31)という絶望的な値になるにもかかわらず、なぜ自分の番号の箱からポインタを辿るだけで31.18%もの高確率で全員が助かるのか?対称群の巡回置換分解、コーシーの公式と調和数による厳密導出、そして通信なしで同時確率を劇的に引き上げる相関結合(Failure Bundling)のメカニズムまで徹底解説する。
世界的大ヒットゲーム『ドブル(Dobble / Spot It!)』の背後に潜む有限射影平面 PG(2,q)、ファノ平面、ガロア体上の斉次座標、オイラーの36士官問題、ブルック・ライザー・チョウラの定理、そして位数10のスーパーコンピュータ証明と位数12の未解決問題までを徹底解説する。