確率論と経済学と公理的プログラム意味論の「事前」と「事後」
- TuvianNavy
- 758
- 1
- 0
- 0
統計的なパワースペクトルの分布に基づいてエンコードする際のビット数の割り当てを加減することを言ってるんだよね
2020-06-19 19:14:26画像や動画の圧縮だと何の統計的分布に基づいて圧縮しているのか人間に一言でわかるような対象がないから「法則」という概念は使わなくなるけど
2020-06-19 19:25:11要するに帰納によって背景の物理を想定して式で書ける形の法則として確立する前の、実験によって経験される事象の偏りのことも「法則」と呼んでる
2020-06-19 19:29:29制御理論でも量子論理でも一般相対論でも形式的な議論をしていると「因果性」は単なる情報の多寡による束論的構造の話になるよね
2020-06-19 19:06:31「断熱可達性」adiabatic accessibility(数理物理学)
「可能世界」possible world(分析哲学)
経済学のex-anteとex-postの違い(どうでもいいけど西洋語ってなんか「まえ」と「あと」の対応を壊す癖がないですかBCとADみたいに)って、背景にある力学系の時間発展というかむしろ散逸だよなあと
2020-06-30 13:12:20「比較静学」comparative statics(ミクロ経済学)
力学系の散逸で状態空間が拡大してる、というのを、時間発展を考えないで異時点間比較するのを「系に対する知識が増えた」とか言ってるんだよな
2020-06-30 13:16:01ちょっと雑な理解だけどDebreuと共同研究をしたときのSmaleの理解をある程度再現できていると思う
2020-06-30 13:36:14まあ部分均衡vs一般均衡みたいな話、次元を上げたらdynamicsがstaticsになるとか、quantumがclassicalになるとかと同じ
2020-06-30 13:53:40次元を上げたら動学が静学、部分均衡が一般均衡、量子が古典になる、って話、一般的な名前がないよなあ 持ち上げ先で増える次元に物理/経済/機構的に意味がないことがあるから(オカルトを足せば全ては予定調和)
2020-07-01 11:34:31富の総量が社会全体の時間分解能の認識に依存するなら(確かにHFTとかはその証左)一定以上の時間分解能に依存する収束性に基づいて均衡の存在を主張するのは間違いだし、Debreu-Smale-Cass-の系譜で均衡多様体の概念が出てきたのは当然かなあ
2020-06-30 17:20:50たとえば、均衡における周期的変動の例として有名な豚肉の価格。季節変動するのは判っていてもそれでは儲からないのだよね(生鮮だから)
2020-06-30 17:22:11テスターなのでHoareのpre-postは毎日の関心事で、雑に書かれた事前/事後条件を「野良Hoare」とか呼んでるんだけど、
2020-06-30 13:13:20「ホーア論理」Hoare logic(理論計算機科学)