やったこと

研究

実装を直した。
過去のコードを全面的に書き直したのでかなりいい感じになったと思う。

そしてMQTTの仕様を形式仕様に落とし込む。
これはまあまあ難しかった。