カテゴリー: 01-Mathematics

The Codified Preamble: Computational and Structural Tractability of AI When discussing Artificial Intelligence…
Read more

計算グラフや回路、あるいは探索ツリーのような「シークエンス（構造）」を、下流（出力）から上流（入力）へと枝を登るように逆方向にたどり、バグや不要な計算ルートを特定して切り落とす（枝切りする）アルゴリズムは、文脈（AI・探…
Read more

ハードウェアの物理的な限界（エンジニアリング）から、計算理論による下界の特定について 並列計算と計算複雑性理論の系譜（1967〜1995） 1. 黎明期：物理リソースの限界と「直列の壁」 📌 アムダールの法則（Amdah…
Read more

ワーストシナリオケースを３回くらい検証すればどんな事業でも大体弱点がわかってしまう仕組みが経験的にある。 複雑に見えるシステムでも、少数の極端な条件（最悪ケース）をテストするだけでバグの大部分を網羅できるという現象は理論…
Read more

事業=チューリングマシンとしたNP-complete一般化 コンシューマーブランドにおける一般化 1. ブランドアイデンティティの公理宣言とパラドックス 真に普及するブランドは、自らその正当性を証明しようとすると、自己言…
Read more

メダリオン・ファンドの年度別パフォーマンス推移 年（Year） 実質リターン(Net Returns) 管理報酬(Management Fee) 成功報酬(Performance Fee) 手数料差引前リターン(Retu…
Read more

ヒットソングが飽きないのは、過去に確率的に生き残ったヒットソングの情報を網の目に組み合わせているからと言える。そうすると、論文も、過去の確率的に生き残ったロングセラーをつぎはぎに高次論理で繋ぎ合わせれば次のヒット論文を作…
Read more

①Yes/Noで判定できる命題の定義②命題充足条件の決定(3-SAT)③NP-completeのCDCLによるsatisficing computationから製造業を捉えると、一般経済論としての需給予測、整数計画法が成…
Read more

It is traditional to view NP as the class of languages whose elements posses short proofs of membership. A “pr…
Read more

あらゆる言語による論理は記号に置き換えることができる。あるstatement(宣言)がyes or noで判断できる記号形式を取る時、それをproposition(命題)と呼ぶ。propositionがtrueであること…
Read more