m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ プログラム意味論 モノイド圏 からみ系 線形代数の普通の概念と、それの双対を「足し算なし」で考えたときの対応表。 普通の概念 足し算なし双対における意味 スカラー イミュータブル＆コピーアブルな値 ベクトル 状態 スカラー乗法 観測、測定 スカラーどうしの乗法 繰り返し測定の結果予測 結合法則 正確な予測可能性 双代数法則 因果関係と予測可能性 絵算で考えると分かる。予測可能性の保証は一般的には難しい。直接観測（実観測、Query)だけで予測に十分な情報が集まらない。仮想観測まで入れると予測可能性が成立するが、仮想観測を実観測にするにはトランザクション（アンドゥ）が必要。あ、それとクエリーとセレクターは区別したほうがいいよね。クエリ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20101229%2F1293601053" title="足し算なしの余線形代数 - (保存用) 檜山正幸のキマイラ飼育記 メモ編" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2010-12-29 14:37:33 rich https://m-hiyama-memo.hatenablog.jp/entry/20101229/1293601053 1.0 100%