「DotsterのUIは相変わらずヒドイ」（http://d.hatena.ne.jp/m-hiyama-memo/20100706/1278381395）にも書いたが、今もひどい。もうアソコはやめようなか。とりあえず記録に貼っておこう。 Domain Message CHIMAIRA.ORG Item processed successfully. DAPHNIA…

TQFTとの類似を考えたプログラム意味論は幾何的プログラム意味論とでも言えるだろう。最近、代数的な定式化にも傾いている。本質は同じだけど。 プログラム 代数 状態空間 加群 プログラム 多元環 状態点 加群の生成系 インストラクション 多元環の生成系 遷…

Σが指標で、公理が一切ないとき、指標シグマのモデルはΣ-マグマだ。指標Σと公理（法則）が意外と強く（心理的に）結びついていることがあるので、マグマって概念は重要。