2012-10-31から1日間の記事一覧
IO(入出力)の形式化はけっこう難しい問題です。ここでは、ラベル付き遷移系によるIO(あるいは通信)のモデル化を述べます。XとYがラベル付き遷移系のとき、あるインターフェースを通じてXとYはIO(通信)をします。「Xが出力命令を実行すること」と「Yが入…
先日、「bitbucketはもう信用する気になれない」という記事を書いたのですが、それに対して、Atlassianの大澤さんにコメントを返していただきました(大澤さんのコメント)。大澤さん個人での判断か、Atlassianとしての意見なのかは分からないが、いずれにし…