CONTENTS

Decrypt history, Encrypt future™

人間 vs 犬 vs 熊 olfaction

1. 犬 vs クマ:数字で見る嗅覚の違い 嗅覚の鋭さを決める要素を比較すると、クマの圧倒的なスペックが見えてきます。 比較項目 人間 犬(警察犬など) クマ(ヒグマ・ツキノワグマ) 嗅細胞の数 約500万個 約2億〜3…
Read more

軽量版レベニューソルバー

P vs NP的な正攻法ではなく、探索空間を全部読む前に、当たり筋だけを嗅覚で拾う軽量レベニュー探索アルゴリズム。人間の認知・時間・資本制約下で、完全探索や厳密証明を目指さず、初心者の偶然的成功=Beginner’s L…
Read more

高負荷タスクSAT solverのCDCLの補完的軽量アルゴリズム

SATソルバー、特に現代の主力である CDCL(Conflict-Driven Clause Learning:衝突駆動型節学習) の動作は「毎日指摘ばかりして疲れてしまう判定者」に例えられる。 実際に計算資源(リソース…
Read more

P-completeにおけるエラーチェック

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

うまさの4要素

4つの要素(アミノ酸(旨味)、酵素(食感・熟成)、油水塩の濃度(浸透圧・乳化・味付け)、熱(タンパク質の変性と化学反応))は、料理の美味しさを決定づける。職人の勘やおふくろの味と呼ばれるものの正体は、4要素充足可能性問題…
Read more

Revenue 3-SAT Solver& P vs NP,BMC,PCP,CDCL,satisficing|HITSERIES RevOpsユニバーサルセールスチューリングマシン

Revenue Solver による決定論的増収増益アーキテクチャ グロースとオペレーティングレバレッジを実現するためには、増収をプログラム化(アルゴリズム化)する必要があります。効率化できない直列意思決定の P-com…
Read more

History of P-complete|人類の知性と歴史とは、数学的合理性からかけ離れた決定論的チューリングマシンである

1. 知識の正体:並列不可能な「合意のシーケンス」 2. なぜ「記号」と「ステップ」なのか? 3. 人類のフロンティアの数理モデル 領域 計算複雑性のクラス 人類における意味 既知の領域 P -complete 人類がす…
Read more

アムダールの法則|並列計算と計算複雑性理論

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

Randomnessを用いたワーストシナリオケースの3回チェック

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

構成員の誰もが今日辞められる会社を作る|bounded model checking

会社に所属する人や会社を創業する人は、永遠に続くアルゴリズムを求めてしまいがちであるが、永遠に続くアルゴリズムあるいは、いつアルゴリズムが止まるかを判定する汎用アルゴリズムは数学的に存在しないことがアランチューリングによ…
Read more