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