このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」(http://d.hatena.ne.jp/m-hiyama-memo/)のデータを移行・保存したものであり、今後(2019年1月以降)更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

2011-01-03から1日間の記事一覧

簡単だけど面白い例、意外な例

左右の自明モノイドと変数定数双対性(左右対称、時間非対称) モノイドと加群 コモノイドと余加群 状態と観測とCommand-Query分離 アミダ、ブレイド、まんじ、スワップ 多重加群と多重余加群(例:回転と平行移動の働く平面) 観測セット(座標系)と観測の…

時刻サーバーとローカル時計

時刻サーバーから時刻を1回とって、それからの経過時間を刻むローカル時計はコモノイドになっている。連続する観測を予測しているから。 観測、測定 : S→S×V 作用、遷移 : M×S→S 予測 : M×V→V キューイング : M×M→M 時刻は神様が刺激(時間進行アクション)…