アルゴリズム

レスリー・ランポートによる「TLA+入門」コースのコンスペクトの第2部。