CONTENTS

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

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

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

ロバスト軌道問題（Robust Orbit Problem）とは、対称性（群作用）で移り変わる軌跡である軌道について、完全一致ではなく近似比の範囲で近いか遠いかを判定する問題である。一般的なノイズ除去や、任意の事業データ…
Read more

ダークマター判定から学ぶべきなのは、構成比の暗記ではない。直接観測できない対象について、複数の可視的影響から仮説を比較し、残差を原因と混同しない推論手続である。残差は「まだ説明できていない差」であり、直ちに実体の名前では…
Read more

原始重力波とは、宇宙の極初期に生成されたと仮説される重力波である。インフレーションなどの枠組みで予言されるが、存在と強さは未確定である。仮説と、装置が返す観測上限を混同しない。いま進んでいるのは、観測上限を更新するための…
Read more

公理とは、絶対的な真理そのものではなく、命題を宣言し証明するための前提条件の集合である。数学の歴史は、最も少ない記号で最も広範な概念を説明する試みだと定義すると、公理は最小のツールキットで最大の説明をするための関係性のセ…
Read more

コルモゴロフ複雑性（Kolmogorov Complexity）とは、対象を出力する最短プログラムの長さである。記述が短いほど、その対象は既約に近い。冗長な合成は、より短い生成手続へ分解できる。 名称は Andrey N…
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