IO(入出力）の形式化はけっこう難しい問題です。ここでは、ラベル付き遷移系によるIO（あるいは通信）のモデル化を述べます。XとYがラベル付き遷移系のとき、あるインターフェースを通じてXとYはIO（通信）をします。「Xが出力命令を実行すること」と「Yが入…

先日、「bitbucketはもう信用する気になれない」という記事を書いたのですが、それに対して、Atlassianの大澤さんにコメントを返していただきました（大澤さんのコメント）。大澤さん個人での判断か、Atlassianとしての意見なのかは分からないが、いずれにし…