CONTENTS

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

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

Satisficing（満足化）とは、最適解を探し続けるのではなく、外部主体が定めた充足水準を満たした時点で計算を止める意思決定の枠組みである。Herbert A. Simon（ハーバート・A・サイモン、1916–200…
Read more

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

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

3-SATとは、各節がちょうど3個のリテラルからなる連言標準形（CNF／Conjunctive Normal Form）の充足可能性問題である。与えられた論理式を真にする真偽割当が存在するかを問う。CNFは「節（OR）の…
Read more

ナノメートルセンサーの限界を考えるとき、最初に分けるべきなのは、装置の部品をどこまで小さく作れるかと、散乱やスペクトルからどこまで小さな構造を推定できるかである。 原子より小さな構造を調べる実験は存在する。しかしそれは、…
Read more

粗視化（coarse-graining）とは、世界のすべてを同じ細かさで扱うのではなく、目的に必要な違いだけを残して状態をまとめることである。経営へ借りるなら、追跡する状態変数を目的に合わせて間引く手続である。 情報を雑…
Read more

PとNPの違いを一言で表すと、Pは効率よく解ける問題のクラス、NPは正解の候補を受け取れば効率よく検証できる問題のクラスである。 ここでいう「効率よく」とは、人間の感覚で速いという意味ではない。入力の大きさを \(n\)…
Read more

TANAAKK got award from Acquisition International, Most Innovative AI Growth Modelling Platform 2026.