モデル検査
モデル検査 (model checking) は、初期状態と遷移規則から到達可能な状態をすべて列挙し、仕様に反する状態がないかを自動で確かめる手法。 入力は次の2つ。 モデル: システムを有限の状態遷移系として書いたもの 仕様: 「2つのp…
タグ
106 のタグ。選ぶと該当する記事に絞り込みます。
#勉強ノート37#数学13#大学数学9#分散システム9#WIP8#データベース8#コラム7#Linux4#日記4#キャリア4#考察3#開発手法3#自作PC3#ゲーム3#フリーランス3#マネジメント3#エディタ3#開発環境3#哲学2#確率微分方程式2#マクロ経済2#量子論2#量子力学2#低レイヤ2#車2#洗車2#レビュー2#ソフトウェアアーキテクチャ2#NoSQL2#ネットワーク2#How-to2#機械学習2#読書2#技術書2#Oracle2#NixOS2#マーケティング2#業務知識2#経済学2#キャリアデザイン2#Emacs2#モデル検査1#形式手法1#Jujutsu1#Git1#バージョン管理1#確率・統計1#量子計算1#秘匿計算1#暗号理論1#アルゴリズム1#Cassandra1#資格の勉強1#AWS1#クラウド1#RDBMS on EC21#RDS1#Aurora1#DynamoDB1#ProtonVPN1#5G1#無線通信1#ドメイン駆動設計1#ゲーミングPC1#PCパーツ1#ゲーミングラップトップPC1#ハードウェア1#確率統計1#物理学1#大学物理1#コンピュータアーキテクチャ1#プロセッサ1#メモリ管理1#ベクトル1#強化学習1#代数学1#群論1#PS51#レポート1#複素関数論1#複素解析1#複素数1#リモートワーク1#採用1#副業1#RDB1#線形代数1#行列1#ITサービス管理1#ミクロ経済1#フォールトトレランス1#数値計算1#ビッグデータ1#検索システム1#全文検索1#アジャイル開発1#データベースアーキテクチャ1#RDBMS1#KVS1#解析学1#プログラミング1#バックエンド1#シェル環境1#Z shell1#デスクトップ環境1#Doom Emacs1
#勉強ノート の記事
37 件中 1–10 件
Jujutsu
Jujutsu (jj) はバージョン管理システムで、Git repositoryをそのまま扱える。 Gitとの一番の違いは、commitを後から直す前提で設計されていること。 Git: 一度commitしたら直さない前提。直すには com…
ブラック・ショールズ方程式
確率微分方程式 とある金融商品を特定の時点で購入する権利を ヨーロピアン・コール・オプション (European call option) という。 ヨーロピアン・コール・オプションは、とある金融商品を特定の時点で (ヨーロピアン) 購入す…
量子計算
量子ビット を観測すると、確率 ||^2, ||^2 で状態 0, 1 が得られる。 0 = 1 0 + 0 1 を観測すると、確率 |1|^2 で 0 が得られる。 つまり、確実に 0 が得られる。 1 = 0 0 + 1 1 を観測する…
情報理論
(自己) 情報量 (entropy) とは、情報理論の概念で情報の「稀少さ」を表す指標である。 情報が稀少であるほど、情報量は大きくなる。 ある事象 E が起こる確率を p(E) とすると、その情報量 i(E) は次のように定義される。 前…
2022年9月1日3 min
Cassandra
データベースシステム 分散システム カラム指向データベース CAPによる分類ではAP型に相当 コンシステントハッシング法 データのパーティションキー (後述) のハッシュからトークンを生成し、データのトークンに依ってそのデータを保持するノー…
AWSデータベース
データベースシステム 以下の中からRDBMSを選択可能 MySQL (MyISAMエンジンは非推奨) MariaDB PostgreSQL Oracle DB SQL Server 2つ以上のAZにアクティブ/スタンバイのマルチAZ構成 同…
回帰分析
確率統計 最小二乗法 (least squares method) は、測定で得られたデータセットを一次関数 (直線) で近似するときに、二乗誤差の和が最小になるように一次関数の係数を決定する方法である。 n 個のデータ (X,Y)=(x1…
量子力学
微分方程式 質量 m の粒子が速さ v (運動量 mv=p) で運動する場合、その粒子は以下の式で示される波長 に相当する波 (ド・ブロイ波, de Broglie wave) であるとみなせる。 式中の h(6.6310^-34) をプラ…
2022年5月15日14 min
コンピュータアーキテクチャ
真空管 トランジスタ 集積回路 (IC, Integrated Circuits, LSI, Large Scale Integration) 大規模集積回路 (VLSI, Very Large Scale Integration) ムーア…