英語のドキュメント を読んだけどあまり理解できてなかったので 日本語 で再挑戦する会。 進捗 前回 「7章 アルゴリズム」を読んだり試したり 「8章 データ構造」を読み始めた 今回 2022.5 実践TLA+もくもく会 - connpass 「8.1 リンクリスト」の157ページ …