2011-08-10 マグマ プログラム意味論 説明 その他代数 Σが指標で、公理が一切ないとき、指標シグマのモデルはΣ-マグマだ。指標Σと公理(法則)が意外と強く(心理的に)結びついていることがあるので、マグマって概念は重要。