Command-Queryが分離した指標をメイヤー指標と呼ぶことにしよう。メイヤー指標のモデル（理論的な実装）をメイヤーオートマトンと呼ぶ。もちろん、インスティチューションになる。いつだか忘れたが、昔、IDLの構文に、when accept xxx とか issues Event, re…

http://arxiv.org/abs/1010.4840 Categorical Quantum Circuits が面白そう。