はじめにこの記事は、OOPの国際学会[^1] OOSPLA'19 で発表され、 distinguished paper award を受賞した Formal foundations of serv…