基本的な文法 TLA+は普通のプログラミング言語とは違って、どちらかというと数学に近い。そのため、Operandの意味が異なることが多い。さらにTLA+はすべてを集合と論理演算で表現する。これも会社のブログで書いたのでそのまま転記しとく。 dev.classmethod.…

Introduction まずは一回目のVideo講座。TLA+の目的や形式手法、擬似コード等基本的な内容について触れている。 会社のブログで書いたのでそのまま転記しとく。 dev.classmethod.jp