Featured image of post 「複雑さ」は文字数では測れない:コルモゴロフ複雑性とランダムの正体

「複雑さ」は文字数では測れない:コルモゴロフ複雑性とランダムの正体

100万桁の「0101...」、円周率πの100万桁、コイン投げ100万回の結果を分かつ本質とは何か。シャノン情報理論の限界を超え、最短プログラム長によって個別の対象の複雑さとランダム性(非圧縮性)を定義したコルモゴロフ複雑性、不変性定理、ベリーのパラドックスと計算不可能性、チャイティンの不完全性定理と停止確率Ω、そして現代の大規模言語モデル(LLM)に至る「圧縮=知能」の数学的系譜を徹底解説する。

Featured image of post ノートやスマートフォンは「心」の一部なのか:拡張された心の哲学と認知の境界

ノートやスマートフォンは「心」の一部なのか:拡張された心の哲学と認知の境界

アンディ・クラークとデイヴィッド・チャーマーズが提唱した「拡張された心(The Extended Mind)」のテーゼを徹底解説。オットーとインガの思考実験、パリティ原理、「接着と信頼」の4基準から、アダムス&アイザワやルパートによる批判、第2波・第3波の認知科学、スマートフォン・生成AI時代の法哲学・倫理的帰結までを網羅的に掘り下げる。

Featured image of post でたらめな入力で、なぜ重大なバグが見つかるのか:ファジングの仕組み

でたらめな入力で、なぜ重大なバグが見つかるのか:ファジングの仕組み

1988年のウィスコンシン州の雷雨から生まれたファジングが、なぜ人間が書いた単体テストでは決して到達できない深部の脆弱性を次々と暴き出すのか。AFL/LibFuzzerのカバレッジ誘導型変異アルゴリズム、64KB共有メモリビットマップと1ビット右シフトの数理、Forkserver、AddressSanitizer(ASan)のシャドウメモリ機構、そしてDelta Debugging(ddmin)による最小再現例の抽出まで徹底解説する。

Featured image of post 遺伝子を持たないタンパク質が、なぜ増えるように見えるのか:プリオンと構造の伝播

遺伝子を持たないタンパク質が、なぜ増えるように見えるのか:プリオンと構造の伝播

DNAもRNAも持たない純粋なタンパク質粒子「プリオン」は、いかにして生物の自己複製に似た指数関数的増殖を遂げ、プリオン株や種間障壁といった遺伝学的振る舞いを示すのか。タンパク質フォールディングの自由エネルギー地形、核形成依存性重合の数理モデル、ノックアウトマウス実験、そして記憶維持やアルツハイマー病へと広がる「構造伝播」の普遍的物理法則を徹底解説する。

Featured image of post 一本の線で正方形を埋め尽くせるのか:空間充填曲線と次元の直感

一本の線で正方形を埋め尽くせるのか:空間充填曲線と次元の直感

カントールの連続体濃度の発見からペアノ曲線・ヒルベルト曲線の厳密な構成と一様収束・いたるところ微分不可能性の証明、位相次元とハウスドルフ次元の対比、さらにGoogle S2やHilbert R-Treeなど現代計算機科学における空間インデックス応用までを徹底解説する。

Featured image of post 液体なのに結晶?:液晶がつなぐ秩序と流動性の世界

液体なのに結晶?:液晶がつなぐ秩序と流動性の世界

1888年のライニッツァーによる二重融点の発見から、ネマチック・スメクチック・コレステリック相の対称性の破れ、ランダウ=ド・ジェンヌ理論とオンサーガーの剛体棒エントロピー転移、オセーン=フランク弾性エネルギーとフレデリクス転移、実射影平面上の半整数トポロジカル欠陥(転傾)、そしてケブラー繊維や液晶エラストマー人工筋肉、生体アクティブ・ネマチックまでを数理と物理で徹底解説する。

Featured image of post 音を当てると泡が光るのはなぜか:ソノルミネセンスと「フラスコの中の恒星」の物理学

音を当てると泡が光るのはなぜか:ソノルミネセンスと「フラスコの中の恒星」の物理学

水中の微小な気泡に超音波を照射すると、1兆倍のエネルギー濃縮が起き、ピコ秒の紫外閃光が放たれる。レイリー・プレセット方程式、球対称衝撃波、アルゴン整流仮説、熱制動放射プラズマモデルまで、ソノルミネセンスの流体力学と量子統計力学を徹底解明する。

Featured image of post 科学と疑似科学の境界はどこにあるのか:反証可能性から研究プログラムまで

科学と疑似科学の境界はどこにあるのか:反証可能性から研究プログラムまで

カール・ポパーの反証可能性からデュエム・クワイン・テーゼ、トーマス・クーンのパラダイム論、イムレ・ラカトシュの科学的研究プログラムの方法論、そして現代の再現性の危機や多元的家族的類似性モデルまで、科学と疑似科学を分かつ「線引き問題(Demarcation Problem)」の哲学的進化を徹底解説する。

Featured image of post 議席を増やしたのに議席を失う?:公平な配分を阻む数学のパラドックス

議席を増やしたのに議席を失う?:公平な配分を阻む数学のパラドックス

1792年のワシントン大統領初拒否権から、アラバマのパラドックス、人口パラドックス、新州パラドックス、除数法(ドント・アダムズ・ウェブスター・ハンティントン=ヒル方式)、そしてバリンスキー=ヤングの不可能性定理まで——「人口に比例して整数個の議席を公平に分ける」という一見単純な算数がなぜ数学的に不可能なのかを徹底解明します。

Featured image of post 決められた手順から、どうやって「乱数」をつくるのか:予測不能性の技術

決められた手順から、どうやって「乱数」をつくるのか:予測不能性の技術

決定論的なコンピュータはどうやって乱数を生み出すのか?ノイマンの中央二乗法、線形合同法(LCG)とIBM RANDUが3次元空間に描いた15枚の平面、メルセンヌ・ツイスタ(MT19937)の周期2^19937-1と624個の出力からの内部状態完全復元攻撃、ヤオの次ビット予測不能性と暗号論的擬似乱数生成器(CSPRNG: ChaCha20/AES-CTR/Dual_EC_DRBG)、熱雑音・リングオシレータからエントロピーを抽出するLinux /dev/urandomの設計とDebian OpenSSL脆弱性までを徹底解説。

Featured image of post 月はなぜいつも同じ面を向けるのか:潮汐が変える天体の回転と軌道

月はなぜいつも同じ面を向けるのか:潮汐が変える天体の回転と軌道

四重極潮汐ポテンシャルと距離の逆3乗則の厳密な導出から、粘弾性変形(ラブ数k2・散逸品質係数Q)による永年潮汐トルク、月レーザー測距(LLR)が実証する地球―月系の角運動量輸送、月面の59%を可視化する秤動の力学、水星の3:2スピン・軌道共鳴、イオ・エウロパ・ガニメデのラプラス共鳴と潮汐加熱までを天体力学の視点から徹底解説する。

Featured image of post 光で小さな物体をつかめるのか:光ピンセットと分子を操る技術

光で小さな物体をつかめるのか:光ピンセットと分子を操る技術

質量を持たない光子がなぜ物体を押し、さらには引き寄せることができるのか。マクスウェルの放射圧からアシュキンの単一ビーム勾配力トラップ(光ピンセット)、レイリー散乱とミー散乱の厳密な力学導出、ブラウン運動とランジュバン方程式に基づくピコニュートン(10⁻¹² N)力の校正法、そしてDNAの弾性やキネシン分子モーターの8.2 nmステップを解明した単一分子生物物理学の最前線までを体系的に解説する。

Featured image of post 幸せな人を増やせば、世界は必ずよくなるのか:人口倫理と『忌まわしい結論』

幸せな人を増やせば、世界は必ずよくなるのか:人口倫理と『忌まわしい結論』

デレク・パーフィットが提示した現代倫理学最大の難問『忌まわしい結論(Repugnant Conclusion)』を徹底解説。総量功利主義と平均功利主義の対立、単なる追加のパラドックス、サディスティックな結論、そしてアレニウスの不可能性定理まで、人口倫理学の核心に迫ります。

Featured image of post 高次元では、なぜ直感が通用しなくなるのか:距離・体積・確率の不思議

高次元では、なぜ直感が通用しなくなるのか:距離・体積・確率の不思議

高次元球の体積が0へ収束する理由、超立方体から球がはみ出す球充填パラドックス、オレンジの体積が皮に集まる測度集中現象、ガウス分布のシャボン玉定理、次元の呪い、そしてジョンソン・リンデンシュトラウスの補題まで、高次元幾何学と確率論の深淵を数理的に徹底解剖する。

Featured image of post 最短距離が最速とは限らない:最速降下曲線と変分法の誕生

最短距離が最速とは限らない:最速降下曲線と変分法の誕生

重力下で2点間を最も速く滑り降りる曲線とは何か?ガリレオの直感と誤算、ヨハン・ベルヌーイの挑戦状とニュートンの『獅子の爪』、スネルの屈折法則を用いた光学的解法、そしてオイラー=ラグランジュ方程式と最小作用の原理へと至る変分法の誕生を徹底解説する。

Featured image of post 実行ファイルから元のプログラムは取り戻せるのか:逆コンパイルの可能性と限界

実行ファイルから元のプログラムは取り戻せるのか:逆コンパイルの可能性と限界

機械語バイナリ(.exeやELF)からC/C++などの高級言語ソースコードを復元する「逆コンパイル(Decompilation)」はなぜ「卵焼きから生卵を戻す」と呼ばれるのか?線形スイープと再帰走査逆アセンブル、SSA形式へのリフティング、ドミネータ木による構造化制御フロー(AST)復元、単一化と束理論による型推論、コンパイラ最適化で不可逆に消滅する情報、そして難読化とLLM逆コンパイラの最前線までを徹底解説する。

Featured image of post 書いた順番どおりに動かない?:CPUとコンパイラのメモリモデル入門

書いた順番どおりに動かない?:CPUとコンパイラのメモリモデル入門

なぜ `x = 1; r1 = y;` と `y = 1; r2 = x;` を2つのスレッドで同時実行すると、数学的にあり得ないはずの `r1 == 0 && r2 == 0` が起きるのか?CPUのストアバッファ、MESIキャッシュコヒーレンシ、無効化キュー、コンパイラの命令並べ替え、DRF-SC定理、Happens-Before関係、Acquire-Release同期、メモリフェンス(MFENCE/DMB/LDAR/STLR)までを体系的に解き明かす。

Featured image of post 数学は発見なのか、発明なのか:数や図形はどこに存在するのか——プラトン主義・形式主義・構造主義と「不合理な有効性」の数理哲学

数学は発見なのか、発明なのか:数や図形はどこに存在するのか——プラトン主義・形式主義・構造主義と「不合理な有効性」の数理哲学

素数の無限性やマンデルブロ集合は人類以前から存在したのか、それとも人間の発明した記号ゲームなのか。プラトン主義とベナセラフのジレンマ、論理主義とラッセルのパラドックス、ヒルベルトの形式主義とゲーデルの不完全性定理、直観主義とカリー=ハワード同型対応、構造主義・虚構主義、そしてウィグナーの「自然科学における数学の不合理な有効性」までを徹底解剖する。

Featured image of post 数字を数えずに計算するとは?:アナログコンピュータの歴史と原理

数字を数えずに計算するとは?:アナログコンピュータの歴史と原理

アンティキティラ島の機械、ケルヴィン卿の潮汐予測機、ヴァネヴァー・ブッシュの微分解析機から、オペアンプ(演算増幅器)による連続時間積分回路、ケルヴィンのフィードバック・ブートストラップ法による常微分方程式の直接求解、熱雑音とドリフトが課すシャノン=フォン・ノイマン限界、そしてAI・フォトニクス・量子アニーリングによるアナログ計算の劇的な復権までを徹底解説する。

Featured image of post 生まれる人が変わる選択は、誰を傷つけるのか:非同一性問題と未来世代への責任

生まれる人が変わる選択は、誰を傷つけるのか:非同一性問題と未来世代への責任

デレク・パーフィットが『理由と人格』で提起した現代倫理学最大の難問「非同一性問題(Non-Identity Problem)」を徹底解説。時間依存性命題、3つの思考実験、不整合な三つ組の論理構造から、5つの哲学的解決策、気候変動・ゲノム編集・歴史的賠償への応用までを体系的に掘り下げる。