カテゴリー: technology

Decrypt history, Encrypt future™

ダークマター判定から学ぶアノマリー検出|残差を原因と混同しない

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

CDCLとは何か|失敗を再訪禁止の学習節へ変換する

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

Bounded Model Checkingとは何か|探索範囲を有限に固定する

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

ナノメートルセンサーの限界|ロボットと人間はどこまで細かく観測できるか

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

Extended binary Golay code

「拡張24次ゴレイ符号(Extended binary Golay code)」 拡張24次ゴレイ符号とは何か? 一言で言えば、「人類が発見した中で、最も美しく、最も完璧な自己修復(誤り訂正)能力を持つ情報のパッキング構…
Read more

技術の勝ち組になるために|Software Component Analysis

GAAS™(Growth-as-a-Service™)の19 Componentsに対して、一般的なプログラミング技術スタックと用途例、さらによくある誤選択パターンとその影響(コスト、スケーラビリティ、パフォーマンス問題…
Read more

WordPress Post 403エラー|トラブルシューティング

エラー概要 リクエストの流れ ① MacBookのブラウザ(Chrome)またはCurl (Terminal)↓ HTTPS Request(POSTリクエスト)② DNS(ドメインURL:www.tanaakk.com…
Read more

Maxwell’s equations|マクスウェル方程式

ジェームズ・クラーク・マクスウェル(James Clerk Maxwell) ① 生まれた場所: ② マクスウェル方程式の発表年: ③ 発表した場所: ① マクスウェル方程式とは? マクスウェル方程式は、電気と磁気の現象…
Read more

Entscheidungs Problem|決定問題

ドイツ語の「Entscheidung(決定、判断)」は、以下のように分解できます: つまり、「Entscheidung」の元々の意味は、「物事を分けること、区別して明らかにすること」です。 語源の詳細 関連語 したがって…
Read more

Cryptographyの歴史

Cryptography(暗号技術)の歴史は、人類の歴史とともに古くから存在しています。以下に時代ごとの主な流れを整理します。 1. 古代(紀元前〜紀元後) 2. 中世~近世(5世紀〜18世紀) 3. 近代(19世紀〜2…
Read more