Lamport先生のTLA+講座を聴いた

ありがたいことにLamport先生がTLA+の講座をご自身のwebサイト上に無料公開されていたので見てみた。その内容をメモったので保存しておく。