投稿者: TANAAKK

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

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

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

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

AGI（Artificial General Intelligence：汎用人工知能）とは、特定の作業（囲碁、翻訳、画像識別など）に特化した「特化型AI（Narrow AI）」に対し、人間がこなせる幅広い知的タスクを、領…
Read more

歴史的に見ても、テクノロジーの地殻変動が起きるたびに警鐘を鳴らし、ガイドラインを発行し、倫理的な宣言を採択してきた側が、結果としてその後の利権や主導権を手に入れた例はほぼ皆無ではないか。警鐘を鳴らす側（今回で言えば伝統的…
Read more

シリーズ: History of Innovation｜年表 前編（1790s–1970s） / 年表 後編（1980s–2030s） 固定ページ The history of innovation のスケール枠組みを、…
Read more

P vs NP経営がamazonにて出版されました。 P vs NP経営  

アプリからWebファーストへ：インターフェースの進化と限界 かつてスマホのネイティブアプリが普及したのは、GPSやカメラ、BLE等のハードウェア制御を独占していたからである。しかし、それらはWeb APIとして標準化され…
Read more

我々の生きるA.D.2026、21世紀は100年後の未来から見ると、原始文明だろう。しかし、原始文明であっても、未来文明と同等のアルゴリズムを得ることはできる。私がこの人生39年で培った宣言は以下である。 「質量は記号に…
Read more