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

英語のドキュメント を読んだけどあまり理解できてなかったので 日本語 で再挑戦する会。 進捗 前回 「6章 時相論理」を読んだり試したり 「7章 アルゴリズム」を読んでいちゃもん書いたり 今回 2022.4 実践TLA+もくもく会 - connpass 「7章 アルゴリズム」…

英語のドキュメント を読んだけどあまり理解できてなかったので 日本語 で再挑戦する会。 今回 「6章 時相論理」を読んだり試したり 「7章 アルゴリズム」を読んでいちゃもん書いたり 第6章 時相論理 例 「デッカーのアルゴリズム」 最初: お試し 全てのスレ…

英語のドキュメント を読んだけどあまり理解できてなかったので 日本語 で再挑戦する会。 今回 2022.2 実践TLA+もくもく会 - connpass 「6章 時相論理」を読んだり試したり 次回から第2部、「7章 アルゴリズム」 感想 デッカーのアルゴリズム 厳密に交互にと…

英語のドキュメント を読んだけどあまり理解できてなかったので 日本語 で再挑戦する会。 今回 2022.1 実践TLA+もくもく会 - connpass 99ページ「5章 並行処理」から読んだり試したりした 次回は「6章 時相論理」 感想 TLA+ Toolbox は PlusCal の生成するコ…

英語のドキュメント を読んだけどあまり理解できてなかったので 日本語 で再挑戦する会。 今回 2021.12 実践TLA+もくもく会 - connpass 72ページ「3.4 例」のナップサック問題の定式化 「4章 定数、モデル、インポート」を読んで試した 次回は「5章 並行処理…

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

英語のドキュメント を読んだけどあまり理解できてなかったので 日本語 で再挑戦する会。 今回 2021.10 実践TLA+もくもく会 - connpass 第2章の途中から第3章の途中まで読んで試した。 PlusCal の複雑な振る舞い TLA+ の演算子と関数 TLC(モデルチェッカー)…

英語のドキュメント を読んだけどあまり理解できてなかったので 日本語 で再挑戦する会。 今回 2021.09 実践TLA+もくもく会 - connpass 冒頭から 45 ページ（第2章の途中）まで読んで試した。 TLA+ Toolbox の準備 サンプルコードの入力と実行 https://scrap…