カテゴリー: technology

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

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

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

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

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

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

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

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

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

サイバーセキュリティの歴史を以下の4つの視点から整理。 ❶ 電子デバイス・ネットワークの進化 時期 電子デバイス ネットワーク 〜1970年代 メインフレーム中心 スタンドアロン、限定的LAN 1980年代 パーソナルコ…
Read more