投稿者: TANAAKK

FLOPs（Floating Point Operations／浮動小数点演算数）とは、積和演算（A × B + C）をはじめとする浮動小数点計算の総数である。本記事での焦点は、AGI/ASI 議論でスケール派が実際に積…
Read more

現代のスタートアップ経営において、 「収益エンジンとは質量(Mass)か？」 「プラットフォームは重力場か？」 「割引現在価値（NPV）の物理的正体とは？」 これらの問いを突き詰めると、行き着く先は古典経済学や経営学では…
Read more

成長とは、摩擦に影響を受けることのない独立した系外力学である。 成長とは常に、小さな成功の充足条件を否定し、より広域な成功条件へ移行するために、現状の安定を破壊する行為である。成長とは、常に今の支出を動かす行動である。現…
Read more

TANAAKKの提供するGAAS（ガース）とは、グローバル500兆円、国内年間20兆円を超える研究開発成果を収益とオペレーティングレバレッジに繋げる一連のツールキットを提供する。これはGrowthであり、Gravityで…
Read more

出口のないカオスの中にいるような勝負に出会うことがたまにある。勝つか負けるかが最後の瞬間まで決まらない長い戦い。しかし、その長さはせいぜい人間の認知能力にとって、長く見えるだけで、宇宙の歴史に比べれば、ほんの短い期間であ…
Read more

ランダムネスは計算資源であり、既約表現はランダムネスである。これ以上短い記号へ落とせないものは、整数系に対する素数性を持っている。素数配置問題には規則はない（ように見える）。 奇妙なことに、人類はこのランダムネス——既約…
Read more

coNPとは、「属さない（Noである）」ことを短い証拠で多項式時間検証できる問題のクラスである。形式的には、補集合がNPに属するとき、元のクラスはcoNPに入る。 NPがYesの短い証明書を扱うのに対し、coNPはNoの…
Read more

2-SATとは、各節が2個以下のリテラルからなるCNF（Conjunctive Normal Form／連言標準形）の充足可能性問題である。Implication Graph（含意グラフ）と強連結成分（SCC／Stron…
Read more

CDCL（Conflict-Driven Clause Learning／衝突駆動型節学習）とは、候補を仮に決め、そこから必然的に決まる割当を進め、矛盾したら原因を短い禁止条件（学習節）にまとめ、戻って別の候補を試す、と…
Read more

Bounded Model Checking（BMC／有界モデル検査）とは、未来を無限に調べるのではなく、先の k ステップまでに区切って、『まずい状態にたどり着く道があるか』を調べる手法である。全部の未来について安全だ…
Read more