熱力学の第二法則の確率論的解明をおこなう。
エネルギーの離散化がすべての鍵となるのである。
この成果は量子力学と情報理論に流れ込んでいく。
ボルツマンの傑作 第二論文 H定理の数学的証明
分子運動における衝突の見積からH定理を導出する。
そして、その時間非対称を鮮やかに証明してみせる。
だが、ロシュミットの批判がその理論の急所を突く。
やがては
S＝k Log W
に至る道となるのだ。
ボルツマンの傑作 第一論文
ボルツマンの熱力学第二法則の力学的還元の第一弾
絶対温度を力学的エネルギーの時間平均に置き換える。
作用積分とクラジウス不等式の等価なことを論証する。
無駄となる熱のδQの力学的表現を求め、エントロピーSを導出する。
人類の知能が低下とAI
それにしても、コードウェイナースミスの「人類補完機構シリーズ」は素晴らしきかな。
アクターネットワーク理論と圏論の相性
科学社会学の分析手法として定着したANT（アクターネットワーク理論）はどうやら圏論と馴染みやすいようだ。
ちな、クライスリ圏とは以下になる。
「クライスリ圏（Kleisli category）」とは、一言でいえば「モナドに包まれた計算の射の世界」**を扱うための概念です。
特にプログラミング（Haskellなど）の文脈でよく言及され、モナドを用いた計算の連鎖を理解する上で非常に重要になります。具体的には、プログラミングにおける >>= （バインド演算子）の正体や仕組みを数学的に裏付けているのがこのクライスリ圏です
その構造的な特徴は以下のようになります。
1. 射の形が A→T(B) になる 通常の圏において、射（矢印）は対象 A から対象 B へと直接向かう A→B という形をとります。しかしクライスリ圏では、モナド（自己関手 T とそれに付随する構造）を用いて、A→T(B) という形をとるものを「射」として扱います。
プログラミングで言えば、入力 A を受け取って、単なる B ではなく「何らかの計算効果や文脈（モナド T）に包まれた B」を返す関数に相当します。
2. モナドの文脈を保ったまま合成する（>>= 演算子） クライスリ圏のもう一つの特徴は、この A→T(B) と B→T(C) という形の射同士を、モナドの複雑な構造をうまく処理しながら合成し、A→T(C) という新たな射を作れることです。この「モナドに包まれた射の合成」こそが、Haskellなどにおける >>= 演算子による計算の連鎖の正体です
