足し算なしの余線形代数

線形代数の普通の概念と、それの双対を「足し算なし」で考えたときの対応表。

普通の概念	足し算なし双対における意味
スカラー	イミュータブル＆コピーアブルな値
ベクトル	状態
スカラー乗法	観測、測定
スカラーどうしの乗法	繰り返し測定の結果予測
結合法則	正確な予測可能性
双代数法則	因果関係と予測可能性

絵算で考えると分かる。

予測可能性の保証は一般的には難しい。直接観測（実観測、Query)だけで予測に十分な情報が集まらない。仮想観測まで入れると予測可能性が成立するが、仮想観測を実観測にするにはトランザクション（アンドゥ）が必要。

あ、それとクエリーとセレクターは区別したほうがいいよね。クエリーはイミュータブルなコピーを返す。セレクターは、部分構造へのポインタを返す感じ。