英語のドキュメント を読んだけどあまり理解できてなかったので 日本語 で再挑戦する会。 今回 2021.11 実践TLA+もくもく会 - connpass 55ページ（第3章の冒頭）から復習しつつ、72ページからの「3.4 例」で行き詰まった。 デバッグトレースを取得するために…