2011-01-03から1日間の記事一覧
左右の自明モノイドと変数定数双対性(左右対称、時間非対称) モノイドと加群 コモノイドと余加群 状態と観測とCommand-Query分離 アミダ、ブレイド、まんじ、スワップ 多重加群と多重余加群(例:回転と平行移動の働く平面) 観測セット(座標系)と観測の…
時刻サーバーから時刻を1回とって、それからの経過時間を刻むローカル時計はコモノイドになっている。連続する観測を予測しているから。 観測、測定 : S→S×V 作用、遷移 : M×S→S 予測 : M×V→V キューイング : M×M→M 時刻は神様が刺激(時間進行アクション)…